Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
the dual incidence algebra basis
Interval' a a |
(Eq a, Commutative r, Monoidal r, Semiring r) => Coalgebra r (Interval' a) | |
(Eq a, Bounded a, Commutative r, Monoidal r, Semiring r) => CounitalCoalgebra 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