object

paseto_keys

Validation and selection for native PASETO v4 key sets.

Availability:

logtalk_load(paseto(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-08-08

Compilation flags:

static, context_switching_calls

Uses:

list

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates

validate/1

Validates a key_set/1 term containing local/2 and public/2 records.

Compilation flags:

static

Template:

validate(KeySet)

Mode and number of proofs:

validate(+compound) - one_or_error

Exceptions:

KeySet is not a valid key_set/1 term:

domain_error(paseto_key_set,KeySet)

KeySet contains an invalid key record Record:

domain_error(paseto_key_record,Record)

---

select_keys/4

Selects all keys matching Purpose and optional KeyId, preserving key-set order.

Compilation flags:

static

Template:

select_keys(KeySet,Purpose,KeyId,Keys)

Mode and number of proofs:

select_keys(+compound,+atom,+term,-list(list(byte))) - one_or_error

Exceptions:

KeySet is not a valid key_set/1 term:

domain_error(paseto_key_set,KeySet)

KeySet contains an invalid key record Record:

domain_error(paseto_key_record,Record)

No key matches Purpose and KeyId:

existence_error(paseto_key,Purpose-KeyId)

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)