From fce9b4616d10e89c6021f479c27d0d40c25a9870 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 1 Dec 2010 01:39:39 -0500 Subject: [PATCH 1/1] lists-monad tweaks Signed-off-by: Jim Pryor --- list_monad_as_continuation_monad.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn index 8d442ae0..6354c407 100644 --- a/list_monad_as_continuation_monad.mdwn +++ b/list_monad_as_continuation_monad.mdwn @@ -76,7 +76,7 @@ The **State Monad** is similar. Once we've decided to use the following type co Then our unit is naturally: - let s_unit (a : 'a) : ('a state) = fun (s : store) -> (a, s) + let s_unit (a : 'a) : 'a state = fun (s : store) -> (a, s) And we can reason our way to the bind function in a way similar to the reasoning given above. First, we need to apply `f` to the contents of the `u` box: -- 2.11.0