package tezos-lwt-result-stdlib

You can search for identifiers within the package.

in-package search v0.2.0

Tezos: error-aware stdlib replacement

Install

sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d

sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a

The Traced_result_syntax module is similar to the Result_syntax module with the following differences:

val return : 'a -> ('a, 'error) Stdlib.result

val return_unit : (unit, 'error) Stdlib.result

val return_none : ('a option, 'error) Stdlib.result

val return_some : 'a -> ('a option, 'error) Stdlib.result

val return_nil : ('a list, 'error) Stdlib.result

val return_true : (bool, 'error) Stdlib.result

val return_false : (bool, 'error) Stdlib.result

val fail : 'error -> ('a, 'error trace) Stdlib.result

fail e is (Error (Trace.make e)) where Trace is the Traced_sigs.Trace module that provides the trace type and functions.

val (let*) : 
  ('a, 'e) Stdlib.result ->
  ('a -> ('b, 'e) Stdlib.result) ->
  ('b, 'e) Stdlib.result

val (and*) : 
  ('a, 'e trace) Stdlib.result ->
  ('b, 'e trace) Stdlib.result ->
  ('a * 'b, 'e trace) Stdlib.result

val (let+) : ('a, 'e) Stdlib.result -> ('a -> 'b) -> ('b, 'e) Stdlib.result

val (and+) : 
  ('a, 'e trace) Stdlib.result ->
  ('b, 'e trace) Stdlib.result ->
  ('a * 'b, 'e trace) Stdlib.result

val join : 
  (unit, 'error trace) Stdlib.result list ->
  (unit, 'error trace) Stdlib.result

val all : 
  ('a, 'error trace) Stdlib.result list ->
  ('a list, 'error trace) Stdlib.result

val both : 
  ('a, 'error trace) Stdlib.result ->
  ('b, 'error trace) Stdlib.result ->
  ('a * 'b, 'error trace) Stdlib.result

On This Page