[Bug 2036397] New: Review Request: ocaml-ppx-let - Monadic
let-bindings for OCaml
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=2036397
Bug ID: 2036397
Summary: Review Request: ocaml-ppx-let - Monadic let-bindings
for OCaml
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL: https://jjames.fedorapeople.org/ocaml-ppx-let/ocaml-ppx-let.spec
SRPM URL:
https://jjames.fedorapeople.org/ocaml-ppx-let/ocaml-ppx-let-0.15.0-1.fc36...
Fedora Account System Username: jjames
Description: Ppx_let is a ppx rewriter for monadic and applicative let
bindings, match expressions, and if expressions.
The aim of this rewriter is to make monadic and applicative code look nicer by
writing custom binders the same way that we normally bind variables. In OCaml,
the common way to bind the result of a computation to a variable is:
let VAR = EXPR in BODY
ppx_let simply adds two new binders: let%bind and let%map. These are rewritten
into calls to the bind and map functions respectively. These functions are
expected to have
val map : 'a t -> f:('a -> 'b) -> 'b t
val bind : 'a t -> f:('a -> 'b t) -> 'b t
for some type t, as one might expect.
These functions are to be provided by the user, and are generally expected to
be part of the signatures of monads and applicatives modules. This is the case
for all monads and applicatives defined by the Jane Street's Core suite of
libraries.
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2036397
2 years, 3 months