phino-0.0.144: phino.cabal

cabal-version: 3.0
name: phino
version: 0.0.144
license: MIT
synopsis: Command-Line Manipulator of 𝜑-Calculus Expressions
description: Please see the README on GitHub at <https://github.com/objectionary/phino#readme>
homepage: https://github.com/objectionary/phino#readme
bug-reports: https://github.com/objectionary/phino/issues
license-file: LICENSES/MIT.txt
author: maxonfjvipon
maintainer: mtrunnikov@gmail.com
copyright: 2025 Objectionary.com
category: Language, Code Analysis
build-type: Simple
extra-source-files: resources/normalize/*.yaml resources/morphing/*.yaml resources/dataization/*.yaml resources/contextualization/*.yaml benchmark/demo.phi benchmark/atoms.yaml benchmark/accum.phi benchmark/accum.yaml
extra-doc-files: README.md

source-repository head
  type: git
  location: https://github.com/objectionary/phino

-- Link in the engine 'phino compile' wrote to 'compiled/generated' rather
-- than the stub in 'compiled/stub', which interprets the rules of YAML.
flag compiled
  description: Run the built-in rules as the Haskell 'phino compile' wrote
  default: True
  manual: True

common warnings
  ghc-options:
    -Wall
    -Wcompat
    -Widentities
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wmissing-home-modules
    -Wmissing-signatures
    -Wpartial-fields
    -Wredundant-constraints

library
  import: warnings
  exposed-modules:
    Abridge
    AST
    Builder
    Bytes
    Canonizer
    CLI
    CLI.Helpers
    CLI.Parsers
    CLI.Runners
    CLI.Types
    CLI.Validators
    Compiled
    Condition
    Contextualize
    CST
    Dataize
    Deps
    Emit
    Encoding
    Engine
    Evaluate
    Files
    Filter
    Functions
    Inference
    Lambdas
    Language
    LaTeX
    Lining
    Locator
    Logger
    Margin
    Matcher
    Merge
    Metas
    Misc
    Morph
    Must
    Parser
    Pool
    Printer
    Random
    Regexp
    Render
    Replacer
    Rewriter
    Rule
    Slots
    Sugar
    Tau
    XMIR
    Yaml

  hs-source-dirs: src
  if flag(compiled)
    hs-source-dirs: compiled/generated
  else
    hs-source-dirs: compiled/stub
  other-modules:
    Paths_phino

  autogen-modules:
    Paths_phino

  build-depends:
    aeson >=2.2.3 && <2.4,
    array >=0.5.4 && <0.6,
    base >=4.18.3.0 && <5,
    binary-ieee754 >=0.1.0 && <0.2,
    bytestring >=0.11.4 && <0.13,
    containers >=0.6.5 && <0.9,
    directory >=1.3.7 && <1.4,
    file-embed >=0.0.15 && <0.0.17,
    filepath >=1.4.200 && <1.6,
    gitrev >=1.3.1 && <1.4,
    megaparsec >=9.5 && <9.9,
    optparse-applicative >=0.18 && <0.20,
    random >=1.2 && <1.4,
    regex-pcre-builtin >=0.95.2 && <0.96,
    scientific >=0.3.7 && <0.4,
    text >=2.0.2 && <2.2,
    time >=1.12 && <1.17,
    utf8-string >=1.0.2 && <1.1,
    vector >=0.13.0 && <0.14,
    xml-conduit >=1.9 && <1.11,
    yaml >=0.11.8 && <0.12,

  default-language: Haskell2010

-- Executable using the library
executable phino
  import: warnings
  main-is: Main.hs
  ghc-options: -threaded
  hs-source-dirs: app
  build-depends:
    base,
    phino,

  default-language: Haskell2010

-- Test suite for Matcher
test-suite spec
  import: warnings
  type: exitcode-stdio-1.0
  main-is: Main.hs
  hs-source-dirs: test
  ghc-options: -threaded
  other-modules:
    AbridgeSpec
    ASTSpec
    BuilderSpec
    BytesSpec
    CanonizerSpec
    CLIHelpersSpec
    CLISpec
    CLITypesSpec
    CompiledSpec
    ConditionSpec
    ContextualizeSpec
    CSTSpec
    DataizeSpec
    DepsSpec
    EmitSpec
    EncodingSpec
    EngineSpec
    EvaluateSpec
    FilesSpec
    FilterSpec
    Fixtures
    FunctionsSpec
    InferenceSpec
    LambdasSpec
    LanguageSpec
    LaTeXSpec
    LiningSpec
    LocatorSpec
    LoggerSpec
    MarginSpec
    MatcherSpec
    MergeSpec
    MetasSpec
    MiscSpec
    MorphSpec
    MustSpec
    ParserSpec
    Paths_phino
    PoolSpec
    PrinterSpec
    RandomSpec
    RegexpSpec
    RenderSpec
    ReplacerSpec
    RewriterSpec
    RuleSpec
    Spec
    SugarSpec
    TauSpec
    XMIRSpec
    YamlSpec

  autogen-modules:
    Paths_phino

  default-extensions:
    ImportQualifiedPost

  build-depends:
    aeson >=2.2.3 && <2.4,
    base >=4.18.3.0 && <5,
    bytestring >=0.11.4 && <0.13,
    containers >=0.6.5 && <0.9,
    directory >=1.3.7 && <1.4,
    filepath >=1.4.200 && <1.6,
    hspec >=2.11.0 && <2.12,
    hspec-core >=2.11.0 && <2.12,
    megaparsec >=9.5 && <9.9,
    optparse-applicative >=0.18 && <0.20,
    phino,
    random >=1.2 && <1.4,
    silently >=1.2.5 && <1.3,
    text >=2.0.2 && <2.2,
    time >=1.12 && <1.17,
    xml-conduit >=1.9 && <1.11,
    yaml >=0.11.8 && <0.12,

  build-tool-depends:
    hspec-discover:hspec-discover >=2.11.0 && <2.12

  default-language: Haskell2010

-- Benchmark suite
benchmark bench
  import: warnings
  type: exitcode-stdio-1.0
  main-is: Main.hs
  hs-source-dirs: benchmark
  build-depends:
    base >=4.18.3.0 && <5,
    containers >=0.6.5 && <0.9,
    phino,
    time >=1.12 && <1.17,

  default-language: Haskell2010