.hlint.yaml

# HLint configuration file
# https://github.com/ndmitchell/hlint#readme

# Silence specific warnings
- ignore:
    name: "Use curry"
    within:
      - Agda.TypeChecking.Reduce.reduceWithBlocker
- ignore:
    name: "Use fmap"
    within:
      - Agda.TypeChecking.Rules.Application.checkPrimTrans
      - Agda.TypeChecking.Primitive.Cubical.primTrans'
      - Agda.TypeChecking.Primitive.Cubical.primComp
      - Agda.Syntax.Concrete.Operators.parsePat

# Warnings currently triggered by your code
- ignore: {name: "Avoid lambda"} # 49 hints
- ignore: {name: "Avoid lambda using `infix`"} # 13 hints
- ignore: {name: "Eta reduce"} # 183 hints
- ignore: {name: "Evaluate"} # 16 hints
- ignore: {name: "Functor law"} # 21 hints
- ignore: {name: "Fuse foldMap/<$>"} # 2 hints
- ignore: {name: "Fuse foldr/map"} # 8 hints
- ignore: {name: "Fuse mapM/map"} # 2 hints
- ignore: {name: "Fuse traverse/<$>"} # 2 hints
- ignore: {name: "Hoist not"} # 18 hints
- ignore: {name: "Move guards forward"} # 2 hints
- ignore: {name: "Redundant $"} # 638 hints
- ignore: {name: "Redundant <$>"} # 51 hints
- ignore: {name: "Redundant <&>"} # 3 hints
- ignore: {name: "Redundant True guards"} # 1 hint
- ignore: {name: "Redundant bang pattern"} # 1 hint
- ignore: {name: "Redundant bracket"} # 487 hints
- ignore: {name: "Redundant case"} # 1 hint
- ignore: {name: "Redundant flip"} # 2 hints
- ignore: {name: "Redundant fmap"} # 1 hint
- ignore: {name: "Redundant guard"} # 5 hints
- ignore: {name: "Redundant id"} # 1 hint
- ignore: {name: "Redundant if"} # 2 hints
- ignore: {name: "Redundant irrefutable pattern"} # 36 hints
- ignore: {name: "Redundant lambda"} # 46 hints
- ignore: {name: "Redundant map"} # 2 hints
- ignore: {name: "Redundant multi-way if"} # 17 hints
- ignore: {name: "Redundant return"} # 1 hint
- ignore: {name: "Redundant section"} # 2 hints
- ignore: {name: "Replace case with fromMaybe"} # 3 hints
- ignore: {name: "Replace case with maybe"} # 3 hints
- ignore: {name: "Unused LANGUAGE pragma"} # 210 hints
- ignore: {name: "Use &&"} # 4 hints
- ignore: {name: "Use ++"} # 11 hints
- ignore: {name: "Use /="} # 1 hint
- ignore: {name: "Use :"} # 17 hints
- ignore: {name: "Use <$"} # 4 hints
- ignore: {name: "Use <$>"} # 19 hints
- ignore: {name: "Use <&>"} # 1 hint
- ignore: {name: "Use <=<"} # 1 hint
- ignore: {name: "Use =<<"} # 1 hint
- ignore: {name: "Use >"} # 1 hint
- ignore: {name: "Use Just"} # 2 hints
- ignore: {name: "Use LANGUAGE pragmas"} # 7 hints
- ignore: {name: "Use all"} # 1 hint
- ignore: {name: "Use camelCase"} # 72 hints
- ignore: {name: "Use concatMap"} # 2 hints
- ignore: {name: "Use const"} # 79 hints
- ignore: {name: "Use empty"} # 1 hint
- ignore: {name: "Use fewer imports"} # 6 hints
- ignore: {name: "Use fmap"} # 5 hints
- ignore: {name: "Use fold"} # 1 hint
- ignore: {name: "Use foldMap"} # 2 hints
- ignore: {name: "Use fromMaybe"} # 1 hint
- ignore: {name: "Use id"} # 2 hints
- ignore: {name: "Use intercalate"} # 1 hint
- ignore: {name: "Use isNothing"} # 2 hints
- ignore: {name: "Use join"} # 2 hints
- ignore: {name: "Use lambda-case"} # 11 hints
- ignore: {name: "Use list literal"} # 12 hints
- ignore: {name: "Use list literal pattern"} # 1 hint
- ignore: {name: "Use map once"} # 1 hint
- ignore: {name: "Use map with tuple-section"} # 4 hints
- ignore: {name: "Use mapAndUnzipM"} # 1 hint
- ignore: {name: "Use mapMaybe"} # 3 hints
- ignore: {name: "Use maximum"} # 1 hint
- ignore: {name: "Use negate"} # 1 hint
- ignore: {name: "Use newtype instead of data"} # 30 hints
- ignore: {name: "Use null"} # 5 hints
- ignore: {name: "Use otherwise"} # 1 hint
- ignore: {name: "Use record patterns"} # 90 hints
- ignore: {name: "Use second"} # 5 hints
- ignore: {name: "Use section"} # 20 hints
- ignore: {name: "Use sequenceA"} # 3 hints
- ignore: {name: "Use uncurry"} # 1 hint
- ignore: {name: "Use unless"} # 4 hints
- ignore: {name: "Use void"} # 13 hints
- ignore: {name: "Use zipWith"} # 2 hints
- ignore: {name: "Use ||"} # 7 hints

# Specify additional command line arguments
- arguments:
    - --ignore-glob=notes/papers/iird/paper.lhs
    - --ignore-glob=notes/style/haskell-style.lhs
    - --ignore-glob=notes/papers/implicit/examples.lhs
    - -XBangPatterns
    - -XBlockArguments
    - -XConstraintKinds
    - -XDefaultSignatures
    - -XDeriveFoldable
    - -XDeriveFunctor
    - -XDeriveGeneric
    - -XDeriveTraversable
    - -XDerivingStrategies
    - -XExistentialQuantification
    - -XFlexibleContexts
    - -XFlexibleInstances
    - -XFunctionalDependencies
    - -XGADTs
    - -XGeneralizedNewtypeDeriving
    - -XInstanceSigs
    - -XLambdaCase
    - -XMultiParamTypeClasses
    - -XMultiWayIf
    - -XNamedFieldPuns
    - -XOverloadedStrings
    - -XPatternSynonyms
    - -XRankNTypes
    - -XRecordWildCards
    - -XScopedTypeVariables
    - -XStandaloneDeriving
    - -XTupleSections
    - -XTypeFamilies
    - -XTypeOperators
    - -XTypeSynonymInstances
    - -XViewPatterns

# Add custom hints for this project
- hint:
    lhs: flip map
    rhs: for
    name: Replace flip map with for
    note: Prefer Agda.Utils.Functor.for over Data.Traversable.for