ghc-7.0.1: The GHC API

TcEnv

Synopsis

Documentation

data TyThing

A typecheckable-thing, essentially anything that has a name

type TcId = Id

data InstInfo a

Constructors

InstInfo 

tcExtendKindEnv :: [(Name, TcKind)] -> TcM r -> TcM r

tcExtendTyVarEnv :: [TyVar] -> TcM r -> TcM r

tcExtendTyVarEnv2 :: [(Name, TcType)] -> TcM r -> TcM r

tcExtendGhciEnv :: [TcId] -> TcM a -> TcM a

tcExtendIdEnv :: [TcId] -> TcM a -> TcM a

tcExtendIdEnv1 :: Name -> TcId -> TcM a -> TcM a

tcExtendIdEnv2 :: [(Name, TcId)] -> TcM a -> TcM a

tcExtendRecEnv :: [(Name, TyThing)] -> TcM r -> TcM r