Module `Token.Fields`Source

Sourceval names : string list

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

Source

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

Source

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

Source

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

Source

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

Source

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

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

Source

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

Source

val create : 
  id:string ->
  value:string ->
  data:string option ->
  kind:string ->
  status:Status.t ->
  expires_at:Ptime.t ->
  created_at:Ptime.t ->
  t

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourcemodule Direct : sig ... end

package sihl-type

Module Token.FieldsSource

Module `Token.Fields`Source