From 2754eae6d0c66b2838dc7566904d920ce216dddc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sat, 10 Nov 2018 18:43:54 +0100 Subject: Fixed up examples. --- data/optional.scm | 9 ++------- data/writer.scm | 5 ++++- 2 files changed, 6 insertions(+), 8 deletions(-) (limited to 'data') diff --git a/data/optional.scm b/data/optional.scm index a1968f0..e71c10d 100644 --- a/data/optional.scm +++ b/data/optional.scm @@ -5,8 +5,8 @@ #:export (nothing just nothing? just? return-optional) - #:re-export (>>=) - ) + ;; TODO is this reexport needed? + #:re-export (>>=)) (define-class () (slot #:init-value #f @@ -40,8 +40,3 @@ ((just? this) (match this (($ slot) (proc slot)))))) - -#; -(define-method (mappend (a ) (b )) - (match a - (($ )))) diff --git a/data/writer.scm b/data/writer.scm index b79c670..462d391 100644 --- a/data/writer.scm +++ b/data/writer.scm @@ -3,7 +3,7 @@ #:use-module (ice-9 match) #:use-module (data monoid) #:use-module (control monad) - #:export (writer)) + #:export (writer return-writer)) (read-enable 'curly-infix) @@ -23,6 +23,9 @@ (($ nval ncontext) (writer nval { monoid <> ", " <> ncontext })))))) +(define (return-writer val) + (writer val "")) + (define-method (write (this ) port) (match this (($ value monoid) (format port "[Writer ~s, ~s]" value monoid)))) -- cgit v1.2.3