ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcEnv

Synopsis

Documentation

data TyThing

A typecheckable-thing, essentially anything that has a name

type TcId = Id

data InstInfo a

Constructors

InstInfo 

Fields

iSpec :: ClsInst
 
iBinds :: InstBindings a
 

Instances

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

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

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

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

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

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

tcExtendIdEnv2, but don't bind the TcIds in the TyVarSet argument.

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