Language.Symantic.Lib.Integer

Symantic for Integer.

Class Sym_Integer

class Sym_Integer term where

Minimal complete definition

Nothing

Methods

integer :: Integer -> term Integer

integer :: Sym_Integer (UnT term) => Trans term => Integer -> term Integer

Instances

Sym_Integer View

Defined in Language.Symantic.Lib.Integer

Methods

integer :: Integer -> View Integer

Sym_Integer Eval

Defined in Language.Symantic.Lib.Integer

Methods

integer :: Integer -> Eval Integer

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

Defined in Language.Symantic.Lib.Integer

Methods

integer :: Integer -> BetaT term Integer

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

Defined in Language.Symantic.Lib.Integer

Methods

integer :: Integer -> Dup r1 r2 Integer

Terms

tyInteger :: Source src => LenInj vs => Type src vs Integer

teInteger :: Source src => SymInj ss Integer => Integer -> Term src ss ts '[] (() #> Integer)

Orphan instances

ClassInstancesFor Integer

Methods

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

TypeInstancesFor Integer

Methods

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

NameTyOf Integer

Methods

nameTyOf :: proxy Integer -> Mod NameTy

isNameTyOp :: proxy Integer -> Bool

ModuleFor src ss Integer

Methods

moduleFor :: (PathMod, Module src ss)

(Gram_Source src g, Gram_Alt g, Gram_AltApp g, Gram_Rule g, Gram_Comment g, SymInj ss Integer) => Gram_Term_AtomsFor src ss g Integer

Methods

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