writer monad

This is the C++ template metaprogramming equivalent of Haskell's Writer monad. Monadic values are (value, state) pairs. The monadic actions take values as input, they can only produce state. State is has to be a monoid, the states are appended to each other.

General information

[up]