Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Utils.SemiRing
Documentation
class SemiRing a where Source #
Methods
Instances
class SemiRing a => StarSemiRing a where Source #
Star semirings (https://en.wikipedia.org/wiki/Semiring#Star_semirings).
Instances
StarSemiRing () Source # | |
Defined in Agda.Utils.SemiRing | |
StarSemiRing Occurrence Source # | |
Defined in Agda.TypeChecking.Positivity.Occurrence Methods ostar :: Occurrence -> Occurrence Source # | |
StarSemiRing a => StarSemiRing (Maybe a) Source # | |