Safe Haskell | Safe-Infered |
---|
Documentation
typecheckExp :: Exp -> Tc SigmaSource
typecheckModule :: Module -> Tc VarEnvSource
checkAltMatch :: [Pat] -> GuardedAlts -> Binds -> Rho -> Tc QSource
inferAltMatch :: [Pat] -> GuardedAlts -> Binds -> Tc (Rho, Q)Source
tcAltMatch :: [Pat] -> GuardedAlts -> Binds -> Expected Rho -> Tc QSource
checkGuardedAlts :: GuardedAlts -> Q -> Rho -> Tc QSource
inferGuardedAlts :: GuardedAlts -> Q -> Tc (Rho, Q)Source
tcGuardedAlts :: GuardedAlts -> Q -> Expected Rho -> Tc QSource
checkGuardedAlt :: GuardedAlt -> Q -> Rho -> Tc QSource
inferGuardedAlt :: GuardedAlt -> Q -> Tc (Rho, Q)Source
tcGuardedAlt :: GuardedAlt -> Q -> Expected Rho -> Tc QSource
checkStmts :: [Stmt] -> Expected Rho -> Tc QSource
stringType :: SigmaSource
mkPredType :: QName -> Tc SigmaSource
inferSigma :: Exp -> Tc SigmaSource
checkSigma :: Exp -> Sigma -> Tc QSource
inferRhsWhere :: Rhs -> Binds -> Tc (Sigma, Q)Source
tcRhsWhere :: Rhs -> Binds -> Expected Sigma -> Tc QSource
rhsToGalts :: Rhs -> GuardedAltsSource
checkMatch :: Match -> Rho -> Tc QSource
inferMatch :: Match -> Tc (Rho, Q)Source
isExplTyped :: [Name] -> Decl -> BoolSource
isImplTyped :: Decl -> BoolSource
subsCheckAll :: [Sigma] -> Tc QSource
subsCheckRho :: Sigma -> Rho -> Tc QSource
subsCheckFun :: Sigma -> Rho -> Sigma -> Rho -> Tc QSource
instPatSigma :: Sigma -> Expected Sigma -> Tc ()Source