Up – Package index » ppx_monad » Library ppx_monad_lib » Ppx_monad_lib

Module `Ppx_monad_lib`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

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.