package async_kernel

  1. Overview
  2. Docs
package async_kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val is_detached : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val has_seen_error : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val tails_for_all_errors : ([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm
val handlers_for_all_errors : ([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm
val next_error : ([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm
val parent : ([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm
val id : ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm
val here : ([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm
val name : ([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm
val make_creator : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Core_kernel.Info.t) * 'c) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> 'c -> ('b -> Core_kernel.Source_code_position.t option) * 'd) -> id: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'd -> ('b -> int) * 'e) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> 'e -> ('b -> t option) * 'f) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> 'f -> ('b -> exn Async_kernel__.Types.Ivar.t) * 'g) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> 'g -> ('b -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) * 'h) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> 'h -> ('b -> exn Async_kernel__.Types.Tail.t list) * 'i) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'i -> ('b -> bool) * 'j) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'j -> ('b -> bool) * 'k) -> 'a -> ('b -> t) * 'k
val create : name:Core_kernel.Info.t -> here:Core_kernel.Source_code_position.t option -> id:int -> parent:t option -> next_error:exn Async_kernel__.Types.Ivar.t -> handlers_for_all_errors: (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t -> tails_for_all_errors:exn Async_kernel__.Types.Tail.t list -> has_seen_error:bool -> is_detached:bool -> t
val map : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> Core_kernel.Info.t) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> Core_kernel.Source_code_position.t option) -> id: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> t option) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> exn Async_kernel__.Types.Ivar.t) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> exn Async_kernel__.Types.Tail.t list) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> t
val iter : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> unit) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> unit) -> id: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> unit) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> unit) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> unit) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> unit) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> unit) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> name: ('a -> ([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> 'b) -> here: ('b -> ([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> 'c) -> id: ('c -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'd) -> parent: ('d -> ([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> 'e) -> next_error: ('e -> ([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> 'f) -> handlers_for_all_errors: ('f -> ([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> 'g) -> tails_for_all_errors: ('g -> ([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> 'h) -> has_seen_error: ('h -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'i) -> is_detached: ('i -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'j) -> 'j
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
val for_all : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> bool) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> bool) -> id: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> bool) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> bool) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> bool) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> bool) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> bool) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> bool) -> id: (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> bool) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> bool) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> bool) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> bool) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> bool) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : name: (([< `Read | `Set_and_create ], t, Core_kernel.Info.t) Fieldslib.Field.t_with_perm -> 'a) -> here: (([< `Read | `Set_and_create ], t, Core_kernel.Source_code_position.t option) Fieldslib.Field.t_with_perm -> 'a) -> id:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) -> parent: (([< `Read | `Set_and_create ], t, t option) Fieldslib.Field.t_with_perm -> 'a) -> next_error: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Ivar.t) Fieldslib.Field.t_with_perm -> 'a) -> handlers_for_all_errors: (([< `Read | `Set_and_create ], t, (Async_kernel__.Types.Execution_context.t * (exn -> unit)) Core_kernel.Bag.t) Fieldslib.Field.t_with_perm -> 'a) -> tails_for_all_errors: (([< `Read | `Set_and_create ], t, exn Async_kernel__.Types.Tail.t list) Fieldslib.Field.t_with_perm -> 'a) -> has_seen_error: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> is_detached: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end