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)

(Coalgebra r (Interval' a), Eq a, Bounded a, Commutative r, Monoidal r, Semiring r) => CounitalCoalgebra 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)

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

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