aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--algebraic-structures.alternative.scm (renamed from algebraic-structures.alternative.make.scm)2
-rw-r--r--algebraic-structures.applicative.scm (renamed from algebraic-structures.applicative.make.scm)2
-rw-r--r--algebraic-structures.foldable.scm (renamed from algebraic-structures.foldable.make.scm)2
-rw-r--r--algebraic-structures.functor.make.scm3
-rw-r--r--algebraic-structures.functor.scm3
-rw-r--r--algebraic-structures.group.scm (renamed from algebraic-structures.group.make.scm)2
-rw-r--r--algebraic-structures.monad.scm (renamed from algebraic-structures.monad.make.scm)2
-rw-r--r--algebraic-structures.monoid.fold.scm4
-rw-r--r--algebraic-structures.monoid.make.fold.scm4
-rw-r--r--algebraic-structures.monoid.make.scm3
-rw-r--r--algebraic-structures.monoid.scm3
-rw-r--r--examples/optional.scm12
-rw-r--r--examples/state.scm12
-rw-r--r--tests/run.scm34
14 files changed, 44 insertions, 44 deletions
diff --git a/algebraic-structures.alternative.make.scm b/algebraic-structures.alternative.scm
index 29f8352..c397304 100644
--- a/algebraic-structures.alternative.make.scm
+++ b/algebraic-structures.alternative.scm
@@ -1,4 +1,4 @@
-(functor ((algebraic-structures alternative make) (A (pure map map2 alt empty)))
+(functor ((algebraic-structures alternative) (A (pure map map2 alt empty)))
(pure map map2 alt empty guard)
(import (except scheme map apply)
(only (chicken base) void)
diff --git a/algebraic-structures.applicative.make.scm b/algebraic-structures.applicative.scm
index 10a5663..ac3028a 100644
--- a/algebraic-structures.applicative.make.scm
+++ b/algebraic-structures.applicative.scm
@@ -1,4 +1,4 @@
-(functor ((algebraic-structures applicative make) (A (pure map map2)))
+(functor ((algebraic-structures applicative) (A (pure map map2)))
(pure map map2 map* apply)
(import (rename scheme (map scheme:map) (apply scheme:apply))
(only (chicken base) sub1 add1 foldl case-lambda)
diff --git a/algebraic-structures.foldable.make.scm b/algebraic-structures.foldable.scm
index 197eb48..3ab1f6e 100644
--- a/algebraic-structures.foldable.make.scm
+++ b/algebraic-structures.foldable.scm
@@ -1,4 +1,4 @@
-(functor ((algebraic-structures foldable make) (F (foldl foldr)))
+(functor ((algebraic-structures foldable) (F (foldl foldr)))
(foldl foldr length find any every ->list)
(import (except scheme length) F
(only (chicken base) add1 call/cc))
diff --git a/algebraic-structures.functor.make.scm b/algebraic-structures.functor.make.scm
deleted file mode 100644
index c095717..0000000
--- a/algebraic-structures.functor.make.scm
+++ /dev/null
@@ -1,3 +0,0 @@
-(functor ((algebraic-structures functor make) (F (map)))
- (map)
- (import F))
diff --git a/algebraic-structures.functor.scm b/algebraic-structures.functor.scm
new file mode 100644
index 0000000..70d5496
--- /dev/null
+++ b/algebraic-structures.functor.scm
@@ -0,0 +1,3 @@
+(functor ((algebraic-structures functor) (F (map)))
+ (map)
+ (import F))
diff --git a/algebraic-structures.group.make.scm b/algebraic-structures.group.scm
index 7568ac9..6e38eaf 100644
--- a/algebraic-structures.group.make.scm
+++ b/algebraic-structures.group.scm
@@ -1,4 +1,4 @@
-(functor ((algebraic-structures group make) (M (<> unit inv)))
+(functor ((algebraic-structures group) (M (<> unit inv)))
(<> unit inv pow)
(import M
scheme
diff --git a/algebraic-structures.monad.make.scm b/algebraic-structures.monad.scm
index b06b908..fd5ff82 100644
--- a/algebraic-structures.monad.make.scm
+++ b/algebraic-structures.monad.scm
@@ -1,4 +1,4 @@
-(functor ((algebraic-structures monad make) (M (pure map map2 >>=)))
+(functor ((algebraic-structures monad) (M (pure map map2 >>=)))
(pure map map2 >>= do)
(import (rename scheme (map scheme:map) (do scheme:do))
M)
diff --git a/algebraic-structures.monoid.fold.scm b/algebraic-structures.monoid.fold.scm
new file mode 100644
index 0000000..b18c03c
--- /dev/null
+++ b/algebraic-structures.monoid.fold.scm
@@ -0,0 +1,4 @@
+(functor ((algebraic-structures monoid fold) (M (<> unit)) (F (foldl foldr))) (fold)
+ (import scheme M F)
+
+ (define (fold x) (foldl <> unit x)))
diff --git a/algebraic-structures.monoid.make.fold.scm b/algebraic-structures.monoid.make.fold.scm
deleted file mode 100644
index 0334ab6..0000000
--- a/algebraic-structures.monoid.make.fold.scm
+++ /dev/null
@@ -1,4 +0,0 @@
-(functor ((algebraic-structures monoid make fold) (M (<> unit)) (F (foldl foldr))) (fold)
- (import scheme M F)
-
- (define (fold x) (foldl <> unit x)))
diff --git a/algebraic-structures.monoid.make.scm b/algebraic-structures.monoid.make.scm
deleted file mode 100644
index 58575ba..0000000
--- a/algebraic-structures.monoid.make.scm
+++ /dev/null
@@ -1,3 +0,0 @@
-(functor ((algebraic-structures monoid make) (F (<> unit)))
- (<> unit)
- (import F))
diff --git a/algebraic-structures.monoid.scm b/algebraic-structures.monoid.scm
new file mode 100644
index 0000000..936d0f1
--- /dev/null
+++ b/algebraic-structures.monoid.scm
@@ -0,0 +1,3 @@
+(functor ((algebraic-structures monoid) (F (<> unit)))
+ (<> unit)
+ (import F))
diff --git a/examples/optional.scm b/examples/optional.scm
index ff444de..a15fe16 100644
--- a/examples/optional.scm
+++ b/examples/optional.scm
@@ -46,13 +46,13 @@
[($ opt:<some> x) (f x)]
[($ opt:<none>) (opt:none)])))
-(import (only (algebraic-structures functor make))
- (only (algebraic-structures applicative make))
- (only (algebraic-structures monad make)))
+(import (only (algebraic-structures functor))
+ (only (algebraic-structures applicative))
+ (only (algebraic-structures monad)))
-(module (data optional functor) = ((algebraic-structures functor make) (data optional monad base)))
-(module (data optional applicative) = ((algebraic-structures applicative make) (data optional monad base)))
-(module (data optional monad) = ((algebraic-structures monad make) (data optional monad base)))
+(module (data optional functor) = ((algebraic-structures functor) (data optional monad base)))
+(module (data optional applicative) = ((algebraic-structures applicative) (data optional monad base)))
+(module (data optional monad) = ((algebraic-structures monad) (data optional monad base)))
(import (prefix (data optional) opt:)
(prefix (data optional functor) opt:)
diff --git a/examples/state.scm b/examples/state.scm
index b1aedc6..21efc1b 100644
--- a/examples/state.scm
+++ b/examples/state.scm
@@ -35,12 +35,12 @@
[(x* . st**) ((f x) st*)])
(cons x* st**)))))
-(import (only (algebraic-structures functor make))
- (only (algebraic-structures applicative make))
- (only (algebraic-structures monad make)))
-(module (data state functor) = ((algebraic-structures functor make) (data state)))
-(module (data state applicative) = ((algebraic-structures applicative make) (data state)))
-(module (data state monad) = ((algebraic-structures monad make) (data state)))
+(import (only (algebraic-structures functor))
+ (only (algebraic-structures applicative))
+ (only (algebraic-structures monad)))
+(module (data state functor) = ((algebraic-structures functor) (data state)))
+(module (data state applicative) = ((algebraic-structures applicative) (data state)))
+(module (data state monad) = ((algebraic-structures monad) (data state)))
(import (prefix (data state) st:)
(prefix (data state functor) st:)
diff --git a/tests/run.scm b/tests/run.scm
index 2a5c941..0d76cda 100644
--- a/tests/run.scm
+++ b/tests/run.scm
@@ -4,9 +4,9 @@
(test-begin "monoid")
-(import (algebraic-structures monoid make))
+(import (algebraic-structures monoid))
-(module (mod7 monoid) = (algebraic-structures monoid make)
+(module (mod7 monoid) = (algebraic-structures monoid)
(import scheme
(chicken module)
(chicken base))
@@ -31,8 +31,8 @@
(test-begin "group")
-(import (algebraic-structures group make))
-(module (mod7 group) = (algebraic-structures group make)
+(import (algebraic-structures group))
+(module (mod7 group) = (algebraic-structures group)
(import scheme
(chicken base)
(chicken module)
@@ -67,9 +67,9 @@
(test-begin "foldable")
-(import (algebraic-structures foldable make))
+(import (algebraic-structures foldable))
-(module (data list foldable) = (algebraic-structures foldable make)
+(module (data list foldable) = (algebraic-structures foldable)
(import (chicken module))
(reexport (only (chicken base) foldl foldr)))
@@ -97,7 +97,7 @@
(test-begin "monoid.fold")
-(module (product monoid) = (algebraic-structures monoid make)
+(module (product monoid) = (algebraic-structures monoid)
(import scheme
(chicken base)
(chicken module))
@@ -112,8 +112,8 @@
(define unit 1))
-(import (algebraic-structures monoid make fold))
-(module (product fold) = ((algebraic-structures monoid make fold) (product monoid) (data list foldable)))
+(import (algebraic-structures monoid fold))
+(module (product fold) = ((algebraic-structures monoid fold) (product monoid) (data list foldable)))
(import (prefix (product monoid) product:))
(import (prefix (product fold) product:))
@@ -124,8 +124,8 @@
(test-begin "functor")
-(import (algebraic-structures functor make))
-(module (data list functor) = (algebraic-structures functor make)
+(import (algebraic-structures functor))
+(module (data list functor) = (algebraic-structures functor)
(import scheme (chicken module))
(export map))
@@ -137,8 +137,8 @@
(test-begin "applicative")
-(import (algebraic-structures applicative make))
-(module (data list applicative) = (algebraic-structures applicative make)
+(import (algebraic-structures applicative))
+(module (data list applicative) = (algebraic-structures applicative)
(import (except scheme map)
(chicken module)
(srfi 1)
@@ -185,8 +185,8 @@
(test-begin "monad")
-(import (algebraic-structures monad make))
-(module (data list monad) = (algebraic-structures monad make)
+(import (algebraic-structures monad))
+(module (data list monad) = (algebraic-structures monad)
(import (except scheme map)
(chicken module)
(srfi 1))
@@ -215,8 +215,8 @@
(test-begin "alternative")
-(import (algebraic-structures alternative make))
-(module (data list alternative) = (algebraic-structures alternative make)
+(import (algebraic-structures alternative))
+(module (data list alternative) = (algebraic-structures alternative)
(import (except scheme map)
(chicken module)
(chicken base)