Pipes

The Proxy Monad Transformer

data Proxy a' a b' b m r

type X

type Effect

type Effect' m r

runEffect

Producers

type Producer b

type Producer' b m r

yield

for

(~>)

(<~)

Consumers

type Consumer a

type Consumer' a m r

await

(>~)

(~<)

Pipes

type Pipe a b

cat

(>->)

(<-<)

ListT

data ListT m a

runListT

class Enumerable t

Utilities

next

each

every

discard

Re-exports

class Foldable t