gillian » Gillian » Utils » Result_utils

Module Utils.Result_utils

val of_option : none:'a -> 'b option -> ('b, 'a) Stdlib.result

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

val bind_error :
  ('a, 'b) Stdlib.result ->
  ('b -> ('a, 'c) Stdlib.result) ->
  ('a, 'c) Stdlib.result

val fold_bind :
  ('a -> 'b -> ('a, 'c) Stdlib.result) ->
  ('a, 'c) Stdlib.result ->
  'b list ->
  ('a, 'c) Stdlib.result

val map_bind :
  ('a -> ('b, 'c) Stdlib.result) ->
  'a list ->
  ('b list, 'c) Stdlib.result

val or_else : ('a -> 'b) -> ('b, 'a) Stdlib.result -> 'b