extcore-0.5: Libraries for processing GHC Core

Language.Core.Prep

Documentation

prepModule :: Menv -> Module -> Module Source

boundVars :: Exp -> [Id]Source

boundVarsVdefs :: Vdefg -> [Id]Source

boundVarsVdef :: Vdef -> [Id]Source

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

boundVarsAlt :: Alt -> [Var]Source

substNewtys :: NtEnv -> Ty -> Ty Source

newtypeCoercion_maybe :: NtEnv -> Ty -> Maybe CoercionKind Source

mkTapp :: Ty -> [Ty] -> Ty Source

initCounter :: Int Source

type PrepM = State Int Source

freshVar :: PrepM String Source