GHC.HsToCore.GuardedRHSs

ghc-9.0.0.20200925: The GHC API

Safe Haskell | None
Language | Haskell2010

GHC.HsToCore.GuardedRHSs

# Documentation

dsGuarded :: GRHSs GhcTc (LHsExpr GhcTc) -> Type -> Maybe (NonEmpty Deltas) -> DsM CoreExpr Source #

dsGRHSs Source #

Arguments

:: HsMatchContext GhcRn |
-> GRHSs GhcTc (LHsExpr GhcTc) | Guarded RHSs
-> Type | Type of RHS
-> Maybe (NonEmpty Deltas) | Refined pattern match checking models, one for each GRHS. Defaults to `initDeltas` if `Nothing`.
-> DsM (MatchResult CoreExpr) |

isTrueLHsExpr :: LHsExpr GhcTc -> Maybe (CoreExpr -> DsM CoreExpr) Source #