diff --git a/README.md b/README.md index 9044892..4e7d367 100644 --- a/README.md +++ b/README.md @@ -9,32 +9,39 @@ This project specifies interoperability of common algebraic structures: -* [Setoid](#setoid) -* [Ord](#ord) -* [Semigroupoid](#semigroupoid) -* [Category](#category) -* [Semigroup](#semigroup) -* [Monoid](#monoid) -* [Group](#group) -* [Filterable](#filterable) -* [Functor](#functor) -* [Contravariant](#contravariant) -* [Apply](#apply) -* [Applicative](#applicative) -* [Alt](#alt) -* [Plus](#plus) -* [Alternative](#alternative) -* [Foldable](#foldable) -* [Traversable](#traversable) -* [Chain](#chain) -* [ChainRec](#chainrec) -* [Monad](#monad) -* [Extend](#extend) -* [Comonad](#comonad) -* [Bifunctor](#bifunctor) -* [Profunctor](#profunctor) - - +
+ Setoid Semigroupoid Semigroup Foldable Functor Contravariant Filterable +(equals) (compose) (concat) (reduce) (map) (contramap) (filter) + | | | \ / | | | | \ + | | | \ / | | | | \ + | | | \ / | | | | \ + | | | \ / | | | | \ + | | | \ / | | | | \ + Ord Category Monoid Traversable | | | | \ + (lte) (id) (empty) (traverse) / | | \ \ + | / | | \ \ + | / / \ \ \ + | Profunctor / \ Bifunctor \ + | (promap) / \ (bimap) \ + | / \ \ + Group / \ \ + (invert) Alt Apply Extend + (alt) (ap) (extend) + / / \ \ + / / \ \ + / / \ \ + / / \ \ + / / \ \ + Plus Applicative Chain Comonad + (zero) (of) (chain) (extract) + \ / \ / \ + \ / \ / \ + \ / \ / \ + \ / \ / \ + \ / \ / \ + Alternative Monad ChainRec + (chainRec) +## General diff --git a/figures/dependencies.png b/figures/dependencies.png deleted file mode 100644 index 242a17e..0000000 Binary files a/figures/dependencies.png and /dev/null differ