kleisli-0.0.5: changelog.md

0.0.5

* Generalise instances from concrete `(->)` to a polymorphic profunctor
  parameter `p` wherever the implementation only requires profunctor
  operations (`rmap`, `lmap`, `dimap`) rather than function application:
  - `Functor (Kleisli p a f)` — requires `Profunctor p`
  - `Functor (ProKleisli p f a)` — requires `Profunctor p`
  - `Profunctor (ProKleisli p f)` — requires `Profunctor p`
  - `Contravariant (ContraKleisli p b f)` — requires `Profunctor p`
  - `Strong (ProKleisli p f)` — requires `Strong p`
  - `Choice (ProKleisli p f)` — requires `Choice p`
  - `Closed (ProKleisli p f)` — requires `Closed p`
  - `Traversing (ProKleisli p f)` — requires `Traversing p`
  - `Mapping (ProKleisli p f)` — requires `Mapping p`
  - `Sieve (ProKleisli p f) (Compose g f)` — requires `Sieve p g`
  - `PRep.Representable (ProKleisli p f)` — requires `PRep.Representable p`

0.0.4

* Add `fromMaybe` for replacing Nothing results with a default value,
  collapsing the Maybe layer into Identity

0.0.3

* Add `mkKleisli'`, `mkProKleisli'`, `mkContraKleisli'` for constructing
  Identity-wrapped Kleisli values from plain profunctor values

0.0.2

* Add `pureKleisli`, `pureProKleisli`, `pureContraKleisli` for lifting
  Identity-based Kleisli values into an arbitrary Applicative functor

0.0.1

* This change log starts