Language.Symantic.Lib.Semigroup

Symantic for Semigroup.

Class Sym_Semigroup

class Sym_Semigroup term where

Methods

(<>) :: Semigroup a => term a -> term a -> term a

stimes :: (Semigroup a, Integral b) => term b -> term a -> term a

(<>) :: Sym_Semigroup (UnT term) => Trans term => Semigroup a => term a -> term a -> term a

stimes :: Sym_Semigroup (UnT term) => Trans term => Semigroup a => Integral b => term b -> term a -> term a

Instances

Sym_Semigroup View

Methods

(<>) :: Semigroup a => View a -> View a -> View a

stimes :: (Semigroup a, Integral b) => View b -> View a -> View a

Sym_Semigroup Eval

Methods

(<>) :: Semigroup a => Eval a -> Eval a -> Eval a

stimes :: (Semigroup a, Integral b) => Eval b -> Eval a -> Eval a

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

Methods

(<>) :: Semigroup a => BetaT term a -> BetaT term a -> BetaT term a

stimes :: (Semigroup a, Integral b) => BetaT term b -> BetaT term a -> BetaT term a

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

Methods

(<>) :: Semigroup a => Dup r1 r2 a -> Dup r1 r2 a -> Dup r1 r2 a

stimes :: (Semigroup a, Integral b) => Dup r1 r2 b -> Dup r1 r2 a -> Dup r1 r2 a

Types

tySemigroup :: Source src => Type src vs a -> Type src vs (Semigroup a)

Terms

teSemigroup_sappend :: TermDef Semigroup '[Proxy a] (Semigroup a #> (a -> a -> a))

teSemigroup_stimes :: TermDef Semigroup '[Proxy a, Proxy b] ((Semigroup a # Integral b) #> (b -> a -> a))

Orphan instances

ClassInstancesFor (* -> Constraint) Semigroup

Methods

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

TypeInstancesFor (* -> Constraint) Semigroup

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) Semigroup

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf (* -> Constraint) Semigroup

Methods

fixityOf :: proxy c -> Maybe Fixity

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

Methods

moduleFor :: (PathMod, Module ss Semigroup)

Gram_Term_AtomsFor (* -> Constraint) src ss g Semigroup

Methods

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