diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-27 02:11:19 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-27 02:11:19 +0900 |
| commit | a4d7b78b4199dc5f35f49e5d375d02266bcda3a8 (patch) | |
| tree | 29264b1ca049e04cd15891ce2a8a0b5b85b96980 | |
| parent | f8583f9a85f54d0a7b4902d0d23b1b83f387b593 (diff) | |
| -rw-r--r-- | README.md | 68 |
1 files changed, 34 insertions, 34 deletions
@@ -105,53 +105,53 @@ In REPL: ## Supported Features - 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)` + - 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)` + - 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 - - Number (product): `(algebraic-structures number product group)` - - Number (sum): `(algebraic-structures number sum group)` + - 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)` + - 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)` + - 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)` + - 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)` + - 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)` + - List: `(algebraic-structures list monad)` + - Stream: `(algebraic-structures stream monad)` - Alternative: `(algebraic-structures alternative)` - - List: `(algebraic-structures list alternative)` - - Stream: `(algebraic-structures stream alternative)` + - List: `(algebraic-structures list alternative)` + - Stream: `(algebraic-structures stream alternative)` ## Examples - Group - - [mod7](./examples/mod7.scm) + - [mod7](./examples/mod7.scm) - Monad - - [optional](./examples/optional.scm) - - [state](./examples/state.scm) + - [optional](./examples/optional.scm) + - [state](./examples/state.scm) - Monad (`do` syntax) - - [pythagorean-triples](./examples/pythagorean-triples.scm) + - [pythagorean-triples](./examples/pythagorean-triples.scm) |