cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack -- -- hash: 4d3ce4b652d9148b159ca371ae80cb101f7189dbef8e358d0d33e8a336babefd name: protocol version: 0.1.0.1 synopsis: Model distributed system as type-level multi-party protocol description: This package provides type to model distributed multi-party protocols, ensuring the continuity of the associated resource state transitions on the type level for all protocol commands and scenarios. category: Control, Distributed Computing, Distributed Systems, Protocol homepage: https://github.com/epoberezkin/protocol#readme bug-reports: https://github.com/epoberezkin/protocol/issues author: Evgeny Poberezkin maintainer: evgeny@poberezkin.com copyright: 2020 Evgeny Poberezkin license: BSD3 license-file: LICENSE build-type: Simple extra-source-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/epoberezkin/protocol library exposed-modules: Control.Protocol Control.Protocol.Example Control.Protocol.Internal other-modules: Paths_protocol hs-source-dirs: src ghc-options: -Wall -Wcompat -Werror=incomplete-patterns -Wunused-type-patterns -Wredundant-constraints -Wincomplete-record-updates -Wincomplete-uni-patterns -Wno-name-shadowing build-depends: base >=4.7 && <5 , freer-indexed ==0.1.* , singletons >=2.5 && <2.8 default-language: Haskell2010