Skip to content

1.1.0

Latest
Latest

Choose a tag to compare

View all tags
@xvw xvw released this 27 Feb 02:13
· 17 commits to master since this release
v1.1.0
904d5db
This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
GPG key ID: A0FCAB9C935B253E
Verified
Learn about vigilant mode.

CHANGES:

  • Some fixture for 5.3.0 @xvw
  • Add Lattice @hakimba
  • 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, @xvw
  • 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, @xvw
  • Add Preface.Laws and Preface.Qcheck to allow external users to build their own test suites for implementations outside Preface @gr-im, @xvw
  • Breaking change change minimal version of OCaml to >= 4.12.0 @gr-im
  • Exposition of Apply and Make in Preface.Make @gr-im
Assets 3
Loading