Sample Runs

Main> runId $ runState 0 $ runFailure $ example

1

Main> runId $ runFailure $ runState 0 $ example

0

example ::

(StateMonad Integer m,

FailureMonad m)

=> m Integer

example = do tick

failure

`handle`

do tick

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version