thih-1.0: Typing Haskell In Haskell

StaticThih

Documentation

module StaticPrelude

module StaticList

module StaticMonad

tId :: Type Source

tKind :: Type Source

starCfun :: Assump Source

kfunCfun :: Assump Source

tType :: Type Source

tVarCfun :: Assump Source

tConCfun :: Assump Source

tApCfun :: Assump Source

tGenCfun :: Assump Source

tTyvar :: Type Source

tyvarCfun :: Assump Source

tTycon :: Type Source

tyconCfun :: Assump Source

tSubst :: Type Source

tQual :: Type Source

qualifyCfun :: Assump Source

tPred :: Type Source

isInCfun :: Assump Source

tClass :: Type Source

tInst :: Type Source

tClassEnv :: Type Source

classEnvCfun :: Assump Source

classesSfun :: Assump Source

defaultsSfun :: Assump Source

tEnvTransformer :: Type Source

tScheme :: Type Source

forallCfun :: Assump Source

tAssump :: Type Source

assumeCfun :: Assump Source

tTI :: Type Source

tICfun :: Assump Source

tInfer :: Type -> Type -> Type Source

tLiteral :: Type Source

litIntCfun :: Assump Source

litCharCfun :: Assump Source

litRatCfun :: Assump Source

litStrCfun :: Assump Source

tPat :: Type Source

pVarCfun :: Assump Source

pWildcardCfun :: Assump Source

pAsCfun :: Assump Source

pLitCfun :: Assump Source

pNpkCfun :: Assump Source

pConCfun :: Assump Source

tExpr :: Type Source

varCfun :: Assump Source

litCfun :: Assump Source

constCfun :: Assump Source

apCfun :: Assump Source

letCfun :: Assump Source

tAlt :: Type Source

tAmbiguity :: Type Source

tExpl :: Type Source

tImpl :: Type Source

tBindGroup :: Type Source

tProgram :: Type Source

thihClasses :: ClassEnv -> Maybe ClassEnv Source

instsThih :: [Qual Pred]Source

cHasKind :: String Source

kindMfun :: Assump Source

cTypes :: String Source

applyMfun :: Assump Source

tvMfun :: Assump Source

cInstantiate :: String Source

instMfun :: Assump Source