floskell.toml

# This file contains repository-specific configuration options for the Floskell
# formatter. This file is used to generate the `floskell.json` file. It should
# be merged with the template configuration file
# <https://github.com/FreeProving/guidelines/blob/main/floskell.toml>
# as described in the comments of the template.

extensions = [
    # The following extensions are enabled by default in the `.cabal` file.
    "DataKinds",
    "FlexibleContexts",
    "GADTs",
    "PolyKinds",
    "TypeOperators"
  ]

fixities = [
    # Infix operators from `System.FilePath`.
    "infixr 5 </>",
    "infixr 7 <.>",

    # Infix operators from `Data.Composition`.
    "infixr 8 .:",

    # Custom infix operators from `Data.List`.
    'infix 5 \\'
  ]

# All non-`Main` modules in this repository use the `HST` prefix. They should
# be sorted into their own group.
[[formatting.options.sort-imports]]
  prefixes = ["HST"]
  order    = "sorted"