Safe Haskell | None |
---|
Documentation
Interval a a |
Typeable1 Interval | |
(Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => Algebra r (Interval a) | |
(Algebra r (Interval a), Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => UnitalAlgebra r (Interval a) | |
Eq a => Eq (Interval a) | |
(Typeable (Interval a), Data a) => Data (Interval a) | |
(Eq (Interval a), Ord a) => Ord (Interval a) | |
Read a => Read (Interval a) | |
Show a => Show (Interval a) |
moebius :: (Ring r, LocallyFiniteOrder a) => Interval a -> rSource