Skip to content

Tags: xvw/preface

Tags

v1.1.0

Toggle v1.1.0's commit message
Release v1.1.0

CHANGES:

- Some fixture for `5.3.0` [**@xvw**](https://github.com/xvw)
- Add `Lattice` [**@Hakimba**](https://github.com/hakimba)
- Add `Bounded_lattice` [**@Hakimba**](https://github.com/hakimba)
- **Breaking change** Move Monomorphized version of `Result` abstraction under the module `Result.Mono` and provide Indexed abstraction [**@mspwn**](https://github.com/mspwn)
- **Breaking change** Remove manifest types in submodules (`Infix` and `Syntax`) [**@mspwn**](https://github.com/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**](https://github.com/mspwn), [**@gr-im**](https://github.com/gr-im), [**@xvw**](https://github.com/xvw)
- Add `Bounded_join_semilattice` [**@Hakimba**](https://github.com/hakimba)
- Add `Bounded_meet_semilattice` [**@Hakimba**](https://github.com/hakimba)
- Add `Join_semilattice` [**@Hakimba**](https://github.com/hakimba)
- Add `Meet_semilattice` [**@xvw**](https://github.com/xvw) and [**@Hakimba**](https://github.com/hakimba)
- Add `Equivalence` in `Preface.Stdlib` [**@gr-im**](https://github.com/gr-im), [**@xvw**](https://github.com/xvw)
- Add `Preface.Laws` and `Preface.Qcheck` to allow external users to build their own test suites for implementations outside Preface [**@gr-im**](https://github.com/gr-im), [**@xvw**](https://github.com/xvw)
- **Breaking change** change minimal version of OCaml to `>= 4.12.0` [**@gr-im**](https://github.com/gr-im)
- Exposition of `Apply` and `Make` in `Preface.Make` [**@gr-im**](https://github.com/gr-im)

v1.0.0

Toggle v1.0.0's commit message
Release 1.0.0

CHANGES:

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

v0.1.0

Toggle v0.1.0's commit message
Release v0.1.0

CHANGES:

- First release (`v0.1.0`) by [**@d-plaindoux**](https://github.com/d-plaindoux), [**@gr-im**](https://github.com/gr-im), [**@xhtmlboi**](https://github.com/xhtmlboi) and [**@xvw**](https://github.com/xvw)
- [Esy](https://esy.sh/) support by [**@oteku**](https://github.com/oteku)
- Some patches on the documentation by [**@sir4ur0n**](https://github.com/Sir4ur0n)

> And with the occasional but very valuable help of [**@snowleopard**](https://github.com/snowleopard), [**@gasche**](https://github.com/gasche), [**@Octachron**](https://github.com/Octachron), [**Oleg Kiselyov**](http://okmij.org/ftp), [**Pierre-Evariste Dagand**](https://pages.lip6.fr/Pierre-Evariste.Dagand/)