hlint: add join rules

2024-09-17 09:47:27 +03:00 · 2021-10-29 00:09:46 +03:00 · 2021-10-29 00:09:46 +03:00 · 0093609c1c
commit 0093609c1c
parent 4aba5c97c3
1 changed files with 20 additions and 0 deletions
--- a/.hlint.yaml
+++ b/.hlint.yaml
@ -2752,3 +2752,23 @@
    note: "Use `one`"
    rhs: one x

+- hint:
+    lhs: "join . fmap join"
+    note: "Monad law"
+    rhs: join . join
+
+- hint:
+    lhs: "join . fmap pure"
+    note: "Monad law"
+    rhs: id
+
+- hint:
+    lhs: "join . pure"
+    note: "Monad law"
+    rhs: id
+
+- hint:
+    lhs: "join . (f <<$>>)"
+    note: "Monad law"
+    rhs: fmap f . join
+