aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-06-16 15:44:36 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-06-16 15:44:36 +0900
commitce811e973e7068488319ec92f5325022b4df164a (patch)
tree56d0a6c3db9fe5d5aaca9051a72ef2bf60a2dd21
parent193a1917dd374f7fc47a3b35e30e6a827c0b171a (diff)
Update README.md
-rw-r--r--README.md47
1 files changed, 40 insertions, 7 deletions
diff --git a/README.md b/README.md
index 893f06e..30950ab 100644
--- a/README.md
+++ b/README.md
@@ -13,14 +13,47 @@ $ chicken-install
## Supported Features
-- Semigroup
-- Monoid
+- Semigroup: =(algebraic-structures semigroup)=
+ - Number (product): =(algebraic-structures number product semigroup)=
+ - Number (sum): =(algebraic-structures number sum semigroup)=
+ - List: =(algebraic-structures list semigroup)=
+ - Vector: =(algebraic-structures vector semigroup)=
+ - Stream: =(algebraic-structures stream semigroup)=
+- Semigroup.reduce: =(algebraic-structures semigroup reduce)=
+- Monoid: =(algebraic-structures monoid)=
+ - Number (product): =(algebraic-structures number product monoid)=
+ - Number (sum): =(algebraic-structures number sum monoid)=
+ - List: =(algebraic-structures list monoid)=
+ - Vector: =(algebraic-structures vector monoid)=
+ - Stream: =(algebraic-structures stream monoid)=
+- Monoid.fold: =(algebraic-structures monoid fold)=
- Group
-- Foldable
-- Functor
-- Applicative
-- Monad
-- Alternative
+ - Number (product): =(algebraic-structures number product group)=
+ - Number (sum): =(algebraic-structures number sum group)=
+- Foldable: =(algebraic-structures foldable)=
+ - List: =(algebraic-structures list foldable)=
+ - Vector: =(algebraic-structures vector foldable)=
+ - Stream: =(algebraic-structures stream foldable)=
+- Reducible: =(algebraic-structures reducible)=
+ - List: =(algebraic-structures list reducible)=
+ - Vector: =(algebraic-structures vector reducible)=
+ - Stream: =(algebraic-structures stream reducible)=
+- Functor: =(algebraic-structures functor)=
+ - List: =(algebraic-structures list functor)=
+ - Vector: =(algebraic-structures vector functor)=
+ - Stream: =(algebraic-structures stream functor)=
+- Applicative: =(algebraic-structures applicative)=
+ - List: =(algebraic-structures list applicative)=
+ - List (zip): =(algebraic-structures list zip applicative)=
+ - Vector (zip): =(algebraic-structures vector zip applicative)=
+ - Stream: =(algebraic-structures stream applicative)=
+ - Stream (zip): =(algebraic-structures stream zip applicative)=
+- Monad: =(algebraic-structures monad)=
+ - List: =(algebraic-structures list monad)=
+ - Stream: =(algebraic-structures stream monad)=
+- Alternative: =(algebraic-structures alternative)=
+ - List: =(algebraic-structures list alternative)=
+ - Stream: =(algebraic-structures stream alternative)=
## Examples