Language.Symantic.Lib.Semigroup

Symantic for Semigroup.

Class Sym_Semigroup

class Sym_Semigroup term where

Minimal complete definition

Nothing

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

Defined in Language.Symantic.Lib.Semigroup

Methods

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

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

Sym_Semigroup Eval

Defined in Language.Symantic.Lib.Semigroup

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)

Defined in Language.Symantic.Lib.Semigroup

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)

Defined in Language.Symantic.Lib.Semigroup

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 Semigroup

Methods

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

TypeInstancesFor Semigroup

Methods

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

NameTyOf Semigroup

Methods

nameTyOf :: proxy Semigroup -> Mod NameTy

isNameTyOp :: proxy Semigroup -> Bool

FixityOf Semigroup

Methods

fixityOf :: proxy Semigroup -> Maybe Fixity

(Source src, SymInj ss Semigroup) => ModuleFor src ss Semigroup

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Semigroup

Methods

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