cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.39.6.
--
-- see: https://github.com/sol/hpack

name:           exchangealgebra
version:        0.6.0.0
x-revision: 1
synopsis:       Exchange Algebra for bookkeeping and economic simulation
description:    Exchange Algebra is an algebraic description of bookkeeping developed by Hiroshi Deguchi. This package represents bookkeeping entries as elements of a redundant algebra, where increases and decreases are expressed by Hat and Not bases rather than by sign. It provides journals with notes, accounting operations such as closing, transfers, trial balances, and financial statements, CSV input and output, and a state-space framework for economic simulation. See the README for a guide and the changelog for migration notes.
category:       Accounting, Finance, Math
homepage:       https://github.com/yakagika/ExchangeAlgebra#readme
bug-reports:    https://github.com/yakagika/ExchangeAlgebra/issues
author:         Kaya Akagi
maintainer:     yakagika@icloud.com
copyright:      2018-2026 Kaya Akagi
license:        OtherLicense
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md
    docs/migration-0.5-derived-metrics.md
    docs/EDINET-TAXONOMY-NOTICE.md
    test/fixtures/account-algebra-behavior/presentation.tsv
    test/fixtures/account-algebra-behavior/projection-membership.tsv
    test/fixtures/account-algebra-behavior/semantics.tsv
    test/fixtures/account-semantics-050/account-info.tsv
    test/fixtures/account-semantics-050/metadata.tsv
    test/fixtures/account-semantics-050/README.md
    test/fixtures/account-semantics-050/suggest.tsv
    test/fixtures/admission-baseline-p1/equivalence.tsv
    test/fixtures/admission-baseline-p1/README.md
    test/fixtures/consolidation-worksheet-050/minimal.tsv
    test/fixtures/consolidation-worksheet-050/README.md
    test/fixtures/example-numbers-p1/README.md
    test/fixtures/example-numbers-p1/ripple-analysis.tsv
    test/fixtures/export-surface-p2/counts.tsv
    test/fixtures/export-surface-p2/ExchangeAlgebra.Accounting.PostingPolicy.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Accounting.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Base.Account.JcciAliases.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Base.Account.Registry.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Base.Account.Types.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Base.Element.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Base.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Internal.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Transfer.Rule.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.Transfer.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Algebra.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Assist.Descriptions.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Assist.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Bookkeeping.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Consolidation.Worksheet.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Convert.Checked.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Convert.Csv.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Convert.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.IO.Input.Admission.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Journal.Transfer.Rule.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Journal.Transfer.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Journal.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Optimize.Annealing.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Optimize.GA.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Optimize.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Posting.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Render.Bookkeeping.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Render.Csv.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Render.Simulation.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Reporting.Group.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Reporting.Metric.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Reporting.Presentation.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Analysis.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Engine.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Lite.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Network.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Policy.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Random.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Spill.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Simulate.Visualize.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.TrialBalance.Balance.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.TrialBalance.Validation.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.txt
    test/fixtures/export-surface-p2/ExchangeAlgebra.Value.txt
    test/fixtures/export-surface-p2/orphans.txt
    test/fixtures/export-surface-p2/README.md
    test/fixtures/jcci-2022/queries.tsv
    test/fixtures/jcci-2022/README.md
    test/fixtures/jcci-2022/source.tsv
    test/fixtures/post-vocab/account-info.tsv
    test/fixtures/post-vocab/ordinals.tsv
    test/fixtures/post-vocab/README.md
    test/fixtures/post-vocab/semantics.tsv
    test/fixtures/post-vocab/suggest.tsv
    test/fixtures/pre-vland2/ordinals.tsv
    test/fixtures/readout-baseline-p1/alg-decimal-f-dec2.tsv
    test/fixtures/readout-baseline-p1/alg-decimal-f-int.tsv
    test/fixtures/readout-baseline-p1/alg-double-f-cancel.tsv
    test/fixtures/readout-baseline-p1/alg-double-f-dec2.tsv
    test/fixtures/readout-baseline-p1/alg-double-f-exp.tsv
    test/fixtures/readout-baseline-p1/alg-double-f-int.tsv
    test/fixtures/readout-baseline-p1/alg-double-f-sub.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-decimal-f-dec2.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-decimal-f-int.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-double-f-cancel.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-double-f-dec2.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-double-f-exp.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-double-f-int.tsv
    test/fixtures/readout-baseline-p1/alg-keyed-double-f-sub.tsv
    test/fixtures/readout-baseline-p1/journal-decimal-f-dec2.tsv
    test/fixtures/readout-baseline-p1/journal-decimal-f-int.tsv
    test/fixtures/readout-baseline-p1/journal-double-f-cancel.tsv
    test/fixtures/readout-baseline-p1/journal-double-f-dec2.tsv
    test/fixtures/readout-baseline-p1/journal-double-f-exp.tsv
    test/fixtures/readout-baseline-p1/journal-double-f-int.tsv
    test/fixtures/readout-baseline-p1/journal-double-f-sub.tsv
    test/fixtures/readout-baseline-p1/README.md
    test/fixtures/registry-aliases/alias-resolution.tsv
    test/fixtures/statement-presentation/presentation.txt
    test/fixtures/wire-format-p2/decode-boundaries.tsv
    test/fixtures/wire-format-p2/README.md
    test/fixtures/wire-format-p2/wire-format.tsv
    test/fixtures/write-rows-0510/ebex6-compound-trial-balance.tsv
    test/fixtures/write-rows-0510/ebex7-compound-trial-balance.tsv
    test/fixtures/write-rows-0510/ebex8-account-ledger-journal.tsv
    test/fixtures/write-rows-0510/ebex8-account-ledger.tsv
    test/fixtures/write-rows-0510/ebex8-compound-trial-balance.tsv
    test/fixtures/write-rows-0510/ebex8-journal.tsv
    test/fixtures/write-rows-0510/ebex9-post-closing-trial-balance.tsv
    test/fixtures/write-rows-0510/ebex9-worksheet.tsv
    test/fixtures/write-rows-0510/README.md
    test/compile-fail/AdmissionFailureConstructor.hs
    test/compile-fail/AlgConstructor.hs
    test/compile-fail/AlgHiddenConstructor.hs
    test/compile-fail/AlgRecordUpdate.hs
    test/compile-fail/Coerce.hs
    test/compile-fail/Constructor.hs
    test/compile-fail/DeprecatedTransfer.hs
    test/compile-fail/HiddenModule.hs
    test/compile-fail/PublicClient.hs
    test/compile-fail/PublicExplicitImportClient.hs
    test/compile-fail/RawDerivation.hs
    test/compile-fail/RecordUpdate.hs
    test/compile-fail/check.sh
    test/compat-clients/CompatInstance.hs
    test/compat-clients/InstanceMain.hs
    test/compat-clients/MixedPath.hs
    test/compat-clients/NewPath.hs
    test/compat-clients/OldPath.hs
    test/compat-clients/check.sh
    test/compat-clients/README.md
    tools/check-export-surface.py
    tools/check-orphans.py
    docs/admission-api-design-notes.md

