diff --git a/README.md b/README.md index 8096fb4..9cc0126 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