ghc-7.2.2: The GHC API

IfaceType

Documentation

type IfExtName = Name Source

type IfLclName = FastString Source

type IfaceKind = IfaceType Source

data IfacePredType Source

Constructors

IfaceClassP IfExtName [IfaceType]
IfaceIParam (IPName OccName) IfaceType
IfaceEqPred IfaceType IfaceType

Instances

Outputable IfacePredType
Binary IfacePredType

data IfaceCoCon Source

Constructors

IfaceCoAx IfExtName
IfaceReflCo
IfaceUnsafeCo
IfaceSymCo
IfaceTransCo
IfaceInstCo
IfaceNthCo Int

Instances

Outputable IfaceCoCon
Binary IfaceCoCon

type IfaceContext = [IfacePredType]Source

data IfaceBndr Source

Constructors

IfaceIdBndr !IfaceIdBndr
IfaceTvBndr !IfaceTvBndr

Instances

Outputable IfaceBndr
Binary IfaceBndr

type IfaceTvBndr = (IfLclName, IfaceKind)Source

type IfaceIdBndr = (IfLclName, IfaceType)Source

type IfaceCoercion = IfaceType Source

ifaceTyConName :: IfaceTyCon -> Name Source

toIfaceType :: Type -> IfaceType Source

toIfaceContext :: ThetaType -> IfaceContext Source

toIfaceBndr :: Var -> IfaceBndr Source

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

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

toIfaceTyCon :: TyCon -> IfaceTyCon Source

toIfaceTyCon_name :: Name -> IfaceTyCon Source

coToIfaceType :: Coercion -> IfaceType Source

pprIfaceType, pprParendIfaceType :: IfaceType -> SDoc Source

pprIfaceContext :: IfaceContext -> SDoc Source

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

pprIfaceTvBndr :: IfaceTvBndr -> SDoc Source

pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc Source

pprIfaceBndrs :: [IfaceBndr] -> SDoc Source

tOP_PREC, tYCON_PREC :: Int Source

noParens :: SDoc -> SDoc Source

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

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