IntervalAlgebra.Arbitrary

Documentation

arbitrarySizedPositive :: Integral a => Gen a

maxDiffTime :: Int

sizedIntervalGen :: (SizedIv (Interval a), Ord (Moment (Interval a))) => Int -> Gen a -> Gen (Moment (Interval a)) -> Gen (Interval a)

genDay :: Gen Day

genNominalDiffTime :: Gen NominalDiffTime

genDiffTime :: Gen DiffTime

genUTCTime :: Gen UTCTime

arbitraryWithRelation

Arguments

:: forall i a b. (SizedIv (Interval a), Ord a, Eq (Moment (Interval a)), Arbitrary (Interval a))

=> Interval 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 (Interval 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.

> import Test.QuickCheck (generate)
> import Data.Set (fromList)
> isJust $ 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 (Interval Double)

Methods

arbitrary :: Gen (Interval Double)

shrink :: Interval Double -> [Interval Double]

Arbitrary (Interval Int)

Methods

arbitrary :: Gen (Interval Int)

shrink :: Interval Int -> [Interval Int]

Arbitrary (Interval Integer)

Methods

arbitrary :: Gen (Interval Integer)

shrink :: Interval Integer -> [Interval Integer]

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]