thih-1.0: Typing Haskell In Haskell
StaticThih
module StaticPrelude
module StaticList
module StaticMonad
tId :: TypeSource
tKind :: TypeSource
starCfun :: AssumpSource
kfunCfun :: AssumpSource
tType :: TypeSource
tVarCfun :: AssumpSource
tConCfun :: AssumpSource
tApCfun :: AssumpSource
tGenCfun :: AssumpSource
tTyvar :: TypeSource
tyvarCfun :: AssumpSource
tTycon :: TypeSource
tyconCfun :: AssumpSource
tSubst :: TypeSource
tQual :: TypeSource
qualifyCfun :: AssumpSource
tPred :: TypeSource
isInCfun :: AssumpSource
tClass :: TypeSource
tInst :: TypeSource
tClassEnv :: TypeSource
classEnvCfun :: AssumpSource
classesSfun :: AssumpSource
defaultsSfun :: AssumpSource
tEnvTransformer :: TypeSource
tScheme :: TypeSource
forallCfun :: AssumpSource
tAssump :: TypeSource
assumeCfun :: AssumpSource
tTI :: TypeSource
tICfun :: AssumpSource
tInfer :: Type -> Type -> TypeSource
tLiteral :: TypeSource
litIntCfun :: AssumpSource
litCharCfun :: AssumpSource
litRatCfun :: AssumpSource
litStrCfun :: AssumpSource
tPat :: TypeSource
pVarCfun :: AssumpSource
pWildcardCfun :: AssumpSource
pAsCfun :: AssumpSource
pLitCfun :: AssumpSource
pNpkCfun :: AssumpSource
pConCfun :: AssumpSource
tExpr :: TypeSource
varCfun :: AssumpSource
litCfun :: AssumpSource
constCfun :: AssumpSource
apCfun :: AssumpSource
letCfun :: AssumpSource
tAlt :: TypeSource
tAmbiguity :: TypeSource
tExpl :: TypeSource
tImpl :: TypeSource
tBindGroup :: TypeSource
tProgram :: TypeSource
thihClasses :: ClassEnv -> Maybe ClassEnvSource
instsThih :: [Qual Pred]Source
cHasKind :: StringSource
kindMfun :: AssumpSource
cTypes :: StringSource
applyMfun :: AssumpSource
tvMfun :: AssumpSource
cInstantiate :: StringSource
instMfun :: AssumpSource