Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
Interval a a |
(Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => Algebra r (Interval a) | |
(Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => UnitalAlgebra r (Interval a) | |
Eq a => Eq (Interval a) | |
Data a => Data (Interval a) | |
Ord a => Ord (Interval a) | |
Read a => Read (Interval a) | |
Show a => Show (Interval a) | |
Typeable (* -> *) Interval |
moebius :: (Ring r, LocallyFiniteOrder a) => Interval a -> r Source