ghc-9.2.2: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.HsToCore.GuardedRHSs

Documentation

dsGRHSs Source #

Arguments

:: HsMatchContext GhcRn 
-> GRHSs GhcTc (LHsExpr GhcTc)

Guarded RHSs

-> Type

Type of RHS

-> NonEmpty Nablas

Refined pattern match checking models, one for the pattern part and one for each GRHS.

-> DsM (MatchResult CoreExpr)