package preface

  1. Overview
  2. Docs
An opinionated library for function programming (à La Haskell)

Install

Dune Dependency

Authors

Maintainers

Sources

preface-1.0.0.tbz
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 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)