ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

PlaceHolder

Synopsis

Documentation

data PlaceHolder Source

used as place holder in PostTc and PostRn values

Constructors

PlaceHolder 

Instances

type family PostTc it ty :: * Source

Types that are not defined until after type checking

Instances

type PostTc Name ty = PlaceHolder 
type PostTc RdrName ty = PlaceHolder 
type PostTc Id ty = ty 

type family PostRn id ty :: * Source

Types that are not defined until after renaming

Instances

type PostRn Name ty = ty 
type PostRn RdrName ty = PlaceHolder 
type PostRn Id ty = ty 

placeHolderKind :: PlaceHolder Source

placeHolderFixity :: PlaceHolder Source

placeHolderType :: PlaceHolder Source

placeHolderTypeTc :: Type Source

placeHolderNames :: PlaceHolder Source

placeHolderNamesTc :: NameSet Source

type DataId id = (Data id, Data (PostRn id NameSet), Data (PostRn id Fixity), Data (PostRn id Bool), Data (PostRn id [Name]), Data (PostTc id Type), Data (PostTc id Coercion)) Source