Data.Interval

Documentation

data Interval a

Constructors

(Maybe a) :–: (Maybe a) infix 5

Instances

Functor Interval

Defined in Data.Interval

Methods

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

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

Foldable Interval

Defined in Data.Interval

Methods

fold :: Monoid m => Interval m -> m

foldMap :: Monoid m => (a -> m) -> Interval a -> m

foldr :: (a -> b -> b) -> b -> Interval a -> b

foldr' :: (a -> b -> b) -> b -> Interval a -> b

foldl :: (b -> a -> b) -> b -> Interval a -> b

foldl' :: (b -> a -> b) -> b -> Interval a -> b

foldr1 :: (a -> a -> a) -> Interval a -> a

foldl1 :: (a -> a -> a) -> Interval a -> a

toList :: Interval a -> [a]

null :: Interval a -> Bool

length :: Interval a -> Int

elem :: Eq a => a -> Interval a -> Bool

maximum :: Ord a => Interval a -> a

minimum :: Ord a => Interval a -> a

sum :: Num a => Interval a -> a

product :: Num a => Interval a -> a

Traversable Interval

Defined in Data.Interval

Methods

traverse :: Applicative f => (a -> f b) -> Interval a -> f (Interval b)

sequenceA :: Applicative f => Interval (f a) -> f (Interval a)

mapM :: Monad m => (a -> m b) -> Interval a -> m (Interval b)

sequence :: Monad m => Interval (m a) -> m (Interval a)

Read a => Read (Interval a)

Defined in Data.Interval

Methods

readsPrec :: Int -> ReadS (Interval a)

readList :: ReadS [Interval a]

readPrec :: ReadPrec (Interval a)

readListPrec :: ReadPrec [Interval a]

Show a => Show (Interval a)

Defined in Data.Interval

Methods

showsPrec :: Int -> Interval a -> ShowS

show :: Interval a -> String

showList :: [Interval a] -> ShowS

Preord a => Preord (Interval a)

Defined in Data.Interval

Methods

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

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

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

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

PartialEq a => PartialEq (Interval a)

Defined in Data.Interval

Methods

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

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

Eq a => Eq (Interval a)

Defined in Data.Interval

(PartialOrd a, PartialEq a) => PartialOrd (Interval a)

Defined in Data.Interval

Methods

tryCompare :: Interval a -> Interval a -> Maybe Ordering

(∪) :: Ord a => Interval a -> Interval a -> Interval a infixr 4

(∩) :: Ord a => Interval a -> Interval a -> Interval a infixr 4