Language.Symantic.Lib.Monoid

Symantic for Monoid.

Class Sym_Monoid

class Sym_Monoid term where

Methods

mempty :: Monoid a => term a

mappend :: Monoid a => term a -> term a -> term a

mempty :: Sym_Monoid (UnT term) => Trans term => Monoid a => term a

mappend :: Sym_Monoid (UnT term) => Trans term => Monoid a => term a -> term a -> term a

Instances

Sym_Monoid View

Methods

mempty :: Monoid a => View a

mappend :: Monoid a => View a -> View a -> View a

Sym_Monoid Eval

Methods

mempty :: Monoid a => Eval a

mappend :: Monoid a => Eval a -> Eval a -> Eval a

(Sym_Monoid term, Sym_Lambda term) => Sym_Monoid (BetaT term)

Methods

mempty :: Monoid a => BetaT term a

mappend :: Monoid a => BetaT term a -> BetaT term a -> BetaT term a

(Sym_Monoid r1, Sym_Monoid r2) => Sym_Monoid (Dup r1 r2)

Methods

mempty :: Monoid a => Dup r1 r2 a

mappend :: Monoid a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a

Types

tyMonoid :: Source src => Type src vs a -> Type src vs (Monoid a)

Terms

teMonoid_mempty :: TermDef Monoid '[Proxy a] (Monoid a #> a)

teMonoid_mappend :: TermDef Monoid '[Proxy a] (Monoid a #> (a -> a -> a))

Orphan instances

ClassInstancesFor (* -> Constraint) Monoid

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor (* -> Constraint) Monoid

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf (* -> Constraint) Monoid

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Monoid

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj (* -> Constraint) ss Monoid) => ModuleFor (* -> Constraint) src ss Monoid

Methods

moduleFor :: (PathMod, Module ss Monoid)

Gram_Term_AtomsFor (* -> Constraint) src ss g Monoid

Methods

g_term_atomsFor :: [CF Monoid (AST_Term ss g)]