cabal-version: 2.4 name: protocol-rt version: 0.1 synopsis: Impure runtime adapters for pure protocol implementations. description: Our @protocol-*@ suite of packages is about engineering modern secure protocols in a pure way, independently of the IO monad or any other services provided by a programming language or operating system runtime. . This general approach makes the core logic more reusable in a practical sense - across multiple different "frameworks" - and enables advanced features such as deterministic replay, resume and suspend capabilities /without/ invasive low-level tooling, which helps debugging and other types of analysis. . This package provides adapters between our base definitions and some standard runtime services such as the @network@ package. homepage: https://github.com/infinity0/hs-protocol bug-reports: https://github.com/infinity0/hs-protocol/issues license: Apache-2.0 license-file: LICENSE.Apache-2.0 author: Ximin Luo maintainer: infinity0@pwned.gg copyright: (c) 2021 by Ximin Luo category: Protocol, Network extra-source-files: CHANGELOG.md tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.3 || ==8.10.4 || ==9.0.1 library default-language: Haskell2010 ghc-options: -Wall -Wcompat -Wunused-packages hs-source-dirs: src build-depends: -- boot libs, see https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history base >=4.9.0.0 && <5 , bytestring >=0.10.8.1 && <0.12 -- others , network >=3 && <4 , safe-numeric >=0.1 && <1 , protocol-base >=0.1 && <1 exposed-modules: Protocol.RT.Network