source-repository head
  type: git
  location: https://github.com/yakagika/ExchangeAlgebra

flag visualize
  description: Build ExchangeAlgebra.Simulate.Visualize, which needs Chart, Chart-cairo and a cairo / pango toolchain. Enable with --flag exchangealgebra:visualize to write PNG charts.
  manual: True
  default: False

library
  exposed-modules:
      ExchangeAlgebra
      ExchangeAlgebra.Accounting
      ExchangeAlgebra.Accounting.Account
      ExchangeAlgebra.Accounting.Closing
      ExchangeAlgebra.Accounting.Consolidation
      ExchangeAlgebra.Accounting.Entries
      ExchangeAlgebra.Accounting.Exchange
      ExchangeAlgebra.Accounting.PostingPolicy
      ExchangeAlgebra.Accounting.Statements
      ExchangeAlgebra.Accounting.Statements.Group
      ExchangeAlgebra.Accounting.Statements.Metric
      ExchangeAlgebra.Accounting.Statements.Presentation
      ExchangeAlgebra.Accounting.TrialBalance
      ExchangeAlgebra.Accounting.TrialBalance.Balance
      ExchangeAlgebra.Accounting.TrialBalance.Validation
      ExchangeAlgebra.Accounting.Transfer
      ExchangeAlgebra.Algebra
      ExchangeAlgebra.Algebra.Base
      ExchangeAlgebra.Algebra.Base.Account.JcciAliases
      ExchangeAlgebra.Algebra.Base.Account.Registry
      ExchangeAlgebra.Algebra.Base.Account.Types
      ExchangeAlgebra.Algebra.Base.Element
      ExchangeAlgebra.Algebra.Core
      ExchangeAlgebra.Algebra.Element
      ExchangeAlgebra.Algebra.Internal
      ExchangeAlgebra.Algebra.Posting
      ExchangeAlgebra.Algebra.Transfer
      ExchangeAlgebra.Algebra.Transfer.Rule
      ExchangeAlgebra.Algebra.Value
      ExchangeAlgebra.Assist
      ExchangeAlgebra.Assist.Descriptions
      ExchangeAlgebra.Bookkeeping
      ExchangeAlgebra.Consolidation.Worksheet
      ExchangeAlgebra.Convert
      ExchangeAlgebra.Convert.Checked
      ExchangeAlgebra.Convert.Csv
      ExchangeAlgebra.IO.Input
      ExchangeAlgebra.IO.Input.Csv
      ExchangeAlgebra.IO.Input.Assist
      ExchangeAlgebra.IO.Output
      ExchangeAlgebra.IO.Output.Csv
      ExchangeAlgebra.IO.Output.Statements
      ExchangeAlgebra.IO.Input.Admission
      ExchangeAlgebra.Accounting.Transaction
      ExchangeAlgebra.Accounting.Adjustment
      ExchangeAlgebra.Accounting.Equivalence
      ExchangeAlgebra.Journal
      ExchangeAlgebra.Journal.Core
      ExchangeAlgebra.Journal.Transfer
      ExchangeAlgebra.Journal.Transfer.Rule
      ExchangeAlgebra.Optimize
      ExchangeAlgebra.Optimize.Annealing
      ExchangeAlgebra.Optimize.GA
      ExchangeAlgebra.Posting
      ExchangeAlgebra.Render.Bookkeeping
      ExchangeAlgebra.Render.Csv
      ExchangeAlgebra.Render.Simulation
      ExchangeAlgebra.Reporting.Group
      ExchangeAlgebra.Reporting.Metric
      ExchangeAlgebra.Reporting.Presentation
      ExchangeAlgebra.Simulate
      ExchangeAlgebra.Simulate.Analysis
      ExchangeAlgebra.Simulation.Analysis
      ExchangeAlgebra.Simulation.Optimize
      ExchangeAlgebra.Simulation.Optimize.Annealing
      ExchangeAlgebra.Simulation.Optimize.GA
      ExchangeAlgebra.Simulation.Output
      ExchangeAlgebra.Simulate.Engine
      ExchangeAlgebra.Simulate.Lite
      ExchangeAlgebra.Simulate.Network
      ExchangeAlgebra.Simulation.Network
      ExchangeAlgebra.Simulation.Network.Flows
      ExchangeAlgebra.Simulation.Network.Csv
      ExchangeAlgebra.Simulation.Network.Journal
      ExchangeAlgebra.Simulate.Policy
      ExchangeAlgebra.Simulate.Random
      ExchangeAlgebra.Simulate.Spill
      ExchangeAlgebra.TrialBalance.Balance
      ExchangeAlgebra.TrialBalance.Validation
      ExchangeAlgebra.Value
  other-modules:
      ExchangeAlgebra.Accounting.TrialBalance.Accum
      ExchangeAlgebra.Accounting.Catalog
      ExchangeAlgebra.Algebra.Element.Representation
      ExchangeAlgebra.Algebra.Base.Representation
      ExchangeAlgebra.Algebra.Value.Class
      ExchangeAlgebra.Algebra.Value.Accum
      ExchangeAlgebra.Algebra.Core.Representation
      ExchangeAlgebra.Journal.Core.Representation
      ExchangeAlgebra.Accounting.Account.Title
      ExchangeAlgebra.Accounting.Account.Classification
      ExchangeAlgebra.Accounting.Account.Aliases
      ExchangeAlgebra.Accounting.Account.Registry
      ExchangeAlgebra.Accounting.Account.PostingPolicy
      ExchangeAlgebra.Algebra.Transfer.Representation
      ExchangeAlgebra.Simulation.Network.Representation
      ExchangeAlgebra.Simulation.Array
      ExchangeAlgebra.IO.Input.Conversion
      ExchangeAlgebra.IO.Input.Checked
      ExchangeAlgebra.IO.Input.Admission.Engine
      ExchangeAlgebra.IO.Input.Admission.Evidence
      ExchangeAlgebra.IO.Input.Admission.Representation
      ExchangeAlgebra.IO.Input.Admission.Diagnostic
  hs-source-dirs:
      src
  ghc-options: -feager-blackholing
  build-depends:
      Decimal ==0.5.*
    , array >=0.5.5 && <0.6
    , async ==2.2.*
    , base >=4.20 && <5 
    , binary ==0.8.*
    , bytestring >=0.11 && <0.13
    , containers >=0.6 && <0.8
    , deepseq >=1.4 && <1.6
    , hashable >=1.4 && <1.6
    , numeric-prelude >=0.4.4 && <0.5
    , parallel ==3.2.*
    , random ==1.2.*
    , scientific >=0.3.7 && <0.4
    , text >=2.0 && <2.2
    , time >=1.12 && <1.15
    , unicode-show ==0.1.*
    , unordered-containers >=0.2.19 && <0.3
    , vector ==0.13.*
  default-language: Haskell2010
  if flag(visualize)
    exposed-modules:
        ExchangeAlgebra.Simulate.Visualize
    build-depends:
        Chart ==1.9.*
      , Chart-cairo ==1.9.*
  else

