Network.Colchis.Protocol

Documentation

type Protocol s m e = forall r. (s, Value) -> Proxy Value Value (s, Value) Value (ExceptT e m) r

A bidirectional Proxy waiting for a request, ready to be composed with +>> or >+>.

Protocols format incoming requests from downstream before sending them upstream. They also extract the values from returning protocol responses and send them downstream.

Protocols isolate clients from the specific details of each protocol.