| ghc-6.10.4: The GHC API | Contents | Index
IfaceType
Documentation
data IfaceType
Constructors
IfaceTyVar FastString |
IfaceAppTy IfaceType IfaceType |
IfaceForAllTy IfaceTvBndr IfaceType |
IfacePredTy IfacePredType |
IfaceTyConApp IfaceTyCon [IfaceType] |
IfaceFunTy IfaceType IfaceType |
Instances
Outputable IfaceType
Binary IfaceType
type IfaceKind = IfaceType
data IfacePredType
Constructors
IfaceClassP Name [IfaceType] |
IfaceIParam (IPName OccName) IfaceType |
IfaceEqPred IfaceType IfaceType |
Instances
Outputable IfacePredType
Binary IfacePredType
data IfaceTyCon
Constructors
IfaceTc Name |
IfaceIntTc |
IfaceBoolTc |
IfaceCharTc |
IfaceListTc |
IfacePArrTc |
IfaceTupTc Boxity Arity |
IfaceLiftedTypeKindTc |
IfaceOpenTypeKindTc |
IfaceUnliftedTypeKindTc |
IfaceUbxTupleKindTc |
IfaceArgTypeKindTc |
Instances
Eq IfaceTyCon
Outputable IfaceTyCon
Binary IfaceTyCon
type IfaceContext = [IfacePredType]
data IfaceBndr
Constructors
IfaceIdBndr !IfaceIdBndr |
IfaceTvBndr !IfaceTvBndr |
Instances
Outputable IfaceBndr
Binary IfaceBndr
type IfaceTvBndr = (FastString, IfaceKind)
type IfaceIdBndr = (FastString, IfaceType)
type IfaceCoercion = IfaceType
ifaceTyConName :: IfaceTyCon -> Name
toIfaceType :: Type -> IfaceType
toIfacePred :: PredType -> IfacePredType
toIfaceContext :: ThetaType -> IfaceContext
toIfaceBndr :: Var -> IfaceBndr
toIfaceIdBndr :: Id -> (FastString, IfaceType)
toIfaceTvBndrs :: [TyVar] -> [(FastString, IfaceType)]
toIfaceTyCon :: TyCon -> IfaceTyCon
toIfaceTyCon_name :: Name -> IfaceTyCon
pprIfaceType :: IfaceType -> SDoc
pprParendIfaceType :: IfaceType -> SDoc
pprIfaceContext :: IfaceContext -> SDoc
pprIfaceIdBndr :: (FastString, IfaceType) -> SDoc
pprIfaceTvBndr :: IfaceTvBndr -> SDoc
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc
pprIfaceBndrs :: [IfaceBndr] -> SDoc
tOP_PREC :: Int
tYCON_PREC :: Int
noParens :: SDoc -> SDoc
maybeParen :: Int -> Int -> SDoc -> SDoc
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDoc
Produced by Haddock version 2.4.2