sihl 0.0.56 · OCaml Package

val names : string list

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

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

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

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

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

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

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

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

val make_creator : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'a ->
      ('b -> Base.string) * 'c) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'd ->
      ('e -> Base.string) * 'f) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'g ->
      ('h -> Base.string Base.option) * 'i) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'j ->
      ('k -> Base.string) * 'l) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'm ->
      ('n -> Base.string) * 'o) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      'p ->
      ('q -> Base.bool) * 'r) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      's ->
      ('t -> Base.bool) * 'u) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      'v ->
      ('w -> Ptime.t) * 'x) ->
  'y ->
  ('z -> t) * 'a1

val create : 
  id:Base.string ->
  email:Base.string ->
  username:Base.string Base.option ->
  password:Base.string ->
  status:Base.string ->
  admin:Base.bool ->
  confirmed:Base.bool ->
  created_at:Ptime.t ->
  t

val map : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.string) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.string) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.string Base.option) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.string) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.string) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      Ptime.t) ->
  t

val iter : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  Base.unit

val fold : 
  init:'a ->
  id:
    ('b ->
      ([< `Read | `Set_and_create ], t, Base.string)
        Fieldslib.Field.t_with_perm ->
      'c) ->
  email:
    ('d ->
      ([< `Read | `Set_and_create ], t, Base.string)
        Fieldslib.Field.t_with_perm ->
      'e) ->
  username:
    ('f ->
      ([< `Read | `Set_and_create ], t, Base.string Base.option)
        Fieldslib.Field.t_with_perm ->
      'g) ->
  password:
    ('h ->
      ([< `Read | `Set_and_create ], t, Base.string)
        Fieldslib.Field.t_with_perm ->
      'i) ->
  status:
    ('j ->
      ([< `Read | `Set_and_create ], t, Base.string)
        Fieldslib.Field.t_with_perm ->
      'k) ->
  admin:
    ('l ->
      ([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      'm) ->
  confirmed:
    ('n ->
      ([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      'o) ->
  created_at:
    ('p ->
      ([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      'q) ->
  'r

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

val for_all : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val exists : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val to_list : 
  id:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'a) ->
  email:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'b) ->
  username:
    (([< `Read | `Set_and_create ], t, Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'c) ->
  password:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'd) ->
  status:
    (([< `Read | `Set_and_create ], t, Base.string) Fieldslib.Field.t_with_perm ->
      'e) ->
  admin:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      'f) ->
  confirmed:
    (([< `Read | `Set_and_create ], t, Base.bool) Fieldslib.Field.t_with_perm ->
      'g) ->
  created_at:
    (([< `Read | `Set_and_create ], t, Ptime.t) Fieldslib.Field.t_with_perm ->
      'h) ->
  'i list

module Direct : sig ... end

package sihl