Changelog of @hackage/valuations 0.0.5

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