Changelog of @hackage/valuations 0.0.6

0.0.6

  • Add opPresheafPresheaf' 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 intersectionSetSemigroup' on Set via Data.Set.intersection
  • Add intersectionIntSetSemigroup' on IntSet via Data.IntSet.intersection
  • Add unionHashSet and intersectionHashSetSemigroup' 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