Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Utils.SemiRing
- class SemiRing a where
- class SemiRing a => StarSemiRing a where
Documentation
Semirings (https://en.wikipedia.org/wiki/Semiring).
Instances
SemiRing Weight # | |
SemiRing Occurrence # |
It forms a commutative semiring where For |
SemiRing Edge # | These operations form a semiring if we quotient by the relation
"the |
SemiRing a => SemiRing (Maybe a) # | |
class SemiRing a => StarSemiRing a where #
Star semirings (https://en.wikipedia.org/wiki/Semiring#Star_semirings).
Minimal complete definition
Instances
StarSemiRing Occurrence # | |
StarSemiRing Edge # | As E.g. |
StarSemiRing a => StarSemiRing (Maybe a) # | |