diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-14 00:13:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-14 00:13:01 +0900 |
| commit | edb5f425b543a77b79a4ab110474f496e5d43724 (patch) | |
| tree | ed43ccf0ac03c237bedcac85219593f13e31e5c7 | |
| parent | 6c7ab94299b0996d2dbba5305f4e4f81d2405738 (diff) | |
Fix signatures of functor modules
| -rw-r--r-- | algebraic-structures.alternative.scm | 4 | ||||
| -rw-r--r-- | algebraic-structures.functor.scm | 3 | ||||
| -rw-r--r-- | algebraic-structures.monad.scm | 4 |
3 files changed, 5 insertions, 6 deletions
diff --git a/algebraic-structures.alternative.scm b/algebraic-structures.alternative.scm index c397304..c441689 100644 --- a/algebraic-structures.alternative.scm +++ b/algebraic-structures.alternative.scm @@ -1,5 +1,5 @@ -(functor ((algebraic-structures alternative) (A (pure map map2 alt empty))) - (pure map map2 alt empty guard) +(functor ((algebraic-structures alternative) (A (pure map1 map2 map apply alt empty))) + (pure map1 map2 map apply alt empty guard) (import (except scheme map apply) (only (chicken base) void) A) diff --git a/algebraic-structures.functor.scm b/algebraic-structures.functor.scm index c1a5639..2d9b7bd 100644 --- a/algebraic-structures.functor.scm +++ b/algebraic-structures.functor.scm @@ -1,3 +1,2 @@ -(functor ((algebraic-structures functor) (F (map1))) - (map1) +(functor ((algebraic-structures functor) (F (map1))) (map1) (import F)) diff --git a/algebraic-structures.monad.scm b/algebraic-structures.monad.scm index fd5ff82..06bf3cb 100644 --- a/algebraic-structures.monad.scm +++ b/algebraic-structures.monad.scm @@ -1,5 +1,5 @@ -(functor ((algebraic-structures monad) (M (pure map map2 >>=))) - (pure map map2 >>= do) +(functor ((algebraic-structures monad) (M (pure map1 map2 map apply >>=))) + (pure map1 map2 map apply >>= do) (import (rename scheme (map scheme:map) (do scheme:do)) M) (import-for-syntax matchable |