ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

IfaceType

Documentation

type IfExtName = NameSource

type IfLclName = FastStringSource

data IfaceTypeSource

Constructors

IfaceTyVar IfLclName 
IfaceAppTy IfaceType IfaceType 
IfaceFunTy IfaceType IfaceType 
IfaceForAllTy IfaceTvBndr IfaceType 
IfaceTyConApp IfaceTyCon [IfaceType] 
IfaceLitTy IfaceTyLit 

Instances

type IfacePredType = IfaceTypeSource

type IfaceKind = IfaceTypeSource

newtype IfaceTyConSource

Constructors

IfaceTc 

Fields

ifaceTyConName :: IfExtName
 

Instances

data IfaceCoercionSource

Constructors

IfaceReflCo Role IfaceType 
IfaceFunCo Role IfaceCoercion IfaceCoercion 
IfaceTyConAppCo Role IfaceTyCon [IfaceCoercion] 
IfaceAppCo IfaceCoercion IfaceCoercion 
IfaceForAllCo IfaceTvBndr IfaceCoercion 
IfaceCoVarCo IfLclName 
IfaceAxiomInstCo IfExtName BranchIndex [IfaceCoercion] 
IfaceUnivCo Role IfaceType IfaceType 
IfaceSymCo IfaceCoercion 
IfaceTransCo IfaceCoercion IfaceCoercion 
IfaceNthCo Int IfaceCoercion 
IfaceLRCo LeftOrRight IfaceCoercion 
IfaceInstCo IfaceCoercion IfaceType 
IfaceSubCo IfaceCoercion 
IfaceAxiomRuleCo IfLclName [IfaceType] [IfaceCoercion] 

Instances

data IfaceTyLitSource

Constructors

IfaceNumTyLit Integer 
IfaceStrTyLit FastString 

Instances

type IfaceContext = [IfacePredType]Source

data IfaceBndrSource

Constructors

IfaceIdBndr !IfaceIdBndr 
IfaceTvBndr !IfaceTvBndr 

Instances

type IfaceTvBndr = (IfLclName, IfaceKind)Source

type IfaceIdBndr = (IfLclName, IfaceType)Source

toIfaceType :: Type -> IfaceTypeSource

toIfaceKind :: Type -> IfaceTypeSource

toIfaceContext :: ThetaType -> IfaceContextSource

toIfaceBndr :: Var -> IfaceBndrSource

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

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

toIfaceTyCon :: TyCon -> IfaceTyConSource

toIfaceTyCon_name :: Name -> IfaceTyConSource

toIfaceCoercion :: Coercion -> IfaceCoercionSource

pprIfaceType :: IfaceType -> SDocSource

pprParendIfaceType :: IfaceType -> SDocSource

pprIfaceContext :: Outputable a => [a] -> SDocSource

pprIfaceIdBndr :: (IfLclName, 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 :: Outputable a => [IfaceTvBndr] -> [a] -> SDoc -> SDocSource

pprIfaceCoercion :: IfaceCoercion -> SDocSource

pprParendIfaceCoercion :: IfaceCoercion -> SDocSource