v1.0.0 (May 2022)
- Add selective to Either, Options, Result and Try @d-plaindoux
- Add specialized interpreters/handlers for
Free and Freer monads @xhtmlboi - Add right-associative operators for
Contravariant, Divisible and Decidable @xhtmlboi - Add
Bind @d-plaindoux - Add
Apply @d-plaindoux - Add
('a, 'b) handle to simplify handlers for Freer_monad @xvw - Rename
times to times_to_nel for semigroup-ish and add times for monoid-ish @xvw - Add
Decidable (Contravariant analogue for Alternative) and add some missing infixes operators for Divisible @gr-im - Removing early destructive substitution @xhtmlboi
- Add
Semigroupoid @d-plaindoux - Add
Freer Selective @gr-im - Add
Invariant (Functor) (and some instance) @gr-im - Add
Kleisli and Cokleisli @gr-im - Add
Join, Joker and Clown @gr-im - Relax constraint for definition of
Profunctor and Choice using the Kleisli Arrow @gr-im - Make
List and Nonenmpty_list Traversable implementations (for both Applicative and Monad) Tail-recursive @xvw - Add
Seq module in Stdlib (with Functor, Applicative (with Traversable), Alternative, Monad (with Traversable), Monad_plus, Monoid and Foldable) @xvw - Add
mli for stdlib's test and example's test (in order to track unused tests) @xvw - Use absolute URLs for image in documentation (in order to fit with the new version of OCaml.org) @xvw
- Add
Selective for Free monad and Freer monad @xvw