Documentation

prepModule :: Menv -> Module -> ModuleSource

boundVars :: Exp -> [Id]Source

boundVarsVdefs :: Vdefg -> [Id]Source

boundVarsVdef :: Vdef -> [Id]Source

boundVarsAlts :: [Alt] -> [Var]Source

boundVarsAlt :: Alt -> [Var]Source

substNewtys :: NtEnv -> Ty -> TySource

newtypeCoercion_maybe :: NtEnv -> Ty -> Maybe CoercionKindSource

mkTapp :: Ty -> [Ty] -> TySource

initCounter :: IntSource

type PrepM = State IntSource

freshVar :: PrepM StringSource