| Safe Haskell | None |
|---|
IfaceType
Documentation
type IfLclName = FastStringSource
Constructors
Instances
type IfacePredType = IfaceTypeSource
data IfaceCoCon Source
Constructors
| IfaceCoAx IfExtName | |
| IfaceReflCo | |
| IfaceUnsafeCo | |
| IfaceSymCo | |
| IfaceTransCo | |
| IfaceInstCo | |
| IfaceNthCo Int |
Instances
type IfaceContext = [IfacePredType]Source
Constructors
| IfaceIdBndr !IfaceIdBndr | |
| IfaceTvBndr !IfaceTvBndr |
Instances
type IfaceTvBndr = (IfLclName, IfaceKind)Source
type IfaceIdBndr = (IfLclName, IfaceType)Source
type IfaceCoercion = IfaceTypeSource
toIfaceType :: Type -> IfaceTypeSource
toIfaceKind :: Type -> IfaceTypeSource
toIfaceBndr :: Var -> IfaceBndrSource
toIfaceIdBndr :: Id -> (IfLclName, IfaceType)Source
toIfaceTvBndrs :: [TyVar] -> [(IfLclName, IfaceType)]Source
pprIfaceType :: IfaceType -> SDocSource
pprIfaceIdBndr :: (IfLclName, IfaceType) -> SDocSource
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDocSource
pprIfaceBndrs :: [IfaceBndr] -> SDocSource
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDocSource