Agda.Utils.SemiRing

Documentation

class SemiRing a where

Methods

oplus :: a -> a -> a

otimes :: a -> a -> a

Instances

SemiRing Occurrence

SemiRing Distance

SemiRing Weight

SemiRing Edge

SemiRing a => SemiRing (Maybe a)