A RWS like monad without the slow writer stuff
Haskell Coq
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Control/Monad
bench
tests
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
proof.v
stateWriter.cabal

README.md

stateWriter

Build Status stateWriter on Stackage LTS 3 stateWriter on Stackage Nightly

A rewrite of the RWS monad, where the Writer part is actually handled like strict state so that it doesn't leak memory.