symantic-lib-0.0.4.20180831: Symantics for common types.
Language.Symantic.Lib.Int
Contents
Sym_Int
Type
Term
Description
Symantic for Int.
Int
class Sym_Int term where Source #
Methods
int :: Int -> term Int Source #
int :: Sym_Int (UnT term) => Trans term => Int -> term Int Source #
Defined in Language.Symantic.Lib.Int
int :: Int -> View Int Source #
int :: Int -> Eval Int Source #
int :: Int -> BetaT term Int Source #
int :: Int -> Dup r1 r2 Int Source #
tyInt :: Source src => LenInj vs => Type src vs Int Source #
teInt :: Source src => SymInj ss Int => Int -> Term src ss ts '[] (() #> Int) Source #
proveConstraintFor :: Source src => proxy Int -> Type src vs q -> Maybe (Qual q) #
expandFamFor :: Source src => proxy Int -> Len vs -> Const src fam -> Types src vs ts -> Maybe (Type src vs (Fam fam ts)) #
nameTyOf :: proxy Int -> Mod NameTy #
isNameTyOp :: proxy Int -> Bool #
moduleFor :: (PathMod, Module src ss) #
g_term_atomsFor :: [CF g (AST_Term src ss)] #