Language.Symantic.Lib.Int

Symantic for Int.

Class Sym_Int

class Sym_Int term where

Methods

int :: Int -> term Int

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

Instances

Sym_Int Eval

Methods

int :: Int -> Eval Int

Sym_Int View

Methods

int :: Int -> View Int

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

Methods

int :: Int -> BetaT term Int

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

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 c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor * Int

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 * Int

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

ModuleFor * src ss Int

Methods

moduleFor :: (PathMod, Module ss Int)

Gram_Term_AtomsFor * src ss g Int

Methods

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