protocol-rt: Impure runtime adapters for pure protocol implementations.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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.
Properties
| Versions | 0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.9.0.0 && <5), bytestring (>=0.10.8.1 && <0.12), network (>=3 && <4), protocol-base (>=0.1 && <1), safe-numeric (>=0.1 && <1) [details] |
| License | Apache-2.0 |
| Copyright | (c) 2021 by Ximin Luo |
| Author | Ximin Luo |
| Maintainer | infinity0@pwned.gg |
| Category | Protocol, Network |
| Home page | https://github.com/infinity0/hs-protocol |
| Bug tracker | https://github.com/infinity0/hs-protocol/issues |
| Uploaded | by infinity0 at 2021-04-21T19:25:28Z |
Modules
- Protocol
- RT
- Protocol.RT.Network
- RT
Downloads
- protocol-rt-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees