about summary refs log tree commit diff
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2024-05-16T19·07+0200
committerclbot <clbot@tvl.fyi>2024-06-03T14·55+0000
commitbd5c49c23a9d5dd93a08bf8d7411306790b512d5 (patch)
tree9f04c909e1dfbbfa9ffbcca27f419d08d06adccc
parent87d806c20f3a831330c828beba980a1f01f56e99 (diff)
chore(users/Profpatsch/.hlint.yaml): ignore Use maybe r/8202
Change-Id: I302b4b66b0c3a3646fb84afd0140bf0ef92e541d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11679
Autosubmit: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
Reviewed-by: Profpatsch <mail@profpatsch.de>
-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 f00f78c5259d..12b7c61b7094 100644
--- a/users/Profpatsch/.hlint.yaml
+++ b/users/Profpatsch/.hlint.yaml
@@ -34,6 +34,8 @@
 - ignore: { name: Use tuple-section }
 - ignore: { name: Use forM_ }
 - ignore: { name: Functor law }
+- ignore: { name: Use maybe }
+
 # 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 }