Module type Utils.IoStyle

exceptions thrown in executing second argument of bind is expected to be caught and could be retrieved using extract_error

type 'x t
val return : 'x -> 'x t
val bind : 'x t -> ('x -> 'y t) -> 'y t
val inject_error : exn -> 'x t
val extract_error : 'x t -> ('x, exn * Utils.backtrace_info option) Stdlib.result t
val trace : string t -> unit