Specifying Run

run performs actions, as they are produced.

run (lift m >>= f) = m >>= \x->run (f x)

run (return x) = return x

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version