diff options
32 files changed, 120 insertions, 120 deletions
@@ -1,4 +1,4 @@ -# algebraic-structs +# algebraic-structures Provides useful algebraic structures for programming using parameterized module. @@ -7,7 +7,7 @@ Provides useful algebraic structures for programming using parameterized module. Run `chicken-install` in the project's root directory. ``` -$ cd algebraic-structs +$ cd algebraic-structures $ chicken-install ``` diff --git a/algebraic-structures.alternative.list.base.scm b/algebraic-structures.alternative.list.base.scm index 73f3c84..3d1dba4 100644 --- a/algebraic-structures.alternative.list.base.scm +++ b/algebraic-structures.alternative.list.base.scm @@ -1,6 +1,6 @@ -(module (algebraic-structs alternative list base) (pure map map2 alt empty) +(module (algebraic-structures alternative list base) (pure map map2 alt empty) (import (except scheme map apply) - (algebraic-structs applicative list)) + (algebraic-structures applicative list)) (define (alt x y) (append x y)) diff --git a/algebraic-structures.alternative.list.scm b/algebraic-structures.alternative.list.scm index 1c366ad..d258b9e 100644 --- a/algebraic-structures.alternative.list.scm +++ b/algebraic-structures.alternative.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs alternative make))) -(import (only (algebraic-structs alternative list base))) +(import (only (algebraic-structures alternative make))) +(import (only (algebraic-structures alternative list base))) -(module (algebraic-structs alternative list) = - ((algebraic-structs alternative make) (algebraic-structs alternative list base))) +(module (algebraic-structures alternative list) = + ((algebraic-structures alternative make) (algebraic-structures alternative list base))) diff --git a/algebraic-structures.alternative.make.scm b/algebraic-structures.alternative.make.scm index df4e0f4..29f8352 100644 --- a/algebraic-structures.alternative.make.scm +++ b/algebraic-structures.alternative.make.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs alternative make) (A (pure map map2 alt empty))) +(functor ((algebraic-structures alternative make) (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.list.base.scm b/algebraic-structures.applicative.list.base.scm index 01625ff..a8c04d5 100644 --- a/algebraic-structures.applicative.list.base.scm +++ b/algebraic-structures.applicative.list.base.scm @@ -1,6 +1,6 @@ -(module (algebraic-structs applicative list base) (map pure map2) +(module (algebraic-structures applicative list base) (map pure map2) (import (except scheme map) - (algebraic-structs functor list) + (algebraic-structures functor list) (only (chicken base) atom? cut) (only (srfi 1) append! reverse!) matchable) diff --git a/algebraic-structures.applicative.list.scm b/algebraic-structures.applicative.list.scm index 44d3a28..85298e9 100644 --- a/algebraic-structures.applicative.list.scm +++ b/algebraic-structures.applicative.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs applicative make))) -(import (only (algebraic-structs applicative list base))) +(import (only (algebraic-structures applicative make))) +(import (only (algebraic-structures applicative list base))) -(module (algebraic-structs applicative list) = - ((algebraic-structs applicative make) (algebraic-structs applicative list base))) +(module (algebraic-structures applicative list) = + ((algebraic-structures applicative make) (algebraic-structures applicative list base))) diff --git a/algebraic-structures.applicative.make.scm b/algebraic-structures.applicative.make.scm index 3681dfa..10a5663 100644 --- a/algebraic-structures.applicative.make.scm +++ b/algebraic-structures.applicative.make.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs applicative make) (A (pure map map2))) +(functor ((algebraic-structures applicative make) (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.egg b/algebraic-structures.egg index 1a1a73d..9b21678 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -8,31 +8,31 @@ (dependencies matchable) (test-dependencies test) (components - (extension algebraic-structs.monoid.make) - (extension algebraic-structs.monoid.list.base) - (extension algebraic-structs.monoid.list) - (extension algebraic-structs.monoid.number.sum.base) - (extension algebraic-structs.monoid.number.sum) - (extension algebraic-structs.monoid.number.product.base) - (extension algebraic-structs.monoid.number.product) - (extension algebraic-structs.monoid.make.fold) - (extension algebraic-structs.foldable.make) - (extension algebraic-structs.foldable.list.base) - (extension algebraic-structs.foldable.list) - (extension algebraic-structs.foldable.vector.base) - (extension algebraic-structs.foldable.vector) - (extension algebraic-structs.functor.make) - (extension algebraic-structs.functor.list.base) - (extension algebraic-structs.functor.list) - (extension algebraic-structs.functor.vector.base) - (extension algebraic-structs.functor.vector) - (extension algebraic-structs.applicative.make) - (extension algebraic-structs.applicative.list.base) - (extension algebraic-structs.applicative.list) - (extension algebraic-structs.monad.make) - (extension algebraic-structs.monad.list.base) - (extension algebraic-structs.monad.list) - (extension algebraic-structs.monad.list) - (extension algebraic-structs.alternative.make) - (extension algebraic-structs.alternative.list.base) - (extension algebraic-structs.alternative.list))) + (extension algebraic-structures.monoid.make) + (extension algebraic-structures.monoid.list.base) + (extension algebraic-structures.monoid.list) + (extension algebraic-structures.monoid.number.sum.base) + (extension algebraic-structures.monoid.number.sum) + (extension algebraic-structures.monoid.number.product.base) + (extension algebraic-structures.monoid.number.product) + (extension algebraic-structures.monoid.make.fold) + (extension algebraic-structures.foldable.make) + (extension algebraic-structures.foldable.list.base) + (extension algebraic-structures.foldable.list) + (extension algebraic-structures.foldable.vector.base) + (extension algebraic-structures.foldable.vector) + (extension algebraic-structures.functor.make) + (extension algebraic-structures.functor.list.base) + (extension algebraic-structures.functor.list) + (extension algebraic-structures.functor.vector.base) + (extension algebraic-structures.functor.vector) + (extension algebraic-structures.applicative.make) + (extension algebraic-structures.applicative.list.base) + (extension algebraic-structures.applicative.list) + (extension algebraic-structures.monad.make) + (extension algebraic-structures.monad.list.base) + (extension algebraic-structures.monad.list) + (extension algebraic-structures.monad.list) + (extension algebraic-structures.alternative.make) + (extension algebraic-structures.alternative.list.base) + (extension algebraic-structures.alternative.list))) diff --git a/algebraic-structures.foldable.list.base.scm b/algebraic-structures.foldable.list.base.scm index 0f5c656..936f03f 100644 --- a/algebraic-structures.foldable.list.base.scm +++ b/algebraic-structures.foldable.list.base.scm @@ -1,2 +1,2 @@ -(module (algebraic-structs foldable list base) (foldl foldr) +(module (algebraic-structures foldable list base) (foldl foldr) (import (only (chicken base) foldl foldr))) diff --git a/algebraic-structures.foldable.list.scm b/algebraic-structures.foldable.list.scm index 5f729e2..378a4c2 100644 --- a/algebraic-structures.foldable.list.scm +++ b/algebraic-structures.foldable.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs foldable list base))) -(import (only (algebraic-structs foldable make))) +(import (only (algebraic-structures foldable list base))) +(import (only (algebraic-structures foldable make))) -(module (algebraic-structs foldable list) = ((algebraic-structs foldable make) - (algebraic-structs foldable list base))) +(module (algebraic-structures foldable list) = ((algebraic-structures foldable make) + (algebraic-structures foldable list base))) diff --git a/algebraic-structures.foldable.make.scm b/algebraic-structures.foldable.make.scm index 46b4dd5..197eb48 100644 --- a/algebraic-structures.foldable.make.scm +++ b/algebraic-structures.foldable.make.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs foldable make) (F (foldl foldr))) +(functor ((algebraic-structures foldable make) (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.foldable.vector.base.scm b/algebraic-structures.foldable.vector.base.scm index 0c5af89..90d06da 100644 --- a/algebraic-structures.foldable.vector.base.scm +++ b/algebraic-structures.foldable.vector.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs foldable vector base) (foldl foldr) +(module (algebraic-structures foldable vector base) (foldl foldr) (import scheme (only (chicken base) add1 sub1)) diff --git a/algebraic-structures.foldable.vector.scm b/algebraic-structures.foldable.vector.scm index 1d68aaa..7fa3886 100644 --- a/algebraic-structures.foldable.vector.scm +++ b/algebraic-structures.foldable.vector.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs foldable vector base))) -(import (only (algebraic-structs foldable make))) +(import (only (algebraic-structures foldable vector base))) +(import (only (algebraic-structures foldable make))) -(module (algebraic-structs foldable vector) = ((algebraic-structs foldable make) - (algebraic-structs foldable vector base))) +(module (algebraic-structures foldable vector) = ((algebraic-structures foldable make) + (algebraic-structures foldable vector base))) diff --git a/algebraic-structures.functor.list.base.scm b/algebraic-structures.functor.list.base.scm index e3051d5..a9ebb01 100644 --- a/algebraic-structures.functor.list.base.scm +++ b/algebraic-structures.functor.list.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs functor list base) (map) +(module (algebraic-structures functor list base) (map) (import (rename (scheme) (map list:map))) (define (map f lst) (list:map f lst))) diff --git a/algebraic-structures.functor.list.scm b/algebraic-structures.functor.list.scm index 62c4910..569cc60 100644 --- a/algebraic-structures.functor.list.scm +++ b/algebraic-structures.functor.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs functor list base))) -(import (only (algebraic-structs functor make))) +(import (only (algebraic-structures functor list base))) +(import (only (algebraic-structures functor make))) -(module (algebraic-structs functor list) = ((algebraic-structs functor make) - (algebraic-structs functor list base))) +(module (algebraic-structures functor list) = ((algebraic-structures functor make) + (algebraic-structures functor list base))) diff --git a/algebraic-structures.functor.make.scm b/algebraic-structures.functor.make.scm index 23b366f..c095717 100644 --- a/algebraic-structures.functor.make.scm +++ b/algebraic-structures.functor.make.scm @@ -1,3 +1,3 @@ -(functor ((algebraic-structs functor make) (F (map))) +(functor ((algebraic-structures functor make) (F (map))) (map) (import F)) diff --git a/algebraic-structures.functor.vector.base.scm b/algebraic-structures.functor.vector.base.scm index 2f44673..1449ed6 100644 --- a/algebraic-structures.functor.vector.base.scm +++ b/algebraic-structures.functor.vector.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs functor vector base) (map) +(module (algebraic-structures functor vector base) (map) (import (rename scheme (map list-map)) (only (chicken base) add1)) diff --git a/algebraic-structures.functor.vector.scm b/algebraic-structures.functor.vector.scm index 26481cc..748afca 100644 --- a/algebraic-structures.functor.vector.scm +++ b/algebraic-structures.functor.vector.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs functor vector base))) -(import (only (algebraic-structs functor make))) +(import (only (algebraic-structures functor vector base))) +(import (only (algebraic-structures functor make))) -(module (algebraic-structs functor vector) = ((algebraic-structs functor make) - (algebraic-structs functor vector base))) +(module (algebraic-structures functor vector) = ((algebraic-structures functor make) + (algebraic-structures functor vector base))) diff --git a/algebraic-structures.monad.list.base.scm b/algebraic-structures.monad.list.base.scm index a7305a0..e6a36ad 100644 --- a/algebraic-structures.monad.list.base.scm +++ b/algebraic-structures.monad.list.base.scm @@ -1,6 +1,6 @@ -(module (algebraic-structs monad list base) (pure map map2 >>=) +(module (algebraic-structures monad list base) (pure map map2 >>=) (import (except scheme map) - (algebraic-structs applicative list) + (algebraic-structures applicative list) (only (srfi 1) append-map)) (define (>>= lst f) diff --git a/algebraic-structures.monad.list.scm b/algebraic-structures.monad.list.scm index edb5cf7..7292bd1 100644 --- a/algebraic-structures.monad.list.scm +++ b/algebraic-structures.monad.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs monad make))) -(import (only (algebraic-structs monad list base))) +(import (only (algebraic-structures monad make))) +(import (only (algebraic-structures monad list base))) -(module (algebraic-structs monad list) = - ((algebraic-structs monad make) (algebraic-structs monad list base))) +(module (algebraic-structures monad list) = + ((algebraic-structures monad make) (algebraic-structures monad list base))) diff --git a/algebraic-structures.monad.make.scm b/algebraic-structures.monad.make.scm index 70ead19..b06b908 100644 --- a/algebraic-structures.monad.make.scm +++ b/algebraic-structures.monad.make.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs monad make) (M (pure map map2 >>=))) +(functor ((algebraic-structures monad make) (M (pure map map2 >>=))) (pure map map2 >>= do) (import (rename scheme (map scheme:map) (do scheme:do)) M) diff --git a/algebraic-structures.monoid.list.base.scm b/algebraic-structures.monoid.list.base.scm index cdda71e..b7d7895 100644 --- a/algebraic-structures.monoid.list.base.scm +++ b/algebraic-structures.monoid.list.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs monoid list base) (op unit) +(module (algebraic-structures monoid list base) (op unit) (import scheme) (define op append) diff --git a/algebraic-structures.monoid.list.scm b/algebraic-structures.monoid.list.scm index 226fcd4..b91eeb0 100644 --- a/algebraic-structures.monoid.list.scm +++ b/algebraic-structures.monoid.list.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs monoid list base))) -(import (only (algebraic-structs monoid make))) +(import (only (algebraic-structures monoid list base))) +(import (only (algebraic-structures monoid make))) -(module (algebraic-structs monoid list) = ((algebraic-structs monoid make) - (algebraic-structs monoid list base))) +(module (algebraic-structures monoid list) = ((algebraic-structures monoid make) + (algebraic-structures monoid list base))) diff --git a/algebraic-structures.monoid.make.fold.scm b/algebraic-structures.monoid.make.fold.scm index 05a1754..4a6cce6 100644 --- a/algebraic-structures.monoid.make.fold.scm +++ b/algebraic-structures.monoid.make.fold.scm @@ -1,4 +1,4 @@ -(functor ((algebraic-structs monoid make fold) (M (op unit)) (F (foldl foldr))) (fold) +(functor ((algebraic-structures monoid make fold) (M (op unit)) (F (foldl foldr))) (fold) (import scheme M F) (define (fold x) (foldl op unit x))) diff --git a/algebraic-structures.monoid.make.scm b/algebraic-structures.monoid.make.scm index 8b683a8..ef3e8a3 100644 --- a/algebraic-structures.monoid.make.scm +++ b/algebraic-structures.monoid.make.scm @@ -1,3 +1,3 @@ -(functor ((algebraic-structs monoid make) (F (op unit))) +(functor ((algebraic-structures monoid make) (F (op unit))) (op unit) (import F)) diff --git a/algebraic-structures.monoid.number.product.base.scm b/algebraic-structures.monoid.number.product.base.scm index 2790061..fb4a4bc 100644 --- a/algebraic-structures.monoid.number.product.base.scm +++ b/algebraic-structures.monoid.number.product.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs monoid number product base) (op unit) +(module (algebraic-structures monoid number product base) (op unit) (import scheme) (define op *) diff --git a/algebraic-structures.monoid.number.product.scm b/algebraic-structures.monoid.number.product.scm index 1f1da6e..225e0a1 100644 --- a/algebraic-structures.monoid.number.product.scm +++ b/algebraic-structures.monoid.number.product.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs monoid number product base))) -(import (only (algebraic-structs monoid make))) +(import (only (algebraic-structures monoid number product base))) +(import (only (algebraic-structures monoid make))) -(module (algebraic-structs monoid number product) = ((algebraic-structs monoid make) - (algebraic-structs monoid number product base))) +(module (algebraic-structures monoid number product) = ((algebraic-structures monoid make) + (algebraic-structures monoid number product base))) diff --git a/algebraic-structures.monoid.number.sum.base.scm b/algebraic-structures.monoid.number.sum.base.scm index 1f75e7b..8a7b68e 100644 --- a/algebraic-structures.monoid.number.sum.base.scm +++ b/algebraic-structures.monoid.number.sum.base.scm @@ -1,4 +1,4 @@ -(module (algebraic-structs monoid number sum base) (op unit) +(module (algebraic-structures monoid number sum base) (op unit) (import scheme) (define op +) diff --git a/algebraic-structures.monoid.number.sum.scm b/algebraic-structures.monoid.number.sum.scm index eac1f08..28e025c 100644 --- a/algebraic-structures.monoid.number.sum.scm +++ b/algebraic-structures.monoid.number.sum.scm @@ -1,5 +1,5 @@ -(import (only (algebraic-structs monoid number sum base))) -(import (only (algebraic-structs monoid make))) +(import (only (algebraic-structures monoid number sum base))) +(import (only (algebraic-structures monoid make))) -(module (algebraic-structs monoid number sum) = ((algebraic-structs monoid make) - (algebraic-structs monoid number sum base))) +(module (algebraic-structures monoid number sum) = ((algebraic-structures monoid make) + (algebraic-structures monoid number sum base))) diff --git a/examples/optional.scm b/examples/optional.scm index e3f2eec..ff444de 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-structs functor make)) - (only (algebraic-structs applicative make)) - (only (algebraic-structs monad make))) +(import (only (algebraic-structures functor make)) + (only (algebraic-structures applicative make)) + (only (algebraic-structures monad make))) -(module (data optional functor) = ((algebraic-structs functor make) (data optional monad base))) -(module (data optional applicative) = ((algebraic-structs applicative make) (data optional monad base))) -(module (data optional monad) = ((algebraic-structs monad make) (data optional monad base))) +(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))) (import (prefix (data optional) opt:) (prefix (data optional functor) opt:) diff --git a/examples/state.scm b/examples/state.scm index b649859..b1aedc6 100644 --- a/examples/state.scm +++ b/examples/state.scm @@ -35,12 +35,12 @@ [(x* . st**) ((f x) st*)]) (cons x* st**))))) -(import (only (algebraic-structs functor make)) - (only (algebraic-structs applicative make)) - (only (algebraic-structs monad make))) -(module (data state functor) = ((algebraic-structs functor make) (data state))) -(module (data state applicative) = ((algebraic-structs applicative make) (data state))) -(module (data state monad) = ((algebraic-structs monad make) (data state))) +(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 (prefix (data state) st:) (prefix (data state functor) st:) diff --git a/tests/run.scm b/tests/run.scm index 45534d5..6c306b5 100644 --- a/tests/run.scm +++ b/tests/run.scm @@ -1,19 +1,19 @@ (import (chicken load) (test)) -(test-begin "algebraic-structs") +(test-begin "algebraic-structures") -(import (prefix (algebraic-structs monoid list) list:)) +(import (prefix (algebraic-structures monoid list) list:)) -(import (only (algebraic-structs monoid make fold))) -(import (prefix (algebraic-structs foldable list) list:)) -(import (prefix (algebraic-structs foldable vector) vector:)) -(import (prefix (algebraic-structs monoid number sum) sum:)) -(import (prefix (algebraic-structs monoid number product) product:)) +(import (only (algebraic-structures monoid make fold))) +(import (prefix (algebraic-structures foldable list) list:)) +(import (prefix (algebraic-structures foldable vector) vector:)) +(import (prefix (algebraic-structures monoid number sum) sum:)) +(import (prefix (algebraic-structures monoid number product) product:)) -(import (prefix (algebraic-structs functor list) list:)) -(import (prefix (algebraic-structs applicative list) list:)) -(import (prefix (algebraic-structs monad list) list:)) -(import (prefix (algebraic-structs alternative list) list:)) +(import (prefix (algebraic-structures functor list) list:)) +(import (prefix (algebraic-structures applicative list) list:)) +(import (prefix (algebraic-structures monad list) list:)) +(import (prefix (algebraic-structures alternative list) list:)) (import (prefix (only (scheme) apply) list:)) @@ -82,9 +82,9 @@ (test-begin "monoid.sum.fold.list") -(module sum-fold = ((algebraic-structs monoid make fold) - (algebraic-structs monoid number sum) - (algebraic-structs foldable list))) +(module sum-fold = ((algebraic-structures monoid make fold) + (algebraic-structures monoid number sum) + (algebraic-structures foldable list))) (import (prefix sum-fold sum:)) (test 15 (sum:fold '(1 2 3 4 5))) @@ -95,9 +95,9 @@ (test-begin "monoid.product.fold.vector") -(module product-fold = ((algebraic-structs monoid make fold) - (algebraic-structs monoid number product) - (algebraic-structs foldable vector))) +(module product-fold = ((algebraic-structures monoid make fold) + (algebraic-structures monoid number product) + (algebraic-structures foldable vector))) (import (prefix product-fold product:)) (test 120 (product:fold #(1 2 3 4 5))) @@ -151,6 +151,6 @@ (test-end "alternative") -(test-end "algebraic-structs") +(test-end "algebraic-structures") (test-exit) |