package jwto

You can search for identifiers within the package.

in-package search v0.2.0

JWT encoding, decoding and verification

Install

md5=0d79373ce2262958c83eeae5e142150e

sha512=06b0cb3badadcc3e5650ae3279ec07fb6f110eacf5b82b6420e6d8f434dc00bf5cf2ae1f0baee2d924811062d4218e9b23a0f9af72ab2ac3a6357d886bcf4620

Sourcetype algorithm =

Sourcetype t

Sourcetype header

Sourcetype payload = (string * string) list

Sourcetype unsigned_token

Sourceval encode : algorithm -> string -> payload -> (string, string) result

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

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

Sourceval is_valid : string -> t -> bool

Sourceval make_header : algorithm -> header

Sourceval make_unsigned_token : header -> payload -> unsigned_token

Sourceval make_signed_token : string -> unsigned_token -> (t, string) result

Sourceval pp : Format.formatter -> t -> unit

Sourceval eq : t -> t -> bool

Sourceval algorithm_to_string : algorithm -> string

Sourceval show_algorithm : algorithm -> string

Sourceval header_to_string : header -> string

Sourceval show_header : header -> string

Sourceval payload_to_string : payload -> string

Sourceval show_payload : payload -> string

Sourceval get_claim : string -> payload -> string option