Pipes

# The Proxy Monad Transformer

data Proxy a' a b' b m r

data 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