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.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 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
source-repository head
type: git
location: https://github.com/objectionary/eo-phi-normalizer
custom-setup
setup-depends:
Cabal >=2.4.0.1 && <4.0
, 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.Metrics.Collect
Language.EO.Phi.Metrics.Data
Language.EO.Phi.Normalize
Language.EO.Phi.Report.Data
Language.EO.Phi.Report.Html
Language.EO.Phi.Rules.Common
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
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-export-lists -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:
aeson
, array >=0.5.5.0
, base >=4.7 && <5
, blaze-html
, blaze-markup
, directory
, file-embed
, filepath
, generic-lens
, lens
, mtl
, scientific
, string-interpolate
, 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-export-lists -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:
aeson
, aeson-pretty
, array >=0.5.5.0
, base >=4.7 && <5
, blaze-html
, blaze-markup
, directory
, eo-phi-normalizer
, file-embed
, filepath
, generic-lens
, lens
, mtl
, optparse-applicative
, scientific
, string-interpolate
, template-haskell
, text
, yaml
default-language: Haskell2010
test-suite spec
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Language.EO.Phi.DataizeSpec
Language.EO.PhiSpec
Language.EO.Rules.PhiPaperSpec
Language.EO.YamlSpec
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-export-lists -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:
QuickCheck
, aeson
, array >=0.5.5.0
, base >=4.7 && <5
, blaze-html
, blaze-markup
, directory
, eo-phi-normalizer
, file-embed
, filepath
, generic-lens
, hspec
, hspec-discover
, lens
, mtl
, scientific
, string-interpolate
, template-haskell
, text
, yaml
default-language: Haskell2010