Changelog of @hackage/kleisli 0.0.5

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