Data.Machine.Pipe

data Exchange a' a b' b c

type Proxy a' a b' b m c

type Effect m r

type Client a' a m r

type Server b' b m r

type Effect' m r

type Server' b' b m r

type Client' a' a m r

request

respond

push

(>~>)

(>>~)

pull

(>+>)

(+>>)

absurdExchange

runEffect

runEffect_