Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class SemiringK add mul a s Source #
(KnownSymbol sym, SemiringK k km ka p m a s) => SemiringK k km ka p m a (SemiringNamed sym s) Source # | |
(MonoidK k ka p a zam, CommutativeK k ka p a zac, MonoidK k km m a zbm) => SemiringK k km ka p m a (Semiring_Commutative_Monoid_Monoid zac zam zbm) Source # | |