test-suite ExchangeAlgebra-doctest
  type: exitcode-stdio-1.0
  main-is: test/doctests.hs
  other-modules:
      Paths_exchangealgebra
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      Decimal ==0.5.*
    , array >=0.5.5 && <0.6
    , async ==2.2.*
    , base >=4.20 && <5 
    , binary ==0.8.*
    , bytestring >=0.11 && <0.13
    , containers >=0.6 && <0.8
    , deepseq >=1.4 && <1.6
    , doctest
    , exchangealgebra
    , hashable >=1.4 && <1.6
    , numeric-prelude >=0.4.4 && <0.5
    , parallel ==3.2.*
    , random ==1.2.*
    , scientific >=0.3.7 && <0.4
    , text >=2.0 && <2.2
    , time >=1.12 && <1.15
    , unicode-show ==0.1.*
    , unordered-containers >=0.2.19 && <0.3
    , vector ==0.13.*
  default-language: Haskell2010
  if os(darwin)
    ghc-options: -optl-Wl,-no_warn_duplicate_libraries

test-suite ExchangeAlgebra-surface
  type: exitcode-stdio-1.0
  main-is: SurfaceMain.hs
  other-modules:
      CompatInstance
      Surface.Accounting
      Surface.Render.Bookkeeping
      Surface.Render.Csv
      Surface.Render.Simulation
      Surface.Simulate.Analysis
      Surface.Simulate.Engine
      Surface.Simulate.Random
  hs-source-dirs:
      test
      test/compat-clients
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wunused-imports
  build-depends:
      Decimal ==0.5.*
    , array >=0.5.5 && <0.6
    , async ==2.2.*
    , base
    , binary ==0.8.*
    , bytestring >=0.11 && <0.13
    , containers >=0.6 && <0.8
    , deepseq >=1.4 && <1.6
    , exchangealgebra
    , hashable
    , numeric-prelude >=0.4.4 && <0.5
    , parallel ==3.2.*
    , process
    , random ==1.2.*
    , scientific >=0.3.7 && <0.4
    , text >=2.0 && <2.2
    , time >=1.12 && <1.15
    , unicode-show ==0.1.*
    , unordered-containers >=0.2.19 && <0.3
    , vector ==0.13.*
  default-language: Haskell2010
  if os(darwin)
    ghc-options: -optl-Wl,-no_warn_duplicate_libraries

