Moduleghc-9.14.1GHC2021

GHC.CoreToIface

Functions for converting Core things to interface file things.

37 values

Packageghc-9.14.1
Exports37
LanguageGHC2021
LicenceBSD-3-Clause
SourceCoreToIface.hs

Binders

8 declarations

valuetoIfaceTvBndr :: TyVar -> IfaceTvBndr

valuetoIfaceTvBndrs :: [TyVar] -> [IfaceTvBndr]

valuetoIfaceIdBndr :: Id -> IfaceIdBndr

valuetoIfaceBndr :: Var -> IfaceBndr

valuetoIfaceTopBndr :: Id -> IfaceTopBndrInfo

valuetoIfaceForAllBndr :: VarBndr TyCoVar flag -> VarBndr IfaceBndr flag

valuetoIfaceForAllBndrs :: [VarBndr TyCoVar vis] -> [VarBndr IfaceBndr vis]

valuetoIfaceTyVar :: TyVar -> IfLclName

Types

7 declarations

valuetoIfaceType :: Type -> IfaceType

valuetoIfaceTypeX :: VarSet -> Type -> IfaceType

valuetoIfaceKind :: Type -> IfaceType

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

valuetoIfaceTyCon :: TyCon -> IfaceTyCon

valuetoIfaceTyCon_name :: Name -> IfaceTyCon

valuetoIfaceTyLit :: TyLit -> IfaceTyLit

Tidying types

3 declarations

valuetidyToIfaceType :: TidyEnv -> Type -> IfaceType

valuetidyToIfaceContext :: TidyEnv -> ThetaType -> IfaceContext

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

Coercions

2 declarations

valuetoIfaceCoercion :: Coercion -> IfaceCoercion

valuetoIfaceCoercionX :: VarSet -> Coercion -> IfaceCoercion

Pattern synonyms

1 declaration

valuepatSynToIfaceDecl :: PatSyn -> IfaceDecl

Expressions

14 declarations

valuetoIfaceExpr :: CoreExpr -> IfaceExpr

valuetoIfaceBang :: TidyEnv -> HsImplBang -> IfaceBang

valuetoIfaceSrcBang :: HsSrcBang -> IfaceSrcBang

valuetoIfaceLetBndr :: Id -> IfaceLetBndr

valuetoIfaceIdDetails :: IdDetails -> IfaceIdDetails

valuetoIfaceIdInfo :: IdInfo -> IfaceIdInfo

valuetoIfUnfolding :: Bool -> Unfolding -> Maybe IfaceInfoItem

valuetoIfaceTickish :: CoreTickish -> IfaceTickish

valuetoIfaceBind :: Bind Id -> IfaceBinding IfaceLetBndr

valuetoIfaceTopBind :: Bind Id -> IfaceBindingX IfaceMaybeRhs IfaceTopBndrInfo

valuetoIfaceAlt :: CoreAlt -> IfaceAlt

valuetoIfaceCon :: AltCon -> IfaceConAlt

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

valuetoIfaceVar :: Id -> IfaceExpr

Other stuff

2 declarations

valuetoIfaceLFInfo :: Name -> LambdaFormInfo -> IfaceLFInfo

valuetoIfaceBooleanFormula :: BooleanFormula GhcRn -> IfaceBooleanFormula