ghc-6.12.2: The GHC APISource codeContentsIndex
IfaceType
Documentation
data IfaceType Source
Constructors
IfaceTyVar FastString
IfaceAppTy IfaceType IfaceType
IfaceForAllTy IfaceTvBndr IfaceType
IfacePredTy IfacePredType
IfaceTyConApp IfaceTyCon [IfaceType]
IfaceFunTy IfaceType IfaceType
show/hide Instances
type IfaceKind = IfaceTypeSource
data IfacePredType Source
Constructors
IfaceClassP Name [IfaceType]
IfaceIParam (IPName OccName) IfaceType
IfaceEqPred IfaceType IfaceType
show/hide Instances
data IfaceTyCon Source
Constructors
IfaceTc Name
IfaceIntTc
IfaceBoolTc
IfaceCharTc
IfaceListTc
IfacePArrTc
IfaceTupTc Boxity Arity
IfaceLiftedTypeKindTc
IfaceOpenTypeKindTc
IfaceUnliftedTypeKindTc
IfaceUbxTupleKindTc
IfaceArgTypeKindTc
show/hide Instances
type IfaceContext = [IfacePredType]Source
data IfaceBndr Source
Constructors
IfaceIdBndr !IfaceIdBndr
IfaceTvBndr !IfaceTvBndr
show/hide Instances
type IfaceTvBndr = (FastString, IfaceKind)Source
type IfaceIdBndr = (FastString, IfaceType)Source
type IfaceCoercion = IfaceTypeSource
ifaceTyConName :: IfaceTyCon -> NameSource
toIfaceType :: Type -> IfaceTypeSource
toIfacePred :: PredType -> IfacePredTypeSource
toIfaceContext :: ThetaType -> IfaceContextSource
toIfaceBndr :: Var -> IfaceBndrSource
toIfaceIdBndr :: Id -> (FastString, IfaceType)Source
toIfaceTvBndrs :: [TyVar] -> [(FastString, IfaceType)]Source
toIfaceTyCon :: TyCon -> IfaceTyConSource
toIfaceTyCon_name :: Name -> IfaceTyConSource
pprIfaceType :: IfaceType -> SDocSource
pprParendIfaceType :: IfaceType -> SDocSource
pprIfaceContext :: IfaceContext -> SDocSource
pprIfaceIdBndr :: (FastString, IfaceType) -> SDocSource
pprIfaceTvBndr :: IfaceTvBndr -> SDocSource
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDocSource
pprIfaceBndrs :: [IfaceBndr] -> SDocSource
tOP_PREC :: IntSource
tYCON_PREC :: IntSource
noParens :: SDoc -> SDocSource
maybeParen :: Int -> Int -> SDoc -> SDocSource
pprIfaceForAllPart :: [IfaceTvBndr] -> IfaceContext -> SDoc -> SDocSource
Produced by Haddock version 2.6.1