Control.Proxy.Core.Correct

Types

data ProxyCorrect a' a b' b m r

data ProxyF a' a b' b r x

Run Sessions

runProxy

runProxyK

runPipe