ghc-7.7.20130829: The GHC API

Safe HaskellNone

IfaceType

Documentation

type IfExtName = NameSource

type IfLclName = FastStringSource

data IfaceType Source

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

Constructors

IfaceTc 

Fields

ifaceTyConName :: IfExtName
 

Instances

data IfaceCoercion Source

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 

Instances

data IfaceTyLit Source

Constructors

IfaceNumTyLit Integer 
IfaceStrTyLit FastString 

Instances

type IfaceContext = [IfacePredType]Source

data IfaceBndr Source

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

pprIfaceTvBndrsRoles :: [IfaceTvBndr] -> [Role] -> 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