Module combinators

Combinators operating on protocols.

Modules

chain

A combinator representing two protocols as a new protocol that, when executed, executes the two inner protocols in sequence, feeding the result of the first protocol into the inputs of the second protocol.

misbehave

A combinator allowing one to intercept outgoing messages from a round, and replace or modify them.