Haskell CI handbook

typed-protocols

A robust session type framework which supports protocol pipelining.

Haddocks are published here.

Public content

Duncan Coutts Haskell eXchange 2019 talk.

Monadic party workshop by Marcin Szamotulski (coot):

Talk at Haskell Love 2021 by Marcin Szamotulski (coot), slides.

An Agda implementation by Marcin Szamotulski (coot).

Packages

typed-protocols-1.0.0.0

Network
Submodules
- Network.TypedProtocol
  Submodules

typed-protocols:cborg-1.0.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Codec
    Submodules
    Network.TypedProtocol.Codec.CBOR

typed-protocols:examples-1.0.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Network.TypedProtocol.Channel
  - Driver
    Submodules
    Network.TypedProtocol.Driver.Simple
  - PingPong
    Submodules
    Network.TypedProtocol.PingPong.Client
    Network.TypedProtocol.PingPong.Codec
    Submodules
    Network.TypedProtocol.PingPong.Codec.CBOR
    Network.TypedProtocol.PingPong.Examples
    Network.TypedProtocol.PingPong.Server
    Network.TypedProtocol.PingPong.Type
  - ReqResp
    Submodules
    Network.TypedProtocol.ReqResp.Client
    Network.TypedProtocol.ReqResp.Codec
    Submodules
    Network.TypedProtocol.ReqResp.Codec.CBOR
    Network.TypedProtocol.ReqResp.Examples
    Network.TypedProtocol.ReqResp.Server
    Network.TypedProtocol.ReqResp.Type
  - ReqResp2
    Submodules
    Network.TypedProtocol.ReqResp2.Client
    Network.TypedProtocol.ReqResp2.Type
  - Stateful
    Submodules
    ReqResp
    Submodules
    Network.TypedProtocol.Stateful.ReqResp.Client
    Network.TypedProtocol.Stateful.ReqResp.Codec
    Network.TypedProtocol.Stateful.ReqResp.Examples
    Network.TypedProtocol.Stateful.ReqResp.Server
    Network.TypedProtocol.Stateful.ReqResp.Type
  - Trans
    Submodules
    Network.TypedProtocol.Trans.Wedge

typed-protocols:stateful-1.0.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Stateful
    Submodules
    Network.TypedProtocol.Stateful.Codec
    Network.TypedProtocol.Stateful.Driver
    Network.TypedProtocol.Stateful.Peer
    Submodules
    Network.TypedProtocol.Stateful.Peer.Client
    Network.TypedProtocol.Stateful.Peer.Server
    Network.TypedProtocol.Stateful.Proofs

typed-protocols:stateful-cborg-1.0.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Stateful
    Submodules
    Codec
    Submodules
    Network.TypedProtocol.Stateful.Codec.CBOR

typed-protocols-doc-0.2.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Network.TypedProtocol.Documentation
    Submodules
    Network.TypedProtocol.Documentation.DefaultMain
    Network.TypedProtocol.Documentation.GraphViz
    Network.TypedProtocol.Documentation.Html
    Network.TypedProtocol.Documentation.TH
    Network.TypedProtocol.Documentation.Text
    Network.TypedProtocol.Documentation.Types

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy