From f9c6533f6297535d709a2a883c6c88e5fdcd9b98 Mon Sep 17 00:00:00 2001 From: Jim Date: Wed, 8 Apr 2015 02:05:50 -0400 Subject: [PATCH] Ref.getref,putref --- topics/week8_monads_and_modules.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week8_monads_and_modules.mdwn b/topics/week8_monads_and_modules.mdwn index e7372d3d..2737ed56 100644 --- a/topics/week8_monads_and_modules.mdwn +++ b/topics/week8_monads_and_modules.mdwn @@ -539,7 +539,7 @@ Here is some code showing how to generate the common monad modules, and also som module S = Monad.State(struct type store = int end) (* or any other implementation of stores *) S.(get,gets,put,modify) (* same additional interface as Haskell has; we'll explain them later *) module Ref = Monad.Ref(struct type value = string end) (* this is essentially a State monad, but with a different interface *) - Ref.(newref,deref,change) + Ref.(newref,getref,putref) module W = Monad.Writer(struct type log = string let empty = "" let append = (^) end) (* or any other implementation of logs *) W.(listen,listens,tell,censor) module E = Monad.Error(struct type err = string exception Exc = Failure end) (* or other specifications of type err and exception Exc of err *) -- 2.11.0