mirror of
https://github.com/GaloisInc/what4.git
synced 2024-12-01 20:23:10 +03:00
74 lines
2.3 KiB
YAML
74 lines
2.3 KiB
YAML
# HLint configuration file
|
|
# https://github.com/ndmitchell/hlint
|
|
##########################
|
|
|
|
- modules:
|
|
- {name: [Data.Set, Data.HashSet], as: Set} # if you import Data.Set qualified, it must be as 'Set'
|
|
- {name: [Data.List], as: List}
|
|
- {name: [Data.Sequence], as: Seq}
|
|
|
|
# Add custom hints for this project
|
|
#
|
|
# Will suggest replacing "wibbleMany [myvar]" with "wibbleOne myvar"
|
|
# - error: {lhs: "wibbleMany [x]", rhs: wibbleOne x}
|
|
|
|
# TODO: specialize these to the modules they are needed
|
|
- ignore: {name: Avoid lambda using `infix`}
|
|
- ignore: {name: Avoid lambda}
|
|
- ignore: {name: 'Use :'}
|
|
- ignore: {name: Avoid restricted qualification}
|
|
- ignore: {name: Eta reduce}
|
|
- ignore: {name: Functor law}
|
|
- ignore: {name: Move brackets to avoid $}
|
|
- ignore: {name: Parse error}
|
|
- ignore: {name: Reduce duplication}
|
|
- ignore: {name: Redundant $}
|
|
- ignore: {name: Redundant ==}
|
|
- ignore: {name: Redundant as}
|
|
- ignore: {name: Redundant bracket}
|
|
- ignore: {name: Redundant case}
|
|
- ignore: {name: Redundant do}
|
|
- ignore: {name: Redundant flip}
|
|
- ignore: {name: Redundant guard}
|
|
- ignore: {name: Redundant lambda}
|
|
- ignore: {name: Redundant return}
|
|
- ignore: {name: Unused LANGUAGE pragma}
|
|
- ignore: {name: Use $>}
|
|
- ignore: {name: Use &&}
|
|
- ignore: {name: Use ++}
|
|
- ignore: {name: Use .}
|
|
- ignore: {name: Use <$>}
|
|
- ignore: {name: Use <=<}
|
|
- ignore: {name: Use =<<}
|
|
- ignore: {name: Use ==}
|
|
- ignore: {name: Use >=>}
|
|
- ignore: {name: Use String}
|
|
- ignore: {name: Use asks}
|
|
- ignore: {name: Use camelCase}
|
|
- ignore: {name: Use const}
|
|
- ignore: {name: Use fewer imports}
|
|
- ignore: {name: Use fmap}
|
|
- ignore: {name: Use forM_}
|
|
- ignore: {name: Use fromMaybe}
|
|
- ignore: {name: Use gets}
|
|
- ignore: {name: Use guards}
|
|
- ignore: {name: Use hPrint}
|
|
- ignore: {name: Use if}
|
|
- ignore: {name: Use intercalate}
|
|
- ignore: {name: Use isNothing}
|
|
- ignore: {name: Use lambda-case}
|
|
- ignore: {name: Use list comprehension}
|
|
- ignore: {name: Use maybe}
|
|
- ignore: {name: Use newtype instead of data}
|
|
- ignore: {name: Use otherwise}
|
|
- ignore: {name: Use print}
|
|
- ignore: {name: Use record patterns}
|
|
- ignore: {name: Use section}
|
|
- ignore: {name: Use sortOn}
|
|
- ignore: {name: Use tuple-section}
|
|
- ignore: {name: Use uncurry}
|
|
- ignore: {name: Use unless}
|
|
- ignore: {name: Use unwords}
|
|
- ignore: {name: Use void}
|
|
- ignore: {name: Use when}
|