Control.Proxy

Types

data ProxyF a' a b' b x

type Proxy a' a b' b

type Server req resp

type Client req resp

type Session

Build Proxies

request

respond

Compose Proxies

(<-<)

(>->)

idT

Run Sessions

runSession

Utility functions

discard

ignore

foreverK

Pipe compatibility

type Pipe a b

type Producer b

type Consumer a

type Pipeline

await

yield

pipe

(<+<)

(>+>)

idP

runPipe