From edb5f425b543a77b79a4ab110474f496e5d43724 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Fri, 14 Jun 2024 00:13:01 +0900 Subject: Fix signatures of functor modules --- algebraic-structures.alternative.scm | 4 ++-- algebraic-structures.functor.scm | 3 +-- 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 -- cgit v1.2.3