package preface
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=4bf4f89ecee0cc0064394d2f27ab2378b696c85dfa1d940fbf5c5594e3c669b9
sha512=aa2fc7e23cec7086a954c27bfe8e0c6e71cc09e140e6ddab9e041f3336c1b6ee22d661a29a7fe409f580be34a47bdf6699e339dedfe5275b8ac9724768fa56a8
CHANGES.md.html
v1.0.0 (May 2022)
Add selective to Either, Options, Result and Try @d-plaindoux
Add specialized interpreters/handlers for
Free
andFreer
monads @xhtmlboiAdd right-associative operators for
Contravariant
,Divisible
andDecidable
@xhtmlboiAdd
Bind
@d-plaindouxAdd
Apply
@d-plaindouxAdd
('a, 'b) handle
to simplify handlers forFreer_monad
@xvwRename
times
totimes_to_nel
for semigroup-ish and addtimes
for monoid-ish @xvwAdd
Decidable
(Contravariant analogue forAlternative
) and add some missing infixes operators forDivisible
@gr-imRemoving early destructive substitution @xhtmlboi
Add
Semigroupoid
@d-plaindouxAdd
Freer Selective
@gr-imAdd
Invariant
(Functor) (and some instance) @gr-imAdd
Kleisli
andCokleisli
@gr-imAdd
Join
,Joker
andClown
@gr-imRelax constraint for definition of
Profunctor
andChoice
using the Kleisli Arrow @gr-imMake
List
andNonenmpty_list
Traversable
implementations (for bothApplicative
andMonad
) Tail-recursive @xvwAdd
Seq
module in Stdlib (withFunctor
,Applicative
(withTraversable
),Alternative
,Monad
(withTraversable
),Monad_plus
,Monoid
andFoldable
) @xvwAdd
mli
for stdlib's test and example's test (in order to track unused tests) @xvwUse absolute URLs for image in documentation (in order to fit with the new version of OCaml.org) @xvw
Add
Selective
forFree monad
andFreer monad
@xvw