yogsototh/snoyman.com-content
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

A few more slide improvements

Browse source
This commit is contained in:
Michael Snoyman 2017-10-26 05:38:09 +02:00
parent 7d94018ebd
commit b7375a048f
No known key found for this signature in database
GPG key ID: A048E8C057E86876
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
reveal/monad-transformer-state.md
View file

@ -345,11 +345,14 @@ catchS (StateT f) onErr = StateT $ \s ->
f s `catch` (flip runStateT s . onErr)
```
No updated state is available from main action, since an exception was
thrown. This is safe!
----
## Finally a problem
Loses state updates from g:
Loses state updates in `g`:
```haskell
finallyS (StateT f) (StateT g) = StateT $ \s ->