Language.Symantic.Lib.Int

Symantic for Int.

Class Sym_Int

class Sym_Int term where

Minimal complete definition

Nothing

Methods

int :: Int -> term Int

int :: Sym_Int (UnT term) => Trans term => Int -> term Int

Instances

Sym_Int View

Defined in Language.Symantic.Lib.Int

Methods

int :: Int -> View Int

Sym_Int Eval

Defined in Language.Symantic.Lib.Int

Methods

int :: Int -> Eval Int

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

Defined in Language.Symantic.Lib.Int

Methods

int :: Int -> BetaT term Int

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

Defined in Language.Symantic.Lib.Int

Methods

int :: Int -> Dup r1 r2 Int

Types

tyInt :: Source src => LenInj vs => Type src vs Int

Terms

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

Orphan instances

ClassInstancesFor Int

Methods

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

TypeInstancesFor Int

Methods

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

NameTyOf Int

Methods

nameTyOf :: proxy Int -> Mod NameTy

isNameTyOp :: proxy Int -> Bool

ModuleFor src ss Int

Methods

moduleFor :: (PathMod, Module src ss)

Gram_Term_AtomsFor src ss g Int

Methods

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