Domain.Math.Data.Interval

Data types

data Interval a

Instances

Eq a => Eq (Interval a)

Defined in Domain.Math.Data.Interval

Methods

(==) :: Interval a -> Interval a -> Bool

(/=) :: Interval a -> Interval a -> Bool

Show a => Show (Interval a)

Defined in Domain.Math.Data.Interval

Methods

showsPrec :: Int -> Interval a -> ShowS

show :: Interval a -> String

showList :: [Interval a] -> ShowS

(Arbitrary a, Ord a) => Arbitrary (Interval a)

Defined in Domain.Math.Data.Interval

Methods

arbitrary :: Gen (Interval a)

shrink :: Interval a -> [Interval a]

(CoArbitrary a, Ord a) => CoArbitrary (Interval a)

Defined in Domain.Math.Data.Interval

Methods

coarbitrary :: Interval a -> Gen b -> Gen b

Ord a => BoolValue (Interval a)

Defined in Domain.Math.Data.Interval

Methods

true :: Interval a

false :: Interval a

fromBool :: Bool -> Interval a

isTrue :: Interval a -> Bool

isFalse :: Interval a -> Bool

Ord a => Boolean (Interval a)

Defined in Domain.Math.Data.Interval

Methods

(<&&>) :: Interval a -> Interval a -> Interval a

(<||>) :: Interval a -> Interval a -> Interval a

complement :: Interval a -> Interval a

data Endpoint a

Constructors

Excluding a

Including a

Unbounded

Instances

Functor Endpoint

Defined in Domain.Math.Data.Interval

Methods

fmap :: (a -> b) -> Endpoint a -> Endpoint b

(<$) :: a -> Endpoint b -> Endpoint a

Eq a => Eq (Endpoint a)

Defined in Domain.Math.Data.Interval

Methods

(==) :: Endpoint a -> Endpoint a -> Bool

(/=) :: Endpoint a -> Endpoint a -> Bool

Show a => Show (Endpoint a)

Defined in Domain.Math.Data.Interval

Methods

showsPrec :: Int -> Endpoint a -> ShowS

show :: Endpoint a -> String

showList :: [Endpoint a] -> ShowS

(Arbitrary a, Ord a) => Arbitrary (Endpoint a)

Defined in Domain.Math.Data.Interval

Methods

arbitrary :: Gen (Endpoint a)

shrink :: Endpoint a -> [Endpoint a]

(CoArbitrary a, Ord a) => CoArbitrary (Endpoint a)

Defined in Domain.Math.Data.Interval

Methods

coarbitrary :: Endpoint a -> Gen b -> Gen b

Interval constructors

empty :: Interval a

point :: a -> Interval a

unbounded :: Ord a => Interval a

open :: Ord a => a -> a -> Interval a

closed :: Ord a => a -> a -> Interval a

leftOpen :: Ord a => a -> a -> Interval a

rightOpen :: Ord a => a -> a -> Interval a

greaterThan :: Ord a => a -> Interval a

greaterThanOrEqualTo :: Ord a => a -> Interval a

lessThan :: Ord a => a -> Interval a

lessThanOrEqualTo :: Ord a => a -> Interval a

true :: BoolValue a => a

false :: BoolValue a => a

Interval combinators

except :: Ord a => a -> Interval a

union :: Ord a => Interval a -> Interval a -> Interval a

intersect :: Ord a => Interval a -> Interval a -> Interval a

complement :: Boolean a => a -> a

Inspecing an interval

segments :: Interval a -> [(Endpoint a, Endpoint a)]

isIn :: Ord a => a -> Interval a -> Bool

QuickChecks

testMe :: TestSuite