Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data PlaceHolder = PlaceHolder
- type family PostTc it ty :: *
- type family PostRn id ty :: *
- placeHolderKind :: PlaceHolder
- placeHolderFixity :: PlaceHolder
- placeHolderType :: PlaceHolder
- placeHolderTypeTc :: Type
- placeHolderNames :: PlaceHolder
- placeHolderNamesTc :: NameSet
- 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))
Documentation
data PlaceHolder Source
used as place holder in PostTc and PostRn values
type family PostTc it ty :: * Source
Types that are not defined until after type checking
type PostTc Name ty = PlaceHolder | |
type PostTc Id ty = ty | |
type PostTc RdrName ty = PlaceHolder |