test-suite ExchangeAlgebra-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Support
      Algebra.ExactReadoutSpec
      Algebra.AccumSpec
      Algebra.CoreSpec
      Journal.JournalSpec
      Journal.NormalFormSpec
      Accounting.AdjustmentSpec
      Accounting.RegistrySpec
      IO.InputOutputSpec
      Simulate.SimulateSpec
      Simulation.NetworkSpec
      Simulation.OptimizeSpec
      Algebra.ExactSumSpec
      Admission.Spec
      Algebra.ProjWildcardSpec
      Golden.WriteRows
      Golden.ReadoutBaseline
      Golden.WireFormat
      Golden.AdmissionBaseline
      Golden.ExampleNumbers.RippleAnalysis
      Golden.ExampleNumbers.RippleFixture
      Journal.CarrySpec
      Journal.SideTotalsSpec
      Posting.NoNumPosted
      Posting.PostingSpec
      Posting.SettleSpec
      Transfer.RuleSpec
      Transfer.BalanceSpec
      Value.MoneyParseSpec
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      Decimal ==0.5.*
    , QuickCheck >=2.14 && <3
    , array >=0.5.5 && <0.6
    , async ==2.2.*
    , base >=4.20 && <5 
    , binary ==0.8.*
    , bytestring >=0.11 && <0.13
    , containers >=0.6 && <0.8
    , deepseq >=1.4 && <1.6
    , directory ==1.3.*
    , exchangealgebra
    , hashable >=1.4 && <1.6
    , mtl ==2.3.*
    , numeric-prelude >=0.4.4 && <0.5
    , parallel ==3.2.*
    , random ==1.2.*
    , scientific >=0.3.7 && <0.4
    , text >=2.0 && <2.2
    , time >=1.12 && <1.15
    , unicode-show ==0.1.*
    , unordered-containers >=0.2.19 && <0.3
    , vector ==0.13.*
  default-language: Haskell2010
  if os(darwin)
    ghc-options: -optl-Wl,-no_warn_duplicate_libraries