diff options
author | Profpatsch <mail@profpatsch.de> | 2024-03-16T12·21+0100 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-03-16T22·36+0000 |
commit | 803d726ed509f86ed5b60ed2335292e6a4b0aec5 (patch) | |
tree | 883574650bad393789978ccc48173f188e928b6c /users/Profpatsch | |
parent | 7e63addad38c5bce07febe4146687a4b0b4f792e (diff) |
chore(users/Profpatsch): remove more really dumb hlints r/7707
Change-Id: Id7ca7e5716aba619bfe178c5c0831f2aa16c0257 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11163 Autosubmit: Profpatsch <mail@profpatsch.de> Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/Profpatsch')
-rw-r--r-- | users/Profpatsch/.hlint.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/users/Profpatsch/.hlint.yaml b/users/Profpatsch/.hlint.yaml index 09e6f2c95401..7c29bf6f4159 100644 --- a/users/Profpatsch/.hlint.yaml +++ b/users/Profpatsch/.hlint.yaml @@ -33,6 +33,7 @@ - ignore: { name: Use <$> } - ignore: { name: Use tuple-section } - ignore: { name: Use forM_ } +- ignore: { name: Functor law } # fst and snd are usually a code smell and should be explicit matches, _naming the ignored side. - ignore: { name: Use fst } - ignore: { name: Use snd } @@ -65,6 +66,7 @@ - ignore: { name: Fuse foldr/map } - ignore: { name: Fuse traverse/map } - ignore: { name: Fuse traverse_/map } +- ignore: { name: Fuse traverse/<$> } # this is silly, why would I use a special function if I can just (heh) `== Nothing` - ignore: { name: Use isNothing } |