diff options
| -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 |