Module Fields.Direct

val iter : t -> execution_context:(([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> 'a) -> exec:(([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> 'b) -> 'b
val fold : t -> init:'a -> execution_context:('a -> ([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> 'b) -> exec:('b -> ([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> 'c) -> 'c
val for_all : t -> execution_context:(([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> bool) -> exec:(([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> bool) -> bool
val exists : t -> execution_context:(([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> bool) -> exec:(([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> bool) -> bool
val to_list : t -> execution_context:(([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> 'a) -> exec:(([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> 'a) -> 'a list
val map : t -> execution_context:(([< `Read | `Set_and_create ]tAsync_kernel.Execution_context.t) Fieldslib.Field.t_with_perm -> t -> Async_kernel.Execution_context.t -> Async_kernel.Execution_context.t) -> exec:(([< `Read | `Set_and_create ]t, unit -> Exec_result.t) Fieldslib.Field.t_with_perm -> t -> (unit -> Exec_result.t) -> unit -> Exec_result.t) -> t
val set_all_mutable_fields : 'a -> unit