diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 19:19:18 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 19:19:18 +0900 |
| commit | 8a249bc142d021b42a1c71876c6adf3d1168f270 (patch) | |
| tree | 958145395d7143926b94ca241cdeb5477e140a0e | |
| parent | b0dfdae06b34a7b760a800970cbc4d668cf32fc0 (diff) | |
Update examples
| -rw-r--r-- | README.md | 9 | ||||
| -rw-r--r-- | examples/mod7.scm | 13 | ||||
| -rw-r--r-- | examples/optional.scm | 6 | ||||
| -rw-r--r-- | examples/state.scm | 6 |
4 files changed, 20 insertions, 14 deletions
@@ -30,8 +30,7 @@ $ chicken-install (module (mod7 semigroup) = (algebraic-structures semigroup) (import scheme - (chicken module) - (chicken base)) + (chicken module)) (export <>) (define (<> x y) @@ -44,7 +43,8 @@ $ chicken-install (module (mod7 monoid) = (algebraic-structures monoid) (import scheme (chicken module) - (chicken base)) + (chicken base) + (only (mod7 semigroup))) (reexport (mod7 semigroup)) (export unit) @@ -54,7 +54,8 @@ $ chicken-install (import scheme (chicken base) (chicken module) - matchable) + matchable + (only (mod7 monoid))) (reexport (mod7 monoid)) (export inv) 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 >>=) |