diff --git a/.hlint.yaml b/.hlint.yaml new file mode 100644 index 00000000..6fecf6af --- /dev/null +++ b/.hlint.yaml @@ -0,0 +1,24 @@ +# HLint configuration file +# https://github.com/ndmitchell/hlint +########################## + +# This file contains a template configuration file, which is typically +# placed as .hlint.yaml in the root of your project + +# Specify additional command line arguments + +- arguments: + [ "--cpp-include=srcinc" + , "--language=GADTs" + , "--language=LambdaCase" + , "--language=MultiWayIf" + , "--language=KindSignatures" + , "--cross" + , "--threads=0" + ] + +- ignore: {name: "Use camelCase"} +- ignore: {name: "Redundant as"} +- ignore: {name: "Redundant do"} +- ignore: {name: "Redundant return"} +- ignore: {name: "Redundant guard", whithin: "lrdrNameToTextAnn"}