Source file `result_wrap_syntax.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(*****************************************************************************)
(*                                                                           *)
(* SPDX-License-Identifier: MIT                                              *)
(* Copyright (c) 2023 Trilitech <contact@trili.tech>                         *)
(*                                                                           *)
(*****************************************************************************)

include Tezos_base.TzPervasives.Result_syntax

let wrap = Environment.wrap_tzresult

let ( let@ ) m f =
  let x = wrap m in
  f x

let ( let*@ ) m f =
  let* x = wrap m in
  f x

let ( let+@ ) m f =
  let+ x = wrap m in
  f x