Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Semigroup
.
Class Sym_Semigroup
class Sym_Semigroup term where Source #
(<>) :: Semigroup a => term a -> term a -> term a Source #
stimes :: (Semigroup a, Integral b) => term b -> term a -> term a Source #
(<>) :: Sym_Semigroup (UnT term) => Trans term => Semigroup a => term a -> term a -> term a Source #
stimes :: Sym_Semigroup (UnT term) => Trans term => Semigroup a => Integral b => term b -> term a -> term a Source #
Instances
Sym_Semigroup View Source # | |
Sym_Semigroup Eval Source # | |
(Sym_Semigroup term, Sym_Lambda term) => Sym_Semigroup (BetaT term) Source # | |
(Sym_Semigroup r1, Sym_Semigroup r2) => Sym_Semigroup (Dup r1 r2) Source # | |
Type
s
Term
s
teSemigroup_stimes :: TermDef Semigroup '[Proxy a, Proxy b] ((Semigroup a # Integral b) #> (b -> a -> a)) Source #