Skip to content

Latest commit

 

History

History
45 lines (39 loc) · 4.31 KB

CHANGES.md

File metadata and controls

45 lines (39 loc) · 4.31 KB
Raw

dev (unreleased)

  • Add Bounded_lattice @hakimba
  • Breaking change Move Monomorphized version of Result abstraction under the module Result.Mono and provide Indexed abstraction @mspwn
  • Breaking change Remove manifest types in submodules (Infix and Syntax) @mspwn
  • Add Indexed_functor, Indexed_alt, Indexed_apply, Indexed_applicative, Indexed_alternative, Indexed_selective, Indexed_bind, Indexed_monad, Indexed_monad_plus, Indexed_comonad, Indexed_foldable @mspwn, @gr-im, @gxvw
  • Add Bounded_join_semilattice @hakimba
  • Add Bounded_meet_semilattice @hakimba
  • Add Join_semilattice @hakimba
  • Add Meet_semilattice @xvw and @hakimba
  • Add Equivalence in Preface.Stdlib @gr-im, @gxvw
  • Add Preface.Laws and Preface.Qcheck to allow external users to build their own test suites for implementations outside Preface @gr-im, @gxvw
  • Breaking change change minimal version of OCaml to >= 4.12.0 @gr-im
  • Exposition of Apply and Make in Preface.Make @gr-im

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

v0.1.0 (August 2021)

And with the occasional but very valuable help of @snowleopard, @gasche, @Octachron, Oleg Kiselyov, Pierre-Evariste Dagand