ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcEnv

Synopsis

Documentation

data TyThing Source

A typecheckable-thing, essentially anything that has a name

type TcId = Id Source

data InstInfo a Source

Constructors

InstInfo 

Fields

iSpec :: ClsInst
 
iBinds :: InstBindings a
 

Instances

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

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

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