Merge pull request ndmitchell#1617 from ysangkok/applicative-rhs

Add hints for when 'x <*> y' could be 'y'
MercuryTechnologies · Oct 20, 2024 · 6035a13 · 6035a13
2 parents 8755462 + d5357af
commit 6035a13
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/data/hlint.yaml b/data/hlint.yaml
@@ -508,6 +508,12 @@
     - warn: {lhs: x <* return y, rhs: x}
     - warn: {lhs: pure x *> y, rhs: "y", name: Redundant *>}
     - warn: {lhs: return x *> y, rhs: "y", name: Redundant *>}
+    - warn: {lhs: "x <*> Nothing", rhs: "Nothing" }
+    - warn: {lhs: "x <*> First Nothing", rhs: "First Nothing" }
+    - warn: {lhs: "x <*> Last Nothing", rhs: "Last Nothing" }
+    - warn: {lhs: "x <*> Left a", rhs: "Left a" }
+    - warn: {lhs: "x <*> Ap []", rhs: "Ap []" }
+    - warn: {lhs: "x <*> []", rhs: "[]" }
 
     # MONAD