IntervalAlgebra.Arbitrary

Documentation

arbitraryWithRelation

Arguments

:: (IntervalSizeable a b, Intervallic i a, Arbitrary (i a))

=> i a

reference interval

-> Set IntervalRelation

set of IntervalRelations, of which at least one will hold for the generated interval relative to the reference

-> Gen (Maybe (i a))

Conditional generation of intervals relative to a reference. If the reference iv is of moment duration, it is not possible to generate intervals from the strict enclose relations StartedBy, Contains, FinishedBy. If iv and rs are such that no possible relations can be generated, this function returns Nothing. Otherwise, it returns Just an interval that satisfies at least one of the possible relations in rs relative to iv.

>>> generate $ arbitraryWithRelation (beginerval 10 (0::Int)) (fromList [Before])
Just (20, 22)
>>> generate $ arbitraryWithRelation (beginerval 1 (0::Int)) (fromList [StartedBy])
Nothing
>>> generate $ arbitraryWithRelation (beginerval 1 (0::Int)) (fromList [StartedBy, Before])
Just (4, 13)

Orphan instances

Arbitrary UTCTime

Methods

arbitrary :: Gen UTCTime

shrink :: UTCTime -> [UTCTime]

Arbitrary NominalDiffTime

Methods

arbitrary :: Gen NominalDiffTime

shrink :: NominalDiffTime -> [NominalDiffTime]

Arbitrary DiffTime

Methods

arbitrary :: Gen DiffTime

shrink :: DiffTime -> [DiffTime]

Arbitrary Day

Methods

arbitrary :: Gen Day

shrink :: Day -> [Day]

Arbitrary (Interval Int)

Methods

arbitrary :: Gen (Interval Int)

shrink :: Interval Int -> [Interval Int]

Arbitrary (Interval UTCTime)

Methods

arbitrary :: Gen (Interval UTCTime)

shrink :: Interval UTCTime -> [Interval UTCTime]

Arbitrary (Interval Day)

Methods

arbitrary :: Gen (Interval Day)

shrink :: Interval Day -> [Interval Day]

(Arbitrary b, Arbitrary (Interval a)) => Arbitrary (PairedInterval b a)

Methods

arbitrary :: Gen (PairedInterval b a)

shrink :: PairedInterval b a -> [PairedInterval b a]