category

paseto_claims_helpers

Shared JSON and option helpers for PASETO claims workflows.

Availability:
logtalk_load(paseto(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-08-08
Compilation flags:
static
Extends:
public options
Uses:
json
list
Remarks:
(none)
Inherited public predicates:
 check_option/1  check_options/1  default_option/1  default_options/1  option/2  option/3  valid_option/1  valid_options/1

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

json_member/3

Enumerates JSON object member values for a key.

Compilation flags:
static
Template:
json_member(Key,Object,Value)
Mode and number of proofs:
json_member(+atom,+term,-term) - zero_or_more

json_object_pairs/2

Extracts pairs from a JSON object term.

Compilation flags:
static
Template:
json_object_pairs(Object,Pairs)
Mode and number of proofs:
json_object_pairs(+term,-list(compound)) - zero_or_one

json_object/1

Validates a JSON object and rejects duplicate member names.

Compilation flags:
static
Template:
json_object(Object)
Mode and number of proofs:
json_object(+term) - one_or_error
Exceptions:
Object is not a JSON object or contains duplicate members:
domain_error(paseto_json_object,Object)

json_bytes/2

Converts between a JSON term and its UTF-8-compatible byte representation.

Compilation flags:
static
Template:
json_bytes(JSON,Bytes)
Mode and number of proofs:
json_bytes(+term,-list(byte)) - one_or_error
json_bytes(-term,+list(byte)) - one_or_error
Exceptions:
JSON cannot be generated as JSON text:
domain_error(json_term,JSON)
Bytes cannot be parsed as JSON text:
domain_error(json_text,Bytes)

byte_list/1

Succeeds when the argument is a proper list of bytes.

Compilation flags:
static
Template:
byte_list(Bytes)
Mode and number of proofs:
byte_list(+term) - zero_or_one

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)