Source file ivar.ml

open Picos
open Picos_std_event

type 'a t = 'a Computation.t

let create () = Computation.create ()
let of_value = Computation.returned
let try_fill = Computation.try_return
let fill = Computation.return
let try_poison_at = Computation.try_cancel
let poison_at = Computation.cancel

let peek_opt ivar =
  match Computation.peek_exn ivar with
  | value -> Some value
  | exception Computation.Running -> None

let try_poison ?(callstack = 0) ivar exn =
  try_poison_at ivar exn (Printexc.get_callstack callstack)

let read = Computation.await
let read_evt = Event.from_computation

let[@inline always] poison ?(callstack = 0) ivar exn =
  poison_at ivar exn (Printexc.get_callstack callstack)