cabal-version: 1.24
-- This file has been generated from package.yaml by hpack version 0.36.0.
--
-- see: https://github.com/sol/hpack
name: eo-phi-normalizer
version: 0.4.1
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/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/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/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
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
, process >=1.6.3.0
library
exposed-modules:
Language.EO.Phi
Language.EO.Phi.Dataize
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.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.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
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
, directory
, file-embed >=0.0.16.0
, filepath
, generic-lens
, lens
, mtl
, regex-compat
, scientific
, template-haskell
, text
, yaml
default-language: Haskell2010
executable 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
, directory
, eo-phi-normalizer
, file-embed >=0.0.16.0
, filepath
, generic-lens
, lens
, mtl
, optparse-applicative
, regex-compat
, scientific
, template-haskell
, text
, with-utf8
, yaml
default-language: Haskell2010
test-suite doctests
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules:
Language.EO.Phi
Language.EO.Phi.Dataize
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.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.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.Syntax.Skel
Language.EO.Phi.TH
Language.EO.Phi.ToLaTeX
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
, directory
, doctest-parallel
, eo-phi-normalizer
, file-embed >=0.0.16.0
, filepath
, generic-lens
, lens
, mtl
, regex-compat
, scientific
, template-haskell
, text
, 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.EO.Yaml
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
, directory
, eo-phi-normalizer
, file-embed >=0.0.16.0
, filepath
, generic-lens
, hspec
, hspec-discover
, lens
, mtl
, regex-compat
, scientific
, template-haskell
, text
, with-utf8
, yaml
default-language: Haskell2010