@hackage / protocol

Model distributed system as type-level multi-party protocol

Latest0.1.0.1

Dependencies

library:protocol (3 dependencies)

@hackage / singletons Basic singleton types and definitions
- Version: >=2.5 && <2.8
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / freer-indexed Freer indexed monad for type-level resource-aware effectual operations.
- Version: >=0.1 && <0.2
- License: BSD-3-Clause