about summary refs log tree commit diff
path: root/users/Profpatsch
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2024-03-16T12·21+0100
committerclbot <clbot@tvl.fyi>2024-03-16T22·36+0000
commit803d726ed509f86ed5b60ed2335292e6a4b0aec5 (patch)
tree883574650bad393789978ccc48173f188e928b6c /users/Profpatsch
parent7e63addad38c5bce07febe4146687a4b0b4f792e (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.yaml2
1 files changed, 2 insertions, 0 deletions
diff --git a/users/Profpatsch/.hlint.yaml b/users/Profpatsch/.hlint.yaml
index 09e6f2c954..7c29bf6f41 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 }