diff options
| author | Profpatsch <mail@profpatsch.de> | 2024-05-16T19·07+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-06-03T14·55+0000 |
| commit | bd5c49c23a9d5dd93a08bf8d7411306790b512d5 (patch) | |
| tree | 9f04c909e1dfbbfa9ffbcca27f419d08d06adccc /users | |
| parent | 87d806c20f3a831330c828beba980a1f01f56e99 (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>
Diffstat (limited to 'users')
| -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 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 } |