| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.HsToCore.GuardedRHSs
Documentation
dsGuarded :: GRHSs GhcTc (LHsExpr GhcTc) -> Type -> Maybe (NonEmpty Deltas) -> DsM CoreExpr 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 |
| -> DsM (MatchResult CoreExpr) |
isTrueLHsExpr :: LHsExpr GhcTc -> Maybe (CoreExpr -> DsM CoreExpr) Source #