Safe Haskell	None
Language	Haskell2010

Language.Symantic.Lib.Monoid

Contents

Description

Symantic for Monoid.

Synopsis

class Sym_Monoid term where
- mempty :: Monoid a => term a
- mappend :: Monoid a => term a -> term a -> term a
tyMonoid :: Source src => Type src vs a -> Type src vs (Monoid a)
teMonoid_mempty :: TermDef Monoid '[Proxy a] (Monoid a #> a)
teMonoid_mappend :: TermDef Monoid '[Proxy a] (Monoid a #> (a -> a -> a))

Class `Sym_Monoid`

class Sym_Monoid term where Source #

Minimal complete definition

Nothing

Methods

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 #

Instances

Sym_Monoid View Source #
Instance details Defined in Language.Symantic.Lib.Monoid Methods mempty :: Monoid a => View a Source # mappend :: Monoid a => View a -> View a -> View a Source #
Sym_Monoid Eval Source #
Instance details Defined in Language.Symantic.Lib.Monoid Methods mempty :: Monoid a => Eval a Source # mappend :: Monoid a => Eval a -> Eval a -> Eval a Source #
(Sym_Monoid term, Sym_Lambda term) => Sym_Monoid (BetaT term) Source #
Instance details Defined in Language.Symantic.Lib.Monoid Methods mempty :: Monoid a => BetaT term a Source # mappend :: Monoid a => BetaT term a -> BetaT term a -> BetaT term a Source #
(Sym_Monoid r1, Sym_Monoid r2) => Sym_Monoid (Dup r1 r2) Source #
Instance details Defined in Language.Symantic.Lib.Monoid Methods mempty :: Monoid a => Dup r1 r2 a Source # mappend :: Monoid a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a Source #

`Type`s

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

ClassInstancesFor Monoid Source #
Instance details Methods proveConstraintFor :: Source src => proxy Monoid -> Type src vs q -> Maybe (Qual q) #
TypeInstancesFor Monoid Source #
Instance details Methods expandFamFor :: Source src => proxy Monoid -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts)) #
NameTyOf Monoid Source #
Instance details Methods nameTyOf :: proxy Monoid -> Mod NameTy # isNameTyOp :: proxy Monoid -> Bool #
FixityOf Monoid Source #
Instance details Methods fixityOf :: proxy Monoid -> Maybe Fixity #
(Source src, SymInj ss Monoid) => ModuleFor src ss Monoid Source #
Instance details Methods moduleFor :: (PathMod, Module src ss) #
Gram_Term_AtomsFor src ss g Monoid Source #
Instance details Methods g_term_atomsFor :: [CF g (AST_Term src ss)] #