ghc-6.12.2: The GHC API Source code Contents Index

IfaceType

Documentation

data IfaceType Source

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 Source

data IfacePredType Source

Constructors IfaceClassP Name [IfaceType] IfaceIParam (IPName OccName) IfaceType IfaceEqPred IfaceType IfaceType Instances Outputable IfacePredType Binary IfacePredType

data IfaceTyCon Source

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] Source

data IfaceBndr Source

Constructors IfaceIdBndr !IfaceIdBndr IfaceTvBndr !IfaceTvBndr Instances Outputable IfaceBndr Binary IfaceBndr

type IfaceTvBndr = (FastString, IfaceKind) Source

type IfaceIdBndr = (FastString, IfaceType) Source

type IfaceCoercion = IfaceType Source

ifaceTyConName :: IfaceTyCon -> Name Source

toIfaceType :: Type -> IfaceType Source

toIfacePred :: PredType -> IfacePredType Source

toIfaceContext :: ThetaType -> IfaceContext Source

toIfaceBndr :: Var -> IfaceBndr Source

toIfaceIdBndr :: Id -> (FastString, IfaceType) Source

toIfaceTvBndrs :: [TyVar] -> [(FastString, IfaceType)] Source

toIfaceTyCon :: TyCon -> IfaceTyCon Source

toIfaceTyCon_name :: Name -> IfaceTyCon Source

pprIfaceType :: IfaceType -> SDoc Source

pprParendIfaceType :: IfaceType -> SDoc Source

pprIfaceContext :: IfaceContext -> SDoc Source

pprIfaceIdBndr :: (FastString, IfaceType) -> SDoc Source

pprIfaceTvBndr :: IfaceTvBndr -> SDoc Source

pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc Source

pprIfaceBndrs :: [IfaceBndr] -> SDoc Source

tOP_PREC :: Int Source

tYCON_PREC :: Int Source

noParens :: SDoc -> SDoc Source

maybeParen :: Int -> Int -> SDoc -> SDoc Source

pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDoc Source

Produced by Haddock version 2.6.1