sihl 0.4.0 · OCaml Package

val names : string list

val dirty : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm

val version : 
  ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm

val namespace : 
  ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm

val make_creator : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      'a ->
      ('b -> string) * 'c) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'c ->
      ('b -> int) * 'd) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      'd ->
      ('b -> bool) * 'e) ->
  'a ->
  ('b -> t) * 'e

val create : namespace:string -> version:int -> dirty:bool -> t

val map : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      string) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> int) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      bool) ->
  t

val iter : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      unit) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      unit) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      unit) ->
  unit

val fold : 
  init:'a ->
  namespace:
    ('a ->
      ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      'b) ->
  version:
    ('b ->
      ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      'c) ->
  dirty:
    ('c ->
      ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      'd) ->
  'd

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

val for_all : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      bool) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      bool) ->
  bool

val exists : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      bool) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ->
      bool) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm ->
      bool) ->
  bool

val to_list : 
  namespace:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      'a) ->
  version:
    (([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> 'a) ->
  dirty:
    (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) ->
  'a list

module Direct : sig ... end

package sihl