sihl-type 0.2.2 (latest) · OCaml Package

val iter : 
  t ->
  id:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'a) ->
  value:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'b) ->
  data:
    (([< `Read | `Set_and_create ], t, string option)
       Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      'c) ->
  kind:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'd) ->
  status:
    (([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      'e) ->
  expires_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'f) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'g) ->
  'g

val fold : 
  t ->
  init:'a ->
  id:
    ('a ->
      ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'b) ->
  value:
    ('b ->
      ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'c) ->
  data:
    ('c ->
      ([< `Read | `Set_and_create ], t, string option)
        Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      'd) ->
  kind:
    ('d ->
      ([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'e) ->
  status:
    ('e ->
      ([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      'f) ->
  expires_at:
    ('f ->
      ([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'g) ->
  created_at:
    ('g ->
      ([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'h) ->
  'h

val for_all : 
  t ->
  id:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  value:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  data:
    (([< `Read | `Set_and_create ], t, string option)
       Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      bool) ->
  kind:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  status:
    (([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      bool) ->
  expires_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      bool) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      bool) ->
  bool

val exists : 
  t ->
  id:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  value:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  data:
    (([< `Read | `Set_and_create ], t, string option)
       Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      bool) ->
  kind:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      bool) ->
  status:
    (([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      bool) ->
  expires_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      bool) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      bool) ->
  bool

val to_list : 
  t ->
  id:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'a) ->
  value:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'a) ->
  data:
    (([< `Read | `Set_and_create ], t, string option)
       Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      'a) ->
  kind:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      'a) ->
  status:
    (([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      'a) ->
  expires_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'a) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      'a) ->
  'a list

val map : 
  t ->
  id:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      string) ->
  value:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      string) ->
  data:
    (([< `Read | `Set_and_create ], t, string option)
       Fieldslib.Field.t_with_perm ->
      t ->
      string option ->
      string option) ->
  kind:
    (([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
      t ->
      string ->
      string) ->
  status:
    (([< `Read | `Set_and_create ], t, Status.t) Fieldslib.Field.t_with_perm ->
      t ->
      Status.t ->
      Status.t) ->
  expires_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      Ptime.t) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      t ->
      Ptime.t ->
      Ptime.t) ->
  t

val set_all_mutable_fields : 'a -> unit

package sihl-type