protocol: Model distributed system as type-level multi-party protocol

[ bsd3, control, distributed-computing, distributed-systems, library, protocol ] [ Propose Tags ]

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.


[Skip to Readme]

Modules

[Last Documentation]

  • Control
    • Control.Protocol
      • Control.Protocol.Example
      • Control.Protocol.Internal

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1
Change log CHANGELOG.md
Dependencies base (>=4.7 && <5), freer-indexed (>=0.1 && <0.2), singletons (>=2.6 && <2.7) [details]
License BSD-3-Clause
Copyright 2020 Evgeny Poberezkin
Author Evgeny Poberezkin
Maintainer evgeny@poberezkin.com
Category Control, Distributed Computing, Distributed Systems, Protocol
Home page https://github.com/epoberezkin/protocol#readme
Bug tracker https://github.com/epoberezkin/protocol/issues
Source repo head: git clone https://github.com/epoberezkin/protocol
Uploaded by epoberezkin at 2020-07-12T20:51:20Z
Distributions
Downloads 346 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2020-07-12 [all 3 reports]

Readme for protocol-0.1.0.0

[back to package description]

protocol

Model distributed system as type-level multi-party protocol.

See docs on hackage.