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: 2.3.0
synopsis: Command line normalizer of 𝜑-calculus expressions.
description: Please see the README on GitHub at <https://github.com/objectionary/eo-phi-normalizer#readme>
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
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.Report.Data
Language.EO.Phi.Report.Html
Language.EO.Phi.Rules.Common
Language.EO.Phi.Rules.Fast
Language.EO.Phi.Rules.PhiPaper
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.Syntax.Print
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
, mtl
, regex-compat
, 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
, mtl
, optparse-applicative
, regex-compat
, 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.Report.Data
Language.EO.Phi.Report.Html
Language.EO.Phi.Rules.Common
Language.EO.Phi.Rules.Fast
Language.EO.Phi.Rules.PhiPaper
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.Syntax.Print
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
, mtl
, regex-compat
, 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.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
, mtl
, regex-compat
, scientific
, template-haskell
, text
, text-manipulate
, unordered-containers
, with-utf8
, yaml
default-language: Haskell2010