IntervalAlgebra.Arbitrary

Documentation

makePos :: (Ord b, Num b) => b -> b

Internal function for converting a number to a strictly positive value.

safeInterval :: Intervallic a => a -> a -> Interval a

A function for creating intervals when you think you know what you're doing.

safeInterval' :: IntervalSizeable a b => a -> b -> Interval a

Safely create a valid 'Interval a' from two a by adding a positive dur to start to set the duration of the interval.

safeInterval'' :: Intervallic a => a -> a -> Maybe (Interval a)

Create a 'Maybe Interval a' from two as.

Orphan instances

Arbitrary Day

Methods

arbitrary :: Gen Day

shrink :: Day -> [Day]

Arbitrary (Interval Int)

Methods

arbitrary :: Gen (Interval Int)

shrink :: Interval Int -> [Interval Int]

Arbitrary (Interval Day)

Methods

arbitrary :: Gen (Interval Day)

shrink :: Interval Day -> [Interval Day]