Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Monoid
.
Class Sym_Monoid
class Sym_Monoid term where Source #
mempty :: Monoid a => term a Source #
mappend :: Monoid a => term a -> term a -> term a Source #
mempty :: Sym_Monoid (UnT term) => Trans term => Monoid a => term a Source #
mappend :: Sym_Monoid (UnT term) => Trans term => Monoid a => term a -> term a -> term a Source #
Sym_Monoid Eval Source # | |
Sym_Monoid View Source # | |
(Sym_Monoid term, Sym_Lambda term) => Sym_Monoid (BetaT term) Source # | |
(Sym_Monoid r1, Sym_Monoid r2) => Sym_Monoid (Dup r1 r2) Source # | |
Type
s
Term
s
Orphan instances
FixityOf (* -> Constraint) Monoid Source # | |
ClassInstancesFor (* -> Constraint) Monoid Source # | |
TypeInstancesFor (* -> Constraint) Monoid Source # | |
(Source src, Inj_Sym (* -> Constraint) ss Monoid) => ModuleFor (* -> Constraint) src ss Monoid Source # | |
Gram_Term_AtomsFor (* -> Constraint) src ss g Monoid Source # | |