Tubes.Core

Basic definitions

type Tube a b

data TubeF a b k

Type aliases

type Source b m r

type Sink a m r

Core commands

run

await

yield

Control mechanisms

each

for

(><)

(>-)

(~>)

(-<)

(|>)

TubeF value constructors

yieldF

awaitF

Miscellaneous

liftT