ghc-7.4.1: The GHC API

Safe Haskell	Safe-Infered

IfaceType

Documentation

type IfExtName = Name Source

type IfLclName = FastString Source

type IfIPName = FastString Source

type IfacePredType = IfaceType Source

type IfaceKind = IfaceType Source

data IfaceCoCon Source

Constructors

IfaceCoAx IfExtName
IfaceIPCoAx FastString
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

toIfaceKind :: 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