GHC.HsToCore.GuardedRHSs

Documentation

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

dsGRHSs

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)