HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Package1.2.2.0Control

typed-protocols

A framework for strongly typed protocols

  • Version1.2.2.0
  • CategoryControl
  • LicenceApache-2.0
  • AuthorAlexander Vieth, Duncan Coutts, Marcin Szamotulski
  • Maintaineralex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
  • Pinned byhackage typed-protocols 1.2.2.0
  • Sourcehackage.haskell.org/package/typed-protocols-1.2.2.0

Modules

8 modules

Description

A robust session type framework which supports protocol pipelining. Haddocks are published here

Depends on

4 packages

Used by in this set · 5