Safe Haskell	None

IfaceType

Documentation

type IfExtName = Name Source

type IfLclName = FastString Source

type IfacePredType = IfaceType Source

type IfaceKind = IfaceType Source

newtype IfaceTyCon Source

Constructors

IfaceTc
Fields ifaceTyConName :: IfExtName

Instances

Outputable IfaceTyCon
Binary IfaceTyCon

data IfaceCoCon Source

Constructors

IfaceCoAx IfExtName
IfaceReflCo
IfaceUnsafeCo
IfaceSymCo
IfaceTransCo
IfaceInstCo
IfaceNthCo Int

Instances

Outputable IfaceCoCon
Binary IfaceCoCon

data IfaceTyLit Source

Constructors

IfaceNumTyLit Integer
IfaceStrTyLit FastString

Instances

Outputable IfaceTyLit
Binary IfaceTyLit

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

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 :: IfaceType -> SDoc Source

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 :: Int Source

tYCON_PREC :: Int Source

noParens :: SDoc -> SDoc Source

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

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

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