cabal-version: 1.24 -- This file has been generated from package.yaml by hpack version 0.37.0. -- -- see: https://github.com/sol/hpack name: eo-phi-normalizer version: 3.2.0 synopsis: Command line normalizer of 𝜑-calculus expressions. description: Please see the README on GitHub at homepage: https://github.com/objectionary/eo-phi-normalizer#readme bug-reports: https://github.com/objectionary/eo-phi-normalizer/issues author: EO/Polystat Development Team maintainer: nickolay.kudasov@gmail.com copyright: 2023-2024 EO/Polystat Development Team license: BSD3 license-file: LICENSE build-type: Custom extra-source-files: README.md CHANGELOG.md grammar/EO/Phi/Syntax.cf report/main.js report/styles.css data/0.36.0/dependencies.md data/0.36.0/org/eolang/as-phi.phi data/0.36.0/org/eolang/bool.phi data/0.36.0/org/eolang/bytes.phi data/0.36.0/org/eolang/cage.phi data/0.36.0/org/eolang/cti.phi data/0.36.0/org/eolang/dataized.phi data/0.36.0/org/eolang/error.phi data/0.36.0/org/eolang/float.phi data/0.36.0/org/eolang/go.phi data/0.36.0/org/eolang/goto.phi data/0.36.0/org/eolang/heap.phi data/0.36.0/org/eolang/if.phi data/0.36.0/org/eolang/int.phi data/0.36.0/org/eolang/io/stdin.phi data/0.36.0/org/eolang/io/stdout.phi data/0.36.0/org/eolang/malloc.phi data/0.36.0/org/eolang/memory.phi data/0.36.0/org/eolang/nan.phi data/0.36.0/org/eolang/negative-infinity.phi data/0.36.0/org/eolang/nop.phi data/0.36.0/org/eolang/positive-infinity.phi data/0.36.0/org/eolang/ram.phi data/0.36.0/org/eolang/rust.phi data/0.36.0/org/eolang/seq.phi data/0.36.0/org/eolang/string.phi data/0.36.0/org/eolang/switch.phi data/0.36.0/org/eolang/try.phi data/0.36.0/org/eolang/tuple.phi data/0.36.0/org/eolang/while.phi data/0.37.0/dependencies.md data/0.37.0/org/eolang/as-phi.phi data/0.37.0/org/eolang/bytes.phi data/0.37.0/org/eolang/cage.phi data/0.37.0/org/eolang/cti.phi data/0.37.0/org/eolang/dataized.phi data/0.37.0/org/eolang/error.phi data/0.37.0/org/eolang/false.phi data/0.37.0/org/eolang/float.phi data/0.37.0/org/eolang/go.phi data/0.37.0/org/eolang/int.phi data/0.37.0/org/eolang/io/stdin.phi data/0.37.0/org/eolang/io/stdout.phi data/0.37.0/org/eolang/malloc.phi data/0.37.0/org/eolang/nan.phi data/0.37.0/org/eolang/negative-infinity.phi data/0.37.0/org/eolang/positive-infinity.phi data/0.37.0/org/eolang/rust.phi data/0.37.0/org/eolang/seq.phi data/0.37.0/org/eolang/string.phi data/0.37.0/org/eolang/switch.phi data/0.37.0/org/eolang/true.phi data/0.37.0/org/eolang/try.phi data/0.37.0/org/eolang/tuple.phi data/0.37.0/org/eolang/while.phi data/0.38.0/dependencies.md data/0.38.0/org/eolang/as-phi.phi data/0.38.0/org/eolang/bytes.phi data/0.38.0/org/eolang/cage.phi data/0.38.0/org/eolang/cti.phi data/0.38.0/org/eolang/dataized.phi data/0.38.0/org/eolang/error.phi data/0.38.0/org/eolang/false.phi data/0.38.0/org/eolang/float.phi data/0.38.0/org/eolang/go.phi data/0.38.0/org/eolang/int.phi data/0.38.0/org/eolang/io/stdin.phi data/0.38.0/org/eolang/io/stdout.phi data/0.38.0/org/eolang/malloc.phi data/0.38.0/org/eolang/nan.phi data/0.38.0/org/eolang/negative-infinity.phi data/0.38.0/org/eolang/positive-infinity.phi data/0.38.0/org/eolang/rust.phi data/0.38.0/org/eolang/seq.phi data/0.38.0/org/eolang/string.phi data/0.38.0/org/eolang/switch.phi data/0.38.0/org/eolang/true.phi data/0.38.0/org/eolang/try.phi data/0.38.0/org/eolang/tuple.phi data/0.38.0/org/eolang/while.phi data/0.38.4/dependencies.md data/0.38.4/org/eolang/as-phi.phi data/0.38.4/org/eolang/bytes.phi data/0.38.4/org/eolang/cage.phi data/0.38.4/org/eolang/cti.phi data/0.38.4/org/eolang/dataized.phi data/0.38.4/org/eolang/error.phi data/0.38.4/org/eolang/false.phi data/0.38.4/org/eolang/float.phi data/0.38.4/org/eolang/go.phi data/0.38.4/org/eolang/int.phi data/0.38.4/org/eolang/io/stdin.phi data/0.38.4/org/eolang/io/stdout.phi data/0.38.4/org/eolang/malloc.phi data/0.38.4/org/eolang/nan.phi data/0.38.4/org/eolang/negative-infinity.phi data/0.38.4/org/eolang/positive-infinity.phi data/0.38.4/org/eolang/rust.phi data/0.38.4/org/eolang/seq.phi data/0.38.4/org/eolang/string.phi data/0.38.4/org/eolang/switch.phi data/0.38.4/org/eolang/true.phi data/0.38.4/org/eolang/try.phi data/0.38.4/org/eolang/tuple.phi data/0.38.4/org/eolang/while.phi data/0.41.2/dependencies.md data/0.41.2/org/eolang/as-phi.phi data/0.41.2/org/eolang/bytes.phi data/0.41.2/org/eolang/cage.phi data/0.41.2/org/eolang/cti.phi data/0.41.2/org/eolang/dataized.phi data/0.41.2/org/eolang/error.phi data/0.41.2/org/eolang/false.phi data/0.41.2/org/eolang/fs/dir.phi data/0.41.2/org/eolang/fs/file.phi data/0.41.2/org/eolang/fs/path.phi data/0.41.2/org/eolang/fs/tmpdir.phi data/0.41.2/org/eolang/go.phi data/0.41.2/org/eolang/i16.phi data/0.41.2/org/eolang/i32.phi data/0.41.2/org/eolang/i64.phi data/0.41.2/org/eolang/io/bytes-as-input.phi data/0.41.2/org/eolang/io/console.phi data/0.41.2/org/eolang/io/dead-input.phi data/0.41.2/org/eolang/io/dead-output.phi data/0.41.2/org/eolang/io/input-length.phi data/0.41.2/org/eolang/io/malloc-as-output.phi data/0.41.2/org/eolang/io/stdin.phi data/0.41.2/org/eolang/io/stdout.phi data/0.41.2/org/eolang/io/tee-input.phi data/0.41.2/org/eolang/malloc.phi data/0.41.2/org/eolang/math/angle.phi data/0.41.2/org/eolang/math/e.phi data/0.41.2/org/eolang/math/integral.phi data/0.41.2/org/eolang/math/numbers.phi data/0.41.2/org/eolang/math/pi.phi data/0.41.2/org/eolang/math/random.phi data/0.41.2/org/eolang/math/real.phi data/0.41.2/org/eolang/nan.phi data/0.41.2/org/eolang/negative-infinity.phi data/0.41.2/org/eolang/net/socket.phi data/0.41.2/org/eolang/number.phi data/0.41.2/org/eolang/positive-infinity.phi data/0.41.2/org/eolang/rust.phi data/0.41.2/org/eolang/seq.phi data/0.41.2/org/eolang/string.phi data/0.41.2/org/eolang/structs/bytes-as-array.phi data/0.41.2/org/eolang/structs/hash-code-of.phi data/0.41.2/org/eolang/structs/list.phi data/0.41.2/org/eolang/structs/map.phi data/0.41.2/org/eolang/structs/range-of-ints.phi data/0.41.2/org/eolang/structs/range.phi data/0.41.2/org/eolang/structs/set.phi data/0.41.2/org/eolang/switch.phi data/0.41.2/org/eolang/sys/getenv.phi data/0.41.2/org/eolang/sys/line-separator.phi data/0.41.2/org/eolang/sys/os.phi data/0.41.2/org/eolang/sys/posix.phi data/0.41.2/org/eolang/sys/win32.phi data/0.41.2/org/eolang/true.phi data/0.41.2/org/eolang/try.phi data/0.41.2/org/eolang/tuple.phi data/0.41.2/org/eolang/txt/regex.phi data/0.41.2/org/eolang/txt/sprintf.phi data/0.41.2/org/eolang/txt/sscanf.phi data/0.41.2/org/eolang/txt/text.phi data/0.41.2/org/eolang/while.phi data/0.49.1/dependencies.md data/0.49.1/org/eolang/as-phi.phi data/0.49.1/org/eolang/bytes.phi data/0.49.1/org/eolang/cti.phi data/0.49.1/org/eolang/dataized.phi data/0.49.1/org/eolang/error.phi data/0.49.1/org/eolang/false.phi data/0.49.1/org/eolang/fs/dir.phi data/0.49.1/org/eolang/fs/file.phi data/0.49.1/org/eolang/fs/path.phi data/0.49.1/org/eolang/fs/tmpdir.phi data/0.49.1/org/eolang/go.phi data/0.49.1/org/eolang/i16.phi data/0.49.1/org/eolang/i32.phi data/0.49.1/org/eolang/i64.phi data/0.49.1/org/eolang/io/bytes-as-input.phi data/0.49.1/org/eolang/io/console.phi data/0.49.1/org/eolang/io/dead-input.phi data/0.49.1/org/eolang/io/dead-output.phi data/0.49.1/org/eolang/io/input-length.phi data/0.49.1/org/eolang/io/malloc-as-output.phi data/0.49.1/org/eolang/io/stdin.phi data/0.49.1/org/eolang/io/stdout.phi data/0.49.1/org/eolang/io/tee-input.phi data/0.49.1/org/eolang/malloc.phi data/0.49.1/org/eolang/math/angle.phi data/0.49.1/org/eolang/math/e.phi data/0.49.1/org/eolang/math/integral.phi data/0.49.1/org/eolang/math/numbers.phi data/0.49.1/org/eolang/math/pi.phi data/0.49.1/org/eolang/math/random.phi data/0.49.1/org/eolang/math/real.phi data/0.49.1/org/eolang/nan.phi data/0.49.1/org/eolang/negative-infinity.phi data/0.49.1/org/eolang/net/socket.phi data/0.49.1/org/eolang/number.phi data/0.49.1/org/eolang/positive-infinity.phi data/0.49.1/org/eolang/rust.phi data/0.49.1/org/eolang/seq.phi data/0.49.1/org/eolang/string.phi data/0.49.1/org/eolang/structs/bytes-as-array.phi data/0.49.1/org/eolang/structs/hash-code-of.phi data/0.49.1/org/eolang/structs/list.phi data/0.49.1/org/eolang/structs/map.phi data/0.49.1/org/eolang/structs/range-of-ints.phi data/0.49.1/org/eolang/structs/range.phi data/0.49.1/org/eolang/structs/set.phi data/0.49.1/org/eolang/switch.phi data/0.49.1/org/eolang/sys/getenv.phi data/0.49.1/org/eolang/sys/line-separator.phi data/0.49.1/org/eolang/sys/os.phi data/0.49.1/org/eolang/sys/posix.phi data/0.49.1/org/eolang/sys/win32.phi data/0.49.1/org/eolang/true.phi data/0.49.1/org/eolang/try.phi data/0.49.1/org/eolang/tuple.phi data/0.49.1/org/eolang/txt/regex.phi data/0.49.1/org/eolang/txt/sprintf.phi data/0.49.1/org/eolang/txt/sscanf.phi data/0.49.1/org/eolang/txt/text.phi data/0.49.1/org/eolang/while.phi data/0.49.3/dependencies.md data/0.49.3/org/eolang/as-phi.phi data/0.49.3/org/eolang/bytes.phi data/0.49.3/org/eolang/cti.phi data/0.49.3/org/eolang/dataized.phi data/0.49.3/org/eolang/error.phi data/0.49.3/org/eolang/false.phi data/0.49.3/org/eolang/fs/dir.phi data/0.49.3/org/eolang/fs/file.phi data/0.49.3/org/eolang/fs/path.phi data/0.49.3/org/eolang/fs/tmpdir.phi data/0.49.3/org/eolang/go.phi data/0.49.3/org/eolang/i16.phi data/0.49.3/org/eolang/i32.phi data/0.49.3/org/eolang/i64.phi data/0.49.3/org/eolang/io/bytes-as-input.phi data/0.49.3/org/eolang/io/console.phi data/0.49.3/org/eolang/io/dead-input.phi data/0.49.3/org/eolang/io/dead-output.phi data/0.49.3/org/eolang/io/input-length.phi data/0.49.3/org/eolang/io/malloc-as-output.phi data/0.49.3/org/eolang/io/stdin.phi data/0.49.3/org/eolang/io/stdout.phi data/0.49.3/org/eolang/io/tee-input.phi data/0.49.3/org/eolang/malloc.phi data/0.49.3/org/eolang/math/angle.phi data/0.49.3/org/eolang/math/e.phi data/0.49.3/org/eolang/math/integral.phi data/0.49.3/org/eolang/math/numbers.phi data/0.49.3/org/eolang/math/pi.phi data/0.49.3/org/eolang/math/random.phi data/0.49.3/org/eolang/math/real.phi data/0.49.3/org/eolang/nan.phi data/0.49.3/org/eolang/negative-infinity.phi data/0.49.3/org/eolang/net/socket.phi data/0.49.3/org/eolang/number.phi data/0.49.3/org/eolang/positive-infinity.phi data/0.49.3/org/eolang/seq.phi data/0.49.3/org/eolang/string.phi data/0.49.3/org/eolang/structs/bytes-as-array.phi data/0.49.3/org/eolang/structs/hash-code-of.phi data/0.49.3/org/eolang/structs/list.phi data/0.49.3/org/eolang/structs/map.phi data/0.49.3/org/eolang/structs/range-of-ints.phi data/0.49.3/org/eolang/structs/range.phi data/0.49.3/org/eolang/structs/set.phi data/0.49.3/org/eolang/switch.phi data/0.49.3/org/eolang/sys/getenv.phi data/0.49.3/org/eolang/sys/line-separator.phi data/0.49.3/org/eolang/sys/os.phi data/0.49.3/org/eolang/sys/posix.phi data/0.49.3/org/eolang/sys/win32.phi data/0.49.3/org/eolang/true.phi data/0.49.3/org/eolang/try.phi data/0.49.3/org/eolang/tuple.phi data/0.49.3/org/eolang/txt/regex.phi data/0.49.3/org/eolang/txt/sprintf.phi data/0.49.3/org/eolang/txt/sscanf.phi data/0.49.3/org/eolang/txt/text.phi data/0.49.3/org/eolang/while.phi data/0.49.4/dependencies.md data/0.49.4/org/eolang/bytes.phi data/0.49.4/org/eolang/cti.phi data/0.49.4/org/eolang/dataized.phi data/0.49.4/org/eolang/error.phi data/0.49.4/org/eolang/false.phi data/0.49.4/org/eolang/fs/dir.phi data/0.49.4/org/eolang/fs/file.phi data/0.49.4/org/eolang/fs/path.phi data/0.49.4/org/eolang/fs/tmpdir.phi data/0.49.4/org/eolang/go.phi data/0.49.4/org/eolang/i16.phi data/0.49.4/org/eolang/i32.phi data/0.49.4/org/eolang/i64.phi data/0.49.4/org/eolang/io/bytes-as-input.phi data/0.49.4/org/eolang/io/console.phi data/0.49.4/org/eolang/io/dead-input.phi data/0.49.4/org/eolang/io/dead-output.phi data/0.49.4/org/eolang/io/input-length.phi data/0.49.4/org/eolang/io/malloc-as-output.phi data/0.49.4/org/eolang/io/stdin.phi data/0.49.4/org/eolang/io/stdout.phi data/0.49.4/org/eolang/io/tee-input.phi data/0.49.4/org/eolang/malloc.phi data/0.49.4/org/eolang/math/angle.phi data/0.49.4/org/eolang/math/e.phi data/0.49.4/org/eolang/math/integral.phi data/0.49.4/org/eolang/math/numbers.phi data/0.49.4/org/eolang/math/pi.phi data/0.49.4/org/eolang/math/random.phi data/0.49.4/org/eolang/math/real.phi data/0.49.4/org/eolang/nan.phi data/0.49.4/org/eolang/negative-infinity.phi data/0.49.4/org/eolang/net/socket.phi data/0.49.4/org/eolang/number.phi data/0.49.4/org/eolang/positive-infinity.phi data/0.49.4/org/eolang/seq.phi data/0.49.4/org/eolang/string.phi data/0.49.4/org/eolang/structs/bytes-as-array.phi data/0.49.4/org/eolang/structs/hash-code-of.phi data/0.49.4/org/eolang/structs/list.phi data/0.49.4/org/eolang/structs/map.phi data/0.49.4/org/eolang/structs/range-of-ints.phi data/0.49.4/org/eolang/structs/range.phi data/0.49.4/org/eolang/structs/set.phi data/0.49.4/org/eolang/switch.phi data/0.49.4/org/eolang/sys/getenv.phi data/0.49.4/org/eolang/sys/line-separator.phi data/0.49.4/org/eolang/sys/os.phi data/0.49.4/org/eolang/sys/posix.phi data/0.49.4/org/eolang/sys/win32.phi data/0.49.4/org/eolang/true.phi data/0.49.4/org/eolang/try.phi data/0.49.4/org/eolang/tuple.phi data/0.49.4/org/eolang/txt/regex.phi data/0.49.4/org/eolang/txt/sprintf.phi data/0.49.4/org/eolang/txt/sscanf.phi data/0.49.4/org/eolang/txt/text.phi data/0.49.4/org/eolang/while.phi data/0.50.0/dependencies.md data/0.50.0/org/eolang/bytes.phi data/0.50.0/org/eolang/dataized.phi data/0.50.0/org/eolang/error.phi data/0.50.0/org/eolang/false.phi data/0.50.0/org/eolang/i16.phi data/0.50.0/org/eolang/i32.phi data/0.50.0/org/eolang/i64.phi data/0.50.0/org/eolang/io/dead-input.phi data/0.50.0/org/eolang/io/dead-output.phi data/0.50.0/org/eolang/nan.phi data/0.50.0/org/eolang/negative-infinity.phi data/0.50.0/org/eolang/number.phi data/0.50.0/org/eolang/positive-infinity.phi data/0.50.0/org/eolang/seq.phi data/0.50.0/org/eolang/string.phi data/0.50.0/org/eolang/true.phi data/0.50.0/org/eolang/try.phi data/0.50.0/org/eolang/tuple.phi data/0.50.0/org/eolang/txt/sprintf.phi data/0.50.0/org/eolang/while.phi test/eo/phi/confluence.yaml test/eo/phi/dataization.yaml test/eo/phi/from-eo/as-phi.yaml test/eo/phi/metrics.yaml test/eo/phi/rewriting.yaml test/eo/phi/rules/new.yaml test/eo/phi/rules/streams.yaml test/eo/phi/rules/yegor.yaml source-repository head type: git location: https://github.com/objectionary/eo-phi-normalizer custom-setup setup-depends: Cabal >=2.4.0.1 && <4.0 , PyF , base >=4.11.0.0 && <5.0 , bytestring , code-page , process >=1.6.3.0 , text , with-utf8 library exposed-modules: Language.EO.Locale Language.EO.Phi Language.EO.Phi.Dataize Language.EO.Phi.Dataize.Atoms Language.EO.Phi.Dataize.Context Language.EO.Phi.Dependencies Language.EO.Phi.Metrics.Collect Language.EO.Phi.Metrics.Data Language.EO.Phi.Normalize Language.EO.Phi.Pipeline.Config Language.EO.Phi.Pipeline.Dataize.PrintConfigs Language.EO.Phi.Pipeline.EOTests.Data Language.EO.Phi.Pipeline.EOTests.PrepareTests Language.EO.Phi.Preprocess Language.EO.Phi.Pretty Language.EO.Phi.Report.Data Language.EO.Phi.Report.Html Language.EO.Phi.Rules.Common Language.EO.Phi.Rules.Fast Language.EO.Phi.Rules.RunYegor Language.EO.Phi.Rules.Yaml Language.EO.Phi.Syntax Language.EO.Phi.Syntax.Abs Language.EO.Phi.Syntax.Lex Language.EO.Phi.Syntax.Par Language.EO.Phi.TH Language.EO.Phi.ToLaTeX Language.EO.Test.Yaml Language.EO.Test.YamlSpec other-modules: Paths_eo_phi_normalizer hs-source-dirs: src default-extensions: ImportQualifiedPost ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-missing-export-lists build-tools: alex >=3.2.4 , happy >=1.19.9 build-tool-depends: BNFC:bnfc >=2.9.4.1 build-depends: PyF , aeson , array >=0.5.5.0 , base >=4.7 && <5 , blaze-html , blaze-markup , bytestring , cereal , code-page , containers , directory , file-embed >=0.0.16.0 , filepath , generic-lens , hashable , hspec , hspec-core , lens , megaparsec , mtl , parser-combinators , prettyprinter , regex-compat , replace-megaparsec , scientific , template-haskell , text , text-manipulate , unordered-containers , with-utf8 , yaml default-language: Haskell2010 executable eo-phi-normalizer main-is: Main.hs other-modules: Paths_eo_phi_normalizer hs-source-dirs: app default-extensions: ImportQualifiedPost ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-missing-export-lists -threaded -rtsopts -with-rtsopts=-N build-tools: alex >=3.2.4 , happy >=1.19.9 build-tool-depends: BNFC:bnfc >=2.9.4.1 build-depends: PyF , aeson , aeson-pretty , array >=0.5.5.0 , base >=4.7 && <5 , blaze-html , blaze-markup , bytestring , cereal , code-page , containers , directory , eo-phi-normalizer , file-embed >=0.0.16.0 , filepath , generic-lens , hashable , hspec , hspec-core , lens , megaparsec , mtl , optparse-applicative , parser-combinators , prettyprinter , regex-compat , replace-megaparsec , scientific , template-haskell , text , text-manipulate , unordered-containers , with-utf8 , yaml default-language: Haskell2010 test-suite doctests type: exitcode-stdio-1.0 main-is: Main.hs other-modules: Language.EO.Locale Language.EO.Phi Language.EO.Phi.Dataize Language.EO.Phi.Dataize.Atoms Language.EO.Phi.Dataize.Context Language.EO.Phi.Dependencies Language.EO.Phi.Metrics.Collect Language.EO.Phi.Metrics.Data Language.EO.Phi.Normalize Language.EO.Phi.Pipeline.Config Language.EO.Phi.Pipeline.Dataize.PrintConfigs Language.EO.Phi.Pipeline.EOTests.Data Language.EO.Phi.Pipeline.EOTests.PrepareTests Language.EO.Phi.Preprocess Language.EO.Phi.Pretty Language.EO.Phi.Report.Data Language.EO.Phi.Report.Html Language.EO.Phi.Rules.Common Language.EO.Phi.Rules.Fast Language.EO.Phi.Rules.RunYegor Language.EO.Phi.Rules.Yaml Language.EO.Phi.Syntax Language.EO.Phi.Syntax.Abs Language.EO.Phi.Syntax.Lex Language.EO.Phi.Syntax.Par Language.EO.Phi.TH Language.EO.Phi.ToLaTeX Language.EO.Test.Yaml Language.EO.Test.YamlSpec Paths_eo_phi_normalizer hs-source-dirs: test/doctests src default-extensions: ImportQualifiedPost ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-missing-export-lists build-tools: alex >=3.2.4 , happy >=1.19.9 build-tool-depends: BNFC:bnfc >=2.9.4.1 build-depends: PyF , aeson , array >=0.5.5.0 , base >=4.7 && <5 , blaze-html , blaze-markup , bytestring , cereal , code-page , containers , directory , doctest-parallel , eo-phi-normalizer , file-embed >=0.0.16.0 , filepath , generic-lens , hashable , hspec , hspec-core , lens , megaparsec , mtl , parser-combinators , prettyprinter , regex-compat , replace-megaparsec , scientific , template-haskell , text , text-manipulate , unordered-containers , with-utf8 , yaml default-language: Haskell2010 test-suite spec type: exitcode-stdio-1.0 main-is: Main.hs other-modules: Language.EO.Phi.DataizeSpec Language.EO.Phi.RewriteSpec Language.EO.PhiSpec Language.EO.Rules.PhiPaperSpec Language.EO.YamlSpec Spec Test.EO.Phi Test.Metrics.Phi Paths_eo_phi_normalizer hs-source-dirs: test default-extensions: ImportQualifiedPost ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-missing-export-lists -threaded -rtsopts -with-rtsopts=-N build-tools: alex >=3.2.4 , happy >=1.19.9 build-tool-depends: BNFC:bnfc >=2.9.4.1 build-depends: PyF , QuickCheck , aeson , array >=0.5.5.0 , base >=4.7 && <5 , blaze-html , blaze-markup , bytestring , cereal , code-page , containers , directory , eo-phi-normalizer , file-embed >=0.0.16.0 , filepath , generic-lens , hashable , hspec , hspec-core , hspec-discover , lens , megaparsec , mtl , parser-combinators , prettyprinter , regex-compat , replace-megaparsec , scientific , template-haskell , text , text-manipulate , unordered-containers , with-utf8 , yaml default-language: Haskell2010