diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-11 02:13:57 +0900 | 
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-11 02:13:57 +0900 | 
| commit | c20155977bc23c2be19842cc065e4444b304ecce (patch) | |
| tree | 834bb05fb78995e5fd32721630cad9a3742c3a47 | |
| parent | 552cd6c999f3e44b13be88e45c4a8cb391eb40cf (diff) | |
Rename from `algebraic-structs` to `algebraic-structures`
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) | 
