[<<][meta_siso][>>][..]
Fri Aug 7 00:16:25 EDT 2015

Ordinary state monad

So it is clear now that a signal is a mix of the "semantics" monad and
the state monad s->(s,t).

s -> m (s, t)

Is this a standard state transformer?  It is [1]

[1] https://en.wikibooks.org/wiki/Haskell/Monad_transformers



[Reply][About]
[<<][meta_siso][>>][..]