ghc-7.8.4: The GHC API

Safe HaskellNone
LanguageHaskell98

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