GHC.CoreToIface

Functions for converting Core things to interface file things.

Binders

toIfaceTvBndr :: TyVar -> IfaceTvBndr

toIfaceTvBndrs :: [TyVar] -> [IfaceTvBndr]

toIfaceIdBndr :: Id -> IfaceIdBndr

toIfaceBndr :: Var -> IfaceBndr

toIfaceForAllBndr :: VarBndr TyCoVar flag -> VarBndr IfaceBndr flag

toIfaceTyCoVarBinders :: [VarBndr Var vis] -> [VarBndr IfaceBndr vis]

toIfaceTyVar :: TyVar -> FastString

Types

toIfaceType :: Type -> IfaceType

toIfaceTypeX :: VarSet -> Type -> IfaceType

toIfaceKind :: Type -> IfaceType

toIfaceTcArgs :: TyCon -> [Type] -> IfaceAppArgs

toIfaceTyCon :: TyCon -> IfaceTyCon

toIfaceTyCon_name :: Name -> IfaceTyCon

toIfaceTyLit :: TyLit -> IfaceTyLit

Tidying types

tidyToIfaceType :: TidyEnv -> Type -> IfaceType

tidyToIfaceContext :: TidyEnv -> ThetaType -> IfaceContext

tidyToIfaceTcArgs :: TidyEnv -> TyCon -> [Type] -> IfaceAppArgs

Coercions

toIfaceCoercion :: Coercion -> IfaceCoercion

toIfaceCoercionX :: VarSet -> Coercion -> IfaceCoercion

Pattern synonyms

patSynToIfaceDecl :: PatSyn -> IfaceDecl

Expressions

toIfaceExpr :: CoreExpr -> IfaceExpr

toIfaceBang :: TidyEnv -> HsImplBang -> IfaceBang

toIfaceSrcBang :: HsSrcBang -> IfaceSrcBang

toIfaceLetBndr :: Id -> IfaceLetBndr

toIfaceIdDetails :: IdDetails -> IfaceIdDetails

toIfaceIdInfo :: IdInfo -> IfaceIdInfo

toIfUnfolding :: Bool -> Unfolding -> Maybe IfaceInfoItem

toIfaceTickish :: CoreTickish -> Maybe IfaceTickish

toIfaceBind :: Bind Id -> IfaceBinding

toIfaceAlt :: CoreAlt -> IfaceAlt

toIfaceCon :: AltCon -> IfaceConAlt

toIfaceApp :: Expr CoreBndr -> [Arg CoreBndr] -> IfaceExpr

toIfaceVar :: Id -> IfaceExpr

Other stuff

toIfaceLFInfo :: Name -> LambdaFormInfo -> IfaceLFInfo