Pulselib.PulseResult
Pulse's base error monad: some errors can be accumulated along paths, others are fatal and there's no point continuing the execution.
adds the given error list to the result, possibly changing an Ok
result into a Recoverable
one in the process
val ok : ('ok, _) t -> 'ok option
val ok_exn : ('ok, _) t -> 'ok
dies if the argument is not of the form Ok _
val recoverable_of_result :
ok_of_error:('err -> 'ok) ->
('ok, 'err) IStdlib.IStd.result ->
('ok, 'err) t
changes Result.Error
to Recoverable
using ok_of_error
val fatal_of_result : ('ok, 'err) IStdlib.IStd.result -> ('ok, 'err) t
changes Result.Error
to FatalError
val to_result : ('ok, 'err) t -> ('ok, 'err list) IStdlib.IStd.result
Recoverable
and FatalError
are both sent to Error
module Type : sig ... end
for opening locally
module Monad_infix : sig ... end
module Let_syntax : sig ... end