extcore-0.8: Libraries for processing GHC Core

Language.Core.Check

Documentation

checkExpr :: AnMname -> Menv -> Tcenv -> Cenv -> Venv -> Tvenv -> Exp -> TySource

data Envs Source

Constructors

Envs 

Fields

tcenv_ :: Tcenv
 
cenv_ :: Cenv
 
venv_ :: Venv
 

Instances

data CheckRes a Source

Constructors

OkC a 
FailC String 

Instances

splitTy :: Ty -> ([Tbind], [Ty], Ty)Source

substl :: [Tvar] -> [Ty] -> Ty -> TySource