package async_kernel

  1. Overview
  2. Docs
package async_kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Scheduler : sig ... end
type +'a t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a Deferred.t -> Sexplib0.Sexp.t
include Core.Invariant.S1 with type 'a t := 'a Deferred.t
val invariant : ('a -> unit) -> 'a Deferred.t -> unit
val of_ivar : 'a Async_kernel__.Types.Ivar.t -> 'a Deferred.t
val create : ('a Async_kernel__.Types.Ivar.t -> unit) -> 'a Deferred.t
val peek : 'a Deferred.t -> 'a option
val value_exn : 'a Deferred.t -> 'a
val is_determined : _ Deferred.t -> bool
val upon : 'a Deferred.t -> ('a -> unit) -> unit
module Handler : sig ... end
val add_handler : 'a Deferred.t -> ('a -> unit) -> Execution_context.t -> 'a Handler.t
val remove_handler : 'a Deferred.t -> 'a Handler.t -> unit
val never : unit -> 'a Deferred.t
module M : sig ... end
include module type of struct include M end
val (>>=) : 'a Async_kernel__.Types.Deferred.t -> ('a0 -> 'b Async_kernel__.Types.Deferred.t) -> 'b0 Async_kernel__.Types.Deferred.t
val (>>|) : 'a Async_kernel__.Types.Deferred.t -> ('a0 -> 'b) -> 'b0 Async_kernel__.Types.Deferred.t
module Monad_infix = M.Monad_infix
val bind : 'a Async_kernel__.Types.Deferred.t -> f:('a0 -> 'b Async_kernel__.Types.Deferred.t) -> 'b0 Async_kernel__.Types.Deferred.t
val map : 'a Async_kernel__.Types.Deferred.t -> f:('a0 -> 'b) -> 'b0 Async_kernel__.Types.Deferred.t
val join : 'a Async_kernel__.Types.Deferred.t Async_kernel__.Types.Deferred.t -> 'a0 Async_kernel__.Types.Deferred.t
val ignore_m : 'a Async_kernel__.Types.Deferred.t -> unit Async_kernel__.Types.Deferred.t
val return : 'a -> 'a Deferred.t
module Let_syntax : sig ... end
val unit : unit Deferred.t
val both : 'a Deferred.t -> 'b Deferred.t -> ('c * 'd) Deferred.t
module Infix : sig ... end
val don't_wait_for : unit Deferred.t -> unit
module Choice : sig ... end
module Unregister : sig ... end
val choice : 'a Deferred.t -> ('a -> 'b) -> 'b Choice.t
val enabled : 'a Choice.t list -> (unit -> 'b list) Deferred.t
val choose_result : 'a Unregister.t -> 'b
val generic_choose : 'a Choice.t list -> 'b Deferred.t
val choose2 : 'a Deferred.t -> ('b -> 'c) -> 'd Deferred.t -> ('e -> 'f) -> 'g Deferred.t
val choose : 'a Choice.t list -> 'b Deferred.t
val any_f : 'a Deferred.t list -> ('a -> 'b) -> 'c Deferred.t
val any : 'a Deferred.t list -> 'b Deferred.t
val any_unit : unit Deferred.t list -> unit Deferred.t
val for_ : int -> to_:int -> do_:(int -> unit Async_kernel__.Types.Deferred.t) -> unit Deferred.t
val repeat_until_finished : 'a -> ('b -> [< `Finished of 'c | `Repeat of 'd ] Deferred.t) -> 'e Deferred.t
val forever : 'a -> ('b -> 'c Async_kernel__.Types.Deferred.t) -> unit
val sexp_of_how : how -> Sexplib0.Sexp.t
module type Monad_sequence = Monad_sequence.S with type 'a monad := 'a Deferred.t
val fold : 'a list -> init:'b -> f:('c -> 'd -> 'e Deferred.t) -> 'f Deferred.t
val seqmap : 'a list -> f:('b -> 'c Async_kernel__.Types.Deferred.t) -> 'd list Async_kernel__.Types.Deferred.t
val all : 'a Async_kernel__.Types.Deferred.t list -> 'a list Async_kernel__.Types.Deferred.t
val all_unit : unit Deferred.t list -> unit Deferred.t
val ok : 'a Async_kernel__.Types.Deferred.t -> ('b, 'c) Core._result Async_kernel__.Types.Deferred.t
module For_tests : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct