Documentation

checkModule :: Menv -> Module -> CheckRes MenvSource

envsModule :: Menv -> Module -> MenvSource

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

checkType :: AnMname -> Menv -> Tcenv -> Tvenv -> Ty -> KindSource

primCoercionError :: Show a => a -> bSource

type Menv = Env AnMname EnvsSource

type Venv = Env Var TySource

type Tvenv = Env Tvar KindSource

type Tcenv = Env Tcon KindOrCoercionSource

data Envs Source

data CheckRes a Source

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

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

mkTypeEnvsNoChecking :: [Tdef] -> (Tcenv, Cenv)Source

type NtEnv = Map Tcon CoercionKindSource

mkNtEnv :: Menv -> NtEnvSource