ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.HsToCore.Binds

Synopsis

Documentation

dsTopLHsBinds :: LHsBinds GhcTc -> DsM (OrdList (Id, CoreExpr)) Source #

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

dsLHsBinds :: LHsBinds GhcTc -> DsM ([Id], [(Id, CoreExpr)]) Source #

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]

dsEvBinds :: Bag EvBind -> ([CoreBind] -> DsM a) -> DsM a Source #