Contents Index

Type.Generalise

Documentation

generaliseT :: [Var] -> Type -> Type

genFreeVarsT :: Type -> [Var]

getConEnv :: Type -> [Var]

getTopEnv :: Type -> [Env]

collectEnv :: Type -> Maybe [Env]

Produced by Haddock version 0.7