diff options
| author | Hugo Hörnquist <hugo@hornquist.se> | 2018-11-12 23:58:45 +0100 |
|---|---|---|
| committer | Hugo Hörnquist <hugo@hornquist.se> | 2018-11-12 23:58:45 +0100 |
| commit | 61f14dcb2da68a565b6c7b8330f1ce942862ede3 (patch) | |
| tree | c0838d24bd2730e7302177cd30d9bfd240b73595 | |
| parent | Add type signature comments to state-minimal. (diff) | |
| download | scheme-monad-61f14dcb2da68a565b6c7b8330f1ce942862ede3.tar.gz scheme-monad-61f14dcb2da68a565b6c7b8330f1ce942862ede3.tar.xz | |
Additional comment in state-minimal.
| -rw-r--r-- | control/monad/state-minimal.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/control/monad/state-minimal.scm b/control/monad/state-minimal.scm index aa7b1a0..8a88ac6 100644 --- a/control/monad/state-minimal.scm +++ b/control/monad/state-minimal.scm @@ -11,6 +11,11 @@ ;;; like the Haskell version (of MonadState). But obviously ;;; without all the nice syntax. +;;; Anything that takes an st-list and returns an st-list is +;;; considered a State value. +;;; An st-list is a list where the car is the last returned +;;; value, and the cadr is the "state". + ;; newtype State = st-list -> st-list ;; State |