GHC.CoreToIface · ghc-9.14.1 · horizon-platform

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

#