Agda.Utils.SemiRing

Documentation

class SemiRing a where

Methods

oplus :: a -> a -> a

otimes :: a -> a -> a

Instances

SemiRing PartialOrdering

Partial ordering forms a semiring under supremum (disjunction) and composition (transitivity, sequencing)

SemiRing Distance

SemiRing Weight

SemiRing Edge

These operations form a semiring if we quotient by the relation "the Occurrence components are equal".

SemiRing a => SemiRing (Maybe a)