0.0.6
* Add `opPresheaf` — `Presheaf'` value for `Op` from `Data.Functor.Contravariant`
* Add 16 new `CovariantFunctor'` values for standard `Functor` instances:
`Either e`, `NonEmpty`, `(,) a`, `(->) r`, `Down`, `Dual`, `Sum`, `Product`,
`First`, `Last`, `Min`, `Max`, `Map k`, `IntMap`, `Seq`, `Tree`
* Add `intersectionSet` — `Semigroup'` on `Set` via `Data.Set.intersection`
* Add `intersectionIntSet` — `Semigroup'` on `IntSet` via `Data.IntSet.intersection`
* Add `unionHashSet` and `intersectionHashSet` — `Semigroup'` on `HashSet` via
`Data.HashSet.union` and `Data.HashSet.intersection`
* Export and document previously internal `Semigroup` values for `Set`, `IntSet`,
and `HashSet`
* Add `unordered-containers` dependency
0.0.5
* Include example of usage of `Presheaf`
0.0.4
* Generalise data types over the Profunctor and not (->)
* Add `CovariantFunctor` module — reified covariant functor, dual of `Presheaf`
* Add composition functions for `Presheaf` and `CovariantFunctor`:
- `composePresheafFunctor` (contravariant ∘ covariant = contravariant)
- `composeFunctorPresheaf` (covariant ∘ contravariant = contravariant)
- `composePresheaf` (contravariant ∘ contravariant = covariant)
- `composeFunctor` (covariant ∘ covariant = covariant)
* Add law-checking functions for `Presheaf` (identity, composition)
* Add law-checking functions for `CovariantFunctor` (identity, composition)
* Update documentation and doctests
0.0.3
* Generalise data types over the Profunctor and not (->)
0.0.2
* Fix typo in cabal file
0.0.1
* This change log starts