Module `Contract.User`Source

Sourceval ptime_to_yojson : Ptime.t -> [> `String of string ]

Sourceval ptime_of_yojson : Yojson__Safe.t -> (Ptime.t, string) result

Sourcetype status =

| Active
| Inactive

Sourceval status_to_yojson : status -> Yojson.Safe.t

val status_of_yojson : 
  Yojson.Safe.t ->
  status Ppx_deriving_yojson_runtime.error_or

Source

val pp_status : 
  Ppx_deriving_runtime.Format.formatter ->
  status ->
  Ppx_deriving_runtime.unit

Sourceval show_status : status -> Ppx_deriving_runtime.string

Sourceval status_of_string : string -> (status, string) result

Sourceval status_to_string : status -> string

Sourcetype t = {

id : string;
email : string;
username : string option;
name : string option;
given_name : string option;
password : string;
status : status;
admin : bool;
confirmed : bool;
created_at : Ptime.t;
updated_at : Ptime.t;

}

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

Sourceval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

Source

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval show_name : t -> string option

Sourceexception Exception of string

Sourceval name : string

Sourcemodule type Sig = sig ... end

Sourceval to_sexp : t -> Sexplib0.Sexp.t

Sourcemodule Hashing : sig ... end

Sourceval confirm : t -> t

Sourceval set_user_password : t -> string -> (t, string) result

Sourceval set_user_details : t -> email:string -> username:string option -> t

Sourceval is_admin : t -> bool

Sourceval is_owner : t -> String.t -> bool

Sourceval is_confirmed : t -> bool

Sourceval matches_password : string -> t -> bool

Sourceval default_password_policy : string -> (unit, string) result

Source

val validate_new_password : 
  password:String.t ->
  password_confirmation:String.t ->
  password_policy:(String.t -> (unit, string) result) ->
  (unit, string) result

Source

val validate_change_password : 
  t ->
  old_password:string ->
  new_password:String.t ->
  new_password_confirmation:String.t ->
  password_policy:(String.t -> (unit, string) result) ->
  (unit, string) result

Source

val make : 
  email:string ->
  password:string ->
  name:string option ->
  given_name:string option ->
  username:string option ->
  admin:bool ->
  confirmed:bool ->
  (t, string) result

package sihl

Module Contract.UserSource

Module `Contract.User`Source