Module PulseResult.Let_syntax

include module type of Monad_infix
include module type of Type

for opening locally

type ('ok, 'err) pulse_result = ('ok, 'err) t =
  1. | Ok of 'ok
  2. | Recoverable of 'ok * 'err list
  3. | FatalError of 'err * 'err list
val (>>|) : ('ok, 'err) t -> ('ok -> 'okk) -> ('okk, 'err) t
val (>>=) : ('ok, 'err) t -> ('ok -> ('okk, 'err) t) -> ('okk, 'err) t
val let+ : ('ok, 'err) t -> ('ok -> 'okk) -> ('okk, 'err) t
val let* : ('ok, 'err) t -> ('ok -> ('okk, 'err) t) -> ('okk, 'err) t