cabal-version: 3.8 name: cloudchor version: 0.1.0.0 synopsis: Lightweight and efficient choreographic programming for cloud services description: Please see the README on GitHub at category: Concurrency homepage: https://github.com/aionescu/cloudchor bug-reports: https://github.com/aionescu/cloudchor/issues author: Alex Ionescu maintainer: Alex Ionescu copyright: Copyright (C) 2025 Alex Ionescu license: MPL-2.0 license-files: LICENSE.txt LICENSE-HasChor.txt build-type: Simple extra-doc-files: README.md tested-with: GHC == 9.10.3 GHC == 9.8.4 source-repository head type: git location: https://github.com/aionescu/cloudchor common threaded ghc-options: -threaded -rtsopts -with-rtsopts=-N common warnings ghc-options: -Wall -Wcompat -Widentities -Wmissing-deriving-strategies -Wno-name-shadowing -Wno-unused-do-bind -Wno-type-defaults -Wpartial-fields -Wprepositive-qualified-module -Wredundant-constraints -Wunused-packages library import: warnings default-language: GHC2021 hs-source-dirs: src exposed-modules: Choreography Choreography.Choreo Choreography.Location Choreography.Location.Multi Choreography.Network Choreography.Network.Http Choreography.Network.Local Choreography.Network.LocalMsgCount Control.Monad.Freer build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , http-client >= 0.7 && < 0.8 , mtl >= 2.3 && < 2.4 , servant >= 0.19 && < 0.21 , servant-client >= 0.19 && < 0.21 , servant-server >= 0.19 && < 0.21 , sop-core >= 0.5 && < 0.6 , template-haskell >= 2.18 && < 2.23 , unordered-containers >= 0.2 && < 0.3 , warp >= 3.3 && < 3.4 executable bench import: threaded, warnings default-language: GHC2021 hs-source-dirs: bench main-is: Main.hs other-modules: Benchmark Choreos.Bookseller Choreos.CleanRoom Choreos.Kvs build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , sop-core >= 0.5 && < 0.6 , time >= 1.11 && < 1.13 , cloudchor executable example-clean-room import: warnings default-language: GHC2021 hs-source-dirs: examples/clean-room main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , random >= 1.2 && < 1.3 , sop-core >= 0.5 && < 0.6 , cloudchor executable example-unsoundness import: warnings default-language: GHC2021 hs-source-dirs: examples/unsoundness main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , http-client >= 0.7 && < 0.8 , servant >= 0.19 && < 0.21 , servant-client >= 0.19 && < 0.21 , servant-server >= 0.19 && < 0.21 , warp >= 3.3 && < 3.4 , cloudchor executable example-HasChor-bank-2pc default-language: GHC2021 hs-source-dirs: examples/HasChor/bank-2pc main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , split >= 0.2 && < 0.3 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-bookseller-0-network default-language: GHC2021 hs-source-dirs: examples/HasChor/bookseller-0-network main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-bookseller-1-simple default-language: GHC2021 hs-source-dirs: examples/HasChor/bookseller-1-simple main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-bookseller-2-higher-order default-language: GHC2021 hs-source-dirs: examples/HasChor/bookseller-2-higher-order main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-bookseller-3-loc-poly default-language: GHC2021 hs-source-dirs: examples/HasChor/bookseller-3-loc-poly main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-diffiehellman default-language: GHC2021 hs-source-dirs: examples/HasChor/diffiehellman main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , random >= 1.2 && < 1.3 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-karatsuba default-language: GHC2021 hs-source-dirs: examples/HasChor/karatsuba main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , async >= 2.2 && < 2.3 , containers >= 0.6 && < 0.7 , cloudchor executable example-HasChor-kvs1 default-language: GHC2021 hs-source-dirs: examples/HasChor/kvs-1-simple main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-kvs2 default-language: GHC2021 hs-source-dirs: examples/HasChor/kvs-2-primary-backup main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-kvs3 default-language: GHC2021 hs-source-dirs: examples/HasChor/kvs-3-higher-order main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-kvs4 default-language: GHC2021 hs-source-dirs: examples/HasChor/kvs-4-loc-poly main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-mergesort default-language: GHC2021 hs-source-dirs: examples/HasChor/mergesort main-is: Main.hs ghc-options: -Wno-x-partial build-depends: base >= 4.16 && < 4.21 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-quicksort default-language: GHC2021 hs-source-dirs: examples/HasChor/quicksort main-is: Main.hs ghc-options: -Wno-x-partial build-depends: base >= 4.16 && < 4.21 , async >= 2.2 && < 2.3 , containers >= 0.6 && < 0.7 , time >= 1.11 && < 1.13 , cloudchor executable example-HasChor-ring-leader default-language: GHC2021 hs-source-dirs: examples/HasChor/ring-leader main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , transformers >= 0.5 && < 0.7 , cloudchor executable example-HasChor-playground default-language: GHC2021 hs-source-dirs: examples/HasChor/playground main-is: Main.hs build-depends: base >= 4.16 && < 4.21 , cloudchor