From 8a249bc142d021b42a1c71876c6adf3d1168f270 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 16 Jun 2024 19:19:18 +0900
Subject: Update examples

---
 examples/mod7.scm     | 13 +++++++------
 examples/optional.scm |  6 ++++--
 examples/state.scm    |  6 ++++--
 3 files changed, 15 insertions(+), 10 deletions(-)

(limited to 'examples')

diff --git a/examples/mod7.scm b/examples/mod7.scm
index cfdce61..119c401 100644
--- a/examples/mod7.scm
+++ b/examples/mod7.scm
@@ -7,7 +7,7 @@
 (module (mod7 semigroup) = (algebraic-structures semigroup)
   (import scheme
           (chicken module)
-          (chicken base))
+          (only (chicken base) assert))
   (export <>)
 
   (define (<> x y)
@@ -20,7 +20,7 @@
 (module (mod7 monoid) = (algebraic-structures monoid)
   (import scheme
           (chicken module)
-          (chicken base))
+          (only (mod7 semigroup)))
   (reexport (mod7 semigroup))
   (export unit)
 
@@ -28,9 +28,10 @@
 
 (module (mod7 group) = (algebraic-structures group)
   (import scheme
-          (chicken base)
+          (only (chicken base) assert)
           (chicken module)
-          matchable)
+          matchable
+          (only (mod7 monoid)))
   (reexport (mod7 monoid))
   (export inv)
 
@@ -47,5 +48,5 @@
 
 (module (mod7 fold) = ((algebraic-structures monoid fold) (mod7 monoid) (algebraic-structures list foldable)))
 
-(import (prefix (mod7 group) mod7:)
-        (prefix (mod7 fold) mod7:))
+;; (import (prefix (mod7 group) mod7:)
+;;         (prefix (mod7 fold) mod7:))
diff --git a/examples/optional.scm b/examples/optional.scm
index ea2be96..de99248 100644
--- a/examples/optional.scm
+++ b/examples/optional.scm
@@ -40,7 +40,8 @@
   (import scheme
           (prefix (data optional) opt:)
           matchable
-          (chicken module))
+          (chicken module)
+          (only (data optional functor)))
   (reexport (data optional functor))
   (export pure map2)
 
@@ -59,7 +60,8 @@
   (import (except scheme map apply)
           (prefix (data optional) opt:)
           matchable
-          (chicken module))
+          (chicken module)
+          (only (data optional applicative)))
   (reexport (data optional applicative))
   (export >>=)
 
diff --git a/examples/state.scm b/examples/state.scm
index 2594a74..d4f5efc 100644
--- a/examples/state.scm
+++ b/examples/state.scm
@@ -32,7 +32,8 @@
 (module (data state applicative) = (algebraic-structures applicative)
   (import scheme
           matchable
-          (chicken module))
+          (chicken module)
+          (only (data state functor)))
   (reexport (data state functor))
   (export pure map2)
 
@@ -48,7 +49,8 @@
 (module (data state monad) = (algebraic-structures monad)
   (import (except scheme map apply)
           matchable
-          (chicken module))
+          (chicken module)
+          (only (data state applicative)))
   (reexport (data state applicative))
   (export >>=)
 
-- 
cgit v1.2.3