diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 01:58:48 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 01:58:48 +0900 |
commit | 5931a79a5a915035e01b9fb22a3edfde7895e424 (patch) | |
tree | 7704b515651e83db421ee342f02894bfa75557cb /algebraic-structures.egg | |
parent | 3f2efd08c5e93b2d20d3f4a32bdfec40a8b14730 (diff) |
Add list implementations
Diffstat (limited to 'algebraic-structures.egg')
-rw-r--r-- | algebraic-structures.egg | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/algebraic-structures.egg b/algebraic-structures.egg index ba4fd46..5e7eba3 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -18,4 +18,20 @@ (extension algebraic-structures.functor) (extension algebraic-structures.applicative) (extension algebraic-structures.monad) - (extension algebraic-structures.alternative))) + (extension algebraic-structures.alternative) + + ;; List + (extension algebraic-structures.private.list) + (extension algebraic-structures.list.semigroup) + (extension algebraic-structures.list.monoid) + (extension algebraic-structures.list.foldable) + (extension algebraic-structures.list.reducible) + (extension algebraic-structures.list.functor) + (extension algebraic-structures.private.list.zip.applicative) + (extension algebraic-structures.list.zip.applicative) + (extension algebraic-structures.private.list.applicative) + (extension algebraic-structures.list.applicative) + (extension algebraic-structures.private.list.monad) + (extension algebraic-structures.list.monad) + (extension algebraic-structures.private.list.alternative) + (extension algebraic-structures.list.alternative))) |