Dasemu
40631362b3
Establishes version control for the personal Logseq DB fork before starting the server-client architecture migration and domain features described in docs/agent-guide and the approved implementation plan. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
25 lines
713 B
OCaml
25 lines
713 B
OCaml
(** Runtime effect abstraction. *)
|
|
|
|
type 'a t
|
|
type 'a resolver
|
|
|
|
val pure : 'a -> 'a t
|
|
val error : exn -> 'a t
|
|
val map : ('a -> 'b) -> 'a t -> 'b t
|
|
val map_s : ('a -> 'b t) -> 'a Rrbvec.t -> 'b Rrbvec.t t
|
|
val bind : 'a t -> ('a -> 'b t) -> 'b t
|
|
val both : 'a t -> 'b t -> ('a * 'b) t
|
|
val all : 'a t Rrbvec.t -> 'a Rrbvec.t t
|
|
val catch : 'a t -> (exn -> 'a t) -> 'a t
|
|
val finally : 'a t -> (unit -> unit t) -> 'a t
|
|
val sleep : float -> unit t
|
|
val wait : unit -> 'a t * 'a resolver
|
|
val wakeup : 'a resolver -> 'a -> unit
|
|
val is_pending : 'a t -> bool
|
|
val async : (unit -> unit t) -> unit
|
|
val on_any : 'a t -> ('a -> unit) -> (exn -> unit) -> unit
|
|
|
|
module Infix : sig
|
|
val ( >>= ) : 'a t -> ('a -> 'b t) -> 'b t
|
|
end
|