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]
Versions [RSS] [faq],
Change log
Dependencies base (>=4.7 && <5), freer-indexed (==0.1.*), singletons (>=2.5 && <2.8) [details]
License BSD-3-Clause
Copyright 2020 Evgeny Poberezkin
Author Evgeny Poberezkin
Category Control, Distributed Computing, Distributed Systems, Protocol
Home page
Bug tracker
Source repo head: git clone
Uploaded by epoberezkin at 2020-07-12T21:27:23Z
Distributions NixOS:
Downloads 164 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-07-12 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees


Readme for protocol-

[back to package description]


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

See docs on hackage.