GHC.HsToCore.Binds

Documentation

dsTopLHsBinds :: 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.

dsLHsBinds :: 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]

decomposeRuleLhs :: DynFlags -> [Var] -> CoreExpr -> VarSet -> Either DsMessage ([Var], Id, [CoreExpr])

dsSpec :: Maybe CoreExpr -> Located TcSpecPrag -> DsM (Maybe (OrdList (Id, CoreExpr), CoreRule))

dsHsWrapper :: HsWrapper -> DsM (CoreExpr -> CoreExpr)

dsEvTerm :: EvTerm -> DsM CoreExpr

dsTcEvBinds :: TcEvBinds -> DsM [CoreBind]

dsTcEvBinds_s :: [TcEvBinds] -> DsM [CoreBind]

dsEvBinds :: Bag EvBind -> DsM [CoreBind]

dsWarnOrphanRule :: CoreRule -> DsM ()