sihl 0.0.56 · OCaml Package

val names : string list

val retry_delay : 
  ([< `Read | `Set_and_create ], 'a t, Utils.Time.duration)
    Fieldslib.Field.t_with_perm

val max_tries : 
  ([< `Read | `Set_and_create ], 'a t, Base.int) Fieldslib.Field.t_with_perm

val failed : 
  ([< `Read | `Set_and_create ],
    'a t,
    Core.Ctx.t ->
    (Base.unit, Base.string) Base.Result.t Lwt.t)
    Fieldslib.Field.t_with_perm

val handle : 
  ([< `Read | `Set_and_create ],
    'a t,
    Core.Ctx.t ->
    input:'a0 ->
    (Base.unit, Base.string) Base.Result.t Lwt.t)
    Fieldslib.Field.t_with_perm

val string_to_input : 
  ([< `Read | `Set_and_create ],
    'a t,
    Base.string Base.option ->
    ('a0, Base.string) Base.Result.t)
    Fieldslib.Field.t_with_perm

val input_to_string : 
  ([< `Read | `Set_and_create ], 'a t, 'a0 -> Base.string Base.option)
    Fieldslib.Field.t_with_perm

val with_context : 
  ([< `Read | `Set_and_create ], 'a t, Core.Ctx.t -> Core.Ctx.t)
    Fieldslib.Field.t_with_perm

val name : 
  ([< `Read | `Set_and_create ], 'a t, Base.string) Fieldslib.Field.t_with_perm

val make_creator : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      'b ->
      ('c -> Base.string) * 'd) ->
  with_context:
    (([< `Read | `Set_and_create ], 'e t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      'f ->
      ('g -> Core.Ctx.t -> Core.Ctx.t) * 'h) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'i t, 'i -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'j ->
      ('k -> 'l -> Base.string Base.option) * 'm) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'n t,
       Base.string Base.option ->
       ('n, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      'o ->
      ('p -> Base.string Base.option -> ('q, Base.string) Base.Result.t) * 'r) ->
  handle:
    (([< `Read | `Set_and_create ],
       's t,
       Core.Ctx.t ->
       input:'s ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      't ->
      ('u ->
      Core.Ctx.t ->
      input:'v ->
      (Base.unit, Base.string) Base.Result.t Lwt.t)
      * 'w) ->
  failed:
    (([< `Read | `Set_and_create ],
       'x t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      'y ->
      ('z -> Core.Ctx.t -> (Base.unit, Base.string) Base.Result.t Lwt.t) * 'a1) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'b1 t, Base.int)
       Fieldslib.Field.t_with_perm ->
      'c1 ->
      ('d1 -> Base.int) * 'e1) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'f1 t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      'g1 ->
      ('h1 -> Utils.Time.duration) * 'i1) ->
  'j1 ->
  ('k1 -> 'l1 t) * 'm1

val create : 
  name:Base.string ->
  with_context:(Core.Ctx.t -> Core.Ctx.t) ->
  input_to_string:('a -> Base.string Base.option) ->
  string_to_input:(Base.string Base.option -> ('b, Base.string) Base.Result.t) ->
  handle:
    (Core.Ctx.t -> input:'c -> (Base.unit, Base.string) Base.Result.t Lwt.t) ->
  failed:(Core.Ctx.t -> (Base.unit, Base.string) Base.Result.t Lwt.t) ->
  max_tries:Base.int ->
  retry_delay:Utils.Time.duration ->
  'd t

val map : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      Base.string) ->
  with_context:
    (([< `Read | `Set_and_create ], 'b t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      Core.Ctx.t ->
      Core.Ctx.t) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'c t, 'c -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'd ->
      Base.string Base.option) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'e t,
       Base.string Base.option ->
       ('e, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      Base.string Base.option ->
      ('f, Base.string) Base.Result.t) ->
  handle:
    (([< `Read | `Set_and_create ],
       'g t,
       Core.Ctx.t ->
       input:'g ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Core.Ctx.t ->
      input:'h ->
      (Base.unit, Base.string) Base.Result.t Lwt.t) ->
  failed:
    (([< `Read | `Set_and_create ],
       'i t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Core.Ctx.t ->
      (Base.unit, Base.string) Base.Result.t Lwt.t) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'j t, Base.int) Fieldslib.Field.t_with_perm ->
      Base.int) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'k t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      Utils.Time.duration) ->
  'l t

val iter : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  with_context:
    (([< `Read | `Set_and_create ], 'b t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'c t, 'c -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'd t,
       Base.string Base.option ->
       ('d, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  handle:
    (([< `Read | `Set_and_create ],
       'e t,
       Core.Ctx.t ->
       input:'e ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  failed:
    (([< `Read | `Set_and_create ],
       'f t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'g t, Base.int) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'h t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  Base.unit

val fold : 
  init:'a ->
  name:
    ('b ->
      ([< `Read | `Set_and_create ], 'c t, Base.string)
        Fieldslib.Field.t_with_perm ->
      'd) ->
  with_context:
    ('e ->
      ([< `Read | `Set_and_create ], 'f t, Core.Ctx.t -> Core.Ctx.t)
        Fieldslib.Field.t_with_perm ->
      'g) ->
  input_to_string:
    ('h ->
      ([< `Read | `Set_and_create ], 'i t, 'i -> Base.string Base.option)
        Fieldslib.Field.t_with_perm ->
      'j) ->
  string_to_input:
    ('k ->
      ([< `Read | `Set_and_create ],
        'l t,
        Base.string Base.option ->
        ('l, Base.string) Base.Result.t)
        Fieldslib.Field.t_with_perm ->
      'm) ->
  handle:
    ('n ->
      ([< `Read | `Set_and_create ],
        'o t,
        Core.Ctx.t ->
        input:'o ->
        (Base.unit, Base.string) Base.Result.t Lwt.t)
        Fieldslib.Field.t_with_perm ->
      'p) ->
  failed:
    ('q ->
      ([< `Read | `Set_and_create ],
        'r t,
        Core.Ctx.t ->
        (Base.unit, Base.string) Base.Result.t Lwt.t)
        Fieldslib.Field.t_with_perm ->
      's) ->
  max_tries:
    ('t ->
      ([< `Read | `Set_and_create ], 'u t, Base.int)
        Fieldslib.Field.t_with_perm ->
      'v) ->
  retry_delay:
    ('w ->
      ([< `Read | `Set_and_create ], 'x t, Utils.Time.duration)
        Fieldslib.Field.t_with_perm ->
      'y) ->
  'z

val map_poly : 
  ([< `Read | `Set_and_create ], 'a t, 'b) Fieldslib.Field.user ->
  'c list

val for_all : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  with_context:
    (([< `Read | `Set_and_create ], 'b t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'c t, 'c -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'd t,
       Base.string Base.option ->
       ('d, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  handle:
    (([< `Read | `Set_and_create ],
       'e t,
       Core.Ctx.t ->
       input:'e ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  failed:
    (([< `Read | `Set_and_create ],
       'f t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'g t, Base.int) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'h t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val exists : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  with_context:
    (([< `Read | `Set_and_create ], 'b t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'c t, 'c -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'd t,
       Base.string Base.option ->
       ('d, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  handle:
    (([< `Read | `Set_and_create ],
       'e t,
       Core.Ctx.t ->
       input:'e ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  failed:
    (([< `Read | `Set_and_create ],
       'f t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'g t, Base.int) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'h t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val to_list : 
  name:
    (([< `Read | `Set_and_create ], 'a t, Base.string)
       Fieldslib.Field.t_with_perm ->
      'b) ->
  with_context:
    (([< `Read | `Set_and_create ], 'c t, Core.Ctx.t -> Core.Ctx.t)
       Fieldslib.Field.t_with_perm ->
      'd) ->
  input_to_string:
    (([< `Read | `Set_and_create ], 'e t, 'e -> Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'f) ->
  string_to_input:
    (([< `Read | `Set_and_create ],
       'g t,
       Base.string Base.option ->
       ('g, Base.string) Base.Result.t)
       Fieldslib.Field.t_with_perm ->
      'h) ->
  handle:
    (([< `Read | `Set_and_create ],
       'i t,
       Core.Ctx.t ->
       input:'i ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      'j) ->
  failed:
    (([< `Read | `Set_and_create ],
       'k t,
       Core.Ctx.t ->
       (Base.unit, Base.string) Base.Result.t Lwt.t)
       Fieldslib.Field.t_with_perm ->
      'l) ->
  max_tries:
    (([< `Read | `Set_and_create ], 'm t, Base.int) Fieldslib.Field.t_with_perm ->
      'n) ->
  retry_delay:
    (([< `Read | `Set_and_create ], 'o t, Utils.Time.duration)
       Fieldslib.Field.t_with_perm ->
      'p) ->
  'q list

module Direct : sig ... end

package sihl