Numeric.Algebra.Incidence

Documentation

data Interval a

Constructors

Interval a a

Instances

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)

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

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