Safe Haskell | None |
---|---|
Language | Haskell98 |
IfaceType
Documentation
type IfLclName = FastString
data IfaceType
Constructors
IfaceTyVar IfLclName | |
IfaceAppTy IfaceType IfaceType | |
IfaceFunTy IfaceType IfaceType | |
IfaceForAllTy IfaceTvBndr IfaceType | |
IfaceTyConApp IfaceTyCon [IfaceType] | |
IfaceLitTy IfaceTyLit |
Instances
type IfacePredType = IfaceType
data IfaceCoercion
Constructors
Instances
type IfaceContext = [IfacePredType]
type IfaceTvBndr = (IfLclName, IfaceKind)
type IfaceIdBndr = (IfLclName, IfaceType)
toIfaceType :: Type -> IfaceType
toIfaceKind :: Type -> IfaceType
toIfaceBndr :: Var -> IfaceBndr
toIfaceIdBndr :: Id -> (IfLclName, IfaceType)
toIfaceTvBndrs :: [TyVar] -> [(IfLclName, IfaceType)]
toIfaceTyCon :: TyCon -> IfaceTyCon
toIfaceTyCon_name :: Name -> IfaceTyCon
pprIfaceType :: IfaceType -> SDoc
pprParendIfaceType :: IfaceType -> SDoc
pprIfaceContext :: Outputable a => [a] -> SDoc
pprIfaceContextArr :: Outputable a => [a] -> SDoc
pprIfaceIdBndr :: (IfLclName, IfaceType) -> SDoc
pprIfaceTvBndr :: IfaceTvBndr -> SDoc
pprIfaceTvBndrs :: [IfaceTvBndr] -> SDoc
pprIfaceBndrs :: [IfaceBndr] -> SDoc
tYCON_PREC :: Int
maybeParen :: Int -> Int -> SDoc -> SDoc
pprIfaceForAllPart :: Outputable a => [IfaceTvBndr] -> [a] -> SDoc -> SDoc