Numeric.Algebra.Incidence

Documentation

data Interval a

Constructors

Interval a a

Instances

(Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => Algebra r (Interval a)

(Commutative r, Monoidal r, Semiring r, LocallyFiniteOrder a) => UnitalAlgebra 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

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

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