Agda-2.4.2.3: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell98

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)