diff --git a/README.md b/README.md index 8d18541..5e5e373 100644 --- a/README.md +++ b/README.md @@ -717,7 +717,7 @@ method takes two arguments: ### Profunctor A value that implements the Profunctor specification must also implement -the [Functor](#functor) specification. +the [Functor](#functor) and [Contravariant](#contravariant) specifications. 1. `p.promap(a => a, b => b)` is equivalent to `p` (identity) 2. `p.promap(a => f(g(a)), b => h(i(b)))` is equivalent to `p.promap(f, i).promap(g, h)` (composition) diff --git a/figures/dependencies.dot b/figures/dependencies.dot index cc5122b..6e2f577 100644 --- a/figures/dependencies.dot +++ b/figures/dependencies.dot @@ -33,6 +33,7 @@ digraph { Apply -> Chain; Chain -> ChainRec; Chain -> Monad; + Contravariant -> Profunctor; Extend -> Comonad; Foldable -> Traversable; Functor -> Alt; diff --git a/figures/dependencies.png b/figures/dependencies.png index 598c70a..fc419d3 100644 Binary files a/figures/dependencies.png and b/figures/dependencies.png differ