ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

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

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