ToIface (signature^[?])

Contents

• Binders
• Types
• Tidying types
• Coercions
• Pattern synonyms
• Expressions

Description

Synopsis

• toIfaceTvBndr :: TyVar -> IfaceTvBndr
• toIfaceTvBndrs :: [TyVar] -> [IfaceTvBndr]
• toIfaceIdBndr :: Id -> (IfLclName, IfaceType)
• toIfaceBndr :: Var -> IfaceBndr
• toIfaceForAllBndr :: TyVarBinder -> IfaceForAllBndr
• toIfaceTyVarBinders :: [TyVarBndr TyVar vis] -> [TyVarBndr IfaceTvBndr vis]
• toIfaceTyVar :: TyVar -> FastString
• toIfaceType :: Type -> IfaceType
• toIfaceTypeX :: VarSet -> Type -> IfaceType
• toIfaceKind :: Type -> IfaceType
• toIfaceTcArgs :: TyCon -> [Type] -> IfaceTcArgs
• toIfaceTyCon :: TyCon -> IfaceTyCon
• toIfaceTyCon_name :: Name -> IfaceTyCon
• toIfaceTyLit :: TyLit -> IfaceTyLit
• tidyToIfaceType :: TidyEnv -> Type -> IfaceType
• tidyToIfaceContext :: TidyEnv -> ThetaType -> IfaceContext
• tidyToIfaceTcArgs :: TidyEnv -> TyCon -> [Type] -> IfaceTcArgs
• toIfaceCoercion :: Coercion -> IfaceCoercion
• patSynToIfaceDecl :: PatSyn -> IfaceDecl
• toIfaceExpr :: CoreExpr -> IfaceExpr
• toIfaceBang :: TidyEnv -> HsImplBang -> IfaceBang
• toIfaceSrcBang :: HsSrcBang -> IfaceSrcBang
• toIfaceLetBndr :: Id -> IfaceLetBndr
• toIfaceIdDetails :: IdDetails -> IfaceIdDetails
• toIfaceIdInfo :: IdInfo -> IfaceIdInfo
• toIfUnfolding :: Bool -> Unfolding -> Maybe IfaceInfoItem
• toIfaceOneShot :: Id -> IfaceOneShot
• toIfaceTickish :: Tickish Id -> Maybe IfaceTickish
• toIfaceBind :: Bind Id -> IfaceBinding
• toIfaceAlt :: (AltCon, [Var], CoreExpr) -> (IfaceConAlt, [FastString], IfaceExpr)
• toIfaceCon :: AltCon -> IfaceConAlt
• toIfaceApp :: Expr CoreBndr -> [Arg CoreBndr] -> IfaceExpr
• toIfaceVar :: Id -> IfaceExpr

Binders

Types

Tidying types

Coercions

Pattern synonyms

Expressions