package async_kernel

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val exec : ([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm
val execution_context : ([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm
val make_creator : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Execution_context.t) * 'c) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> 'c -> ('b -> unit -> Exec_result.t) * 'd) -> 'a -> ('b -> t) * 'd
val create : execution_context:Execution_context.t -> exec:(unit -> Exec_result.t) -> t
val map : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> Execution_context.t) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> unit -> Exec_result.t) -> t
val iter : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> unit) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> execution_context: ('a -> ([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'b) -> exec: ('b -> ([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> 'c) -> 'c
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
val for_all : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> bool) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : execution_context: (([< `Read | `Set_and_create ], t, Execution_context.t) Fieldslib.Field.t_with_perm -> 'a) -> exec: (([< `Read | `Set_and_create ], t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end