IfaceType
Documentation
type IfLclName = FastString
data IfaceType
Constructors
Instances
data IfacePredType
Constructors
IfaceClassP IfExtName [IfaceType] | |
IfaceIParam (IPName OccName) IfaceType | |
IfaceEqPred IfaceType IfaceType |
Instances
data IfaceTyCon
Constructors
Instances
data IfaceCoCon
Constructors
IfaceCoAx IfExtName | |
IfaceReflCo | |
IfaceUnsafeCo | |
IfaceSymCo | |
IfaceTransCo | |
IfaceInstCo | |
IfaceNthCo Int |
Instances
type IfaceContext = [IfacePredType]
type IfaceTvBndr = (IfLclName, IfaceKind)
type IfaceIdBndr = (IfLclName, IfaceType)
type IfaceCoercion = IfaceType
ifaceTyConName :: IfaceTyCon -> Name
toIfaceType :: Type -> IfaceType
toIfaceBndr :: Var -> IfaceBndr
toIfaceIdBndr :: Id -> (IfLclName, IfaceType)
toIfaceTvBndrs :: [TyVar] -> [(IfLclName, IfaceType)]
toIfaceTyCon :: TyCon -> IfaceTyCon
toIfaceTyCon_name :: Name -> IfaceTyCon
coToIfaceType :: Coercion -> IfaceType
pprIfaceContext :: IfaceContext -> SDoc
pprIfaceIdBndr :: (IfLclName, IfaceType) -> SDoc
pprIfaceTvBndr :: IfaceTvBndr -> SDoc
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc
pprIfaceBndrs :: [IfaceBndr] -> SDoc
tOP_PREC, tYCON_PREC :: Int
maybeParen :: Int -> Int -> SDoc -> SDoc
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDoc