package travesty

The type of the extended monad.

when_m predicate ~f returns f () when predicate is true, and return () otherwise.

unless_m predicate ~f returns f () when predicate is false, and return () otherwise.

tee_m val ~f executes f val for its monadic action, then returns val.

Example:

let fail_if_negative x =
  T_on_error.when_m (Int.is_negative x)
    ~f:(fun () -> Or_error.error_string "value is negative!")
in
Or_error.(
  42 |> T_on_error.tee_m ~f:fail_if_negative >>| (fun x -> x * x)
) (* Ok (1764) *)