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