Numeric.Coalgebra.Incidence

Documentation

data Interval' a

the dual incidence algebra basis

Constructors

Interval' a a

Instances

Typeable1 Interval'

(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)

zeta' :: Unital r => Interval' a -> r

moebius' :: (Ring r, LocallyFiniteOrder a) => Interval' a -> r