GHC.HsToCore.GuardedRHSs
dsGuarded :: GRHSs GhcTc (LHsExpr GhcTc) -> Type -> NonEmpty Nablas -> DsM CoreExpr Source #
dsGRHSs Source #
Arguments
Guarded RHSs
Type of RHS
Refined pattern match checking models, one for the pattern part and one for each GRHS.
isTrueLHsExpr :: LHsExpr GhcTc -> Maybe (CoreExpr -> DsM CoreExpr) Source #