Moduleghc-10.0.0.20260917GHC2024

GHC.HsToCore.Binds

Synopsis

valuedsTopLHsBinds :: LHsBinds GhcTc -> DsM (OrdList (Id, CoreExpr))

Desugar top level binds, strict binds are treated like normal binds since there is no good time to force before first usage.

valuedsLHsBinds :: LHsBinds GhcTc -> DsM ([Id], [(Id, CoreExpr)])

Desugar all other kind of bindings, Ids of strict binds are returned to later be forced in the binding group body, see Note [Desugar Strict binds]

Invariant: the desugared bindings are returned in dependency order, see Note [Return non-recursive bindings in dependency order]

valuedsImpSpecs :: [LTcSpecPrag] -> DsM (OrdList (Id, CoreExpr), [CoreRule])

valuedecomposeRuleLhs

valuedsHsWrapper :: HsWrapper -> ((CoreExpr -> CoreExpr) -> DsM a) -> DsM a

valuedsHsWrappers :: [HsWrapper] -> ([CoreExpr -> CoreExpr] -> DsM a) -> DsM a

valuedsEvTerm :: EvTerm -> DsM CoreExpr

valuedsTcEvBinds :: TcEvBinds -> ([CoreBind] -> DsM a) -> DsM a

valuedsTcEvBinds_s :: [TcEvBinds] -> ([CoreBind] -> DsM a) -> DsM a

valuedsEvBinds :: Bag EvBind -> ([CoreBind] -> DsM a) -> DsM a

valuedsWarnOrphanRule :: CoreRule -> DsM ()