package ppx_monad

You can search for identifiers within the package.

in-package search v0.2.0

A Syntax Extension for all Monadic Syntaxes

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

N

Niols <niols@niols.fr>

Maintainers

N

Niols <niols@niols.fr>

Sources

v0.2.0.tar.gz

md5=80638269b3f82227706ea6873209adde

sha512=a1b84d2b837439c47db55d229ca3a48ef99a75b95917d6b615c61fd324001ad7243f71f198002f25022bb4348bef656184eb56e5223d687a7b3a5ed049c8ba33

doc/ppx_monad_lib/Ppx_monad_lib/index.html

Module `Ppx_monad_lib`Source

Source

val register : 
  ?monad:string ->
  ?monad_error:string ->
  ?mk_return:(loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression) ->
  ?mk_bind:
    (loc:Ppxlib.location ->
      Ppxlib.expression ->
      Ppxlib.expression ->
      Ppxlib.expression) ->
  ?mk_fail:(loc:Ppxlib.location -> Ppxlib.expression -> Ppxlib.expression) ->
  ?mk_catch:
    (loc:Ppxlib.location ->
      Ppxlib.expression ->
      Ppxlib.expression ->
      Ppxlib.expression) ->
  ?applies_on:string ->
  string ->
  unit

Register a new monadic PPX.

Sourceval fresh_variable : unit -> Ppxlib.pattern * Ppxlib.expression

Creates a fresh variable never used anywhere else in the program. Returns a pattern binding it and an expression evaluating to it.