diff --git a/.hlint.yaml b/.hlint.yaml index 2e8ca45f..e4536226 100644 --- 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 +