Returns the body of the request (the expression to be evaluated).
Returns the unique identifier (ARID) of the request.
Returns the note attached to the request, or an empty string if none exists.
The date attached to the request as a JavaScript Date (millisecond
precision), if any; cborDate is the exact value.
The date attached to the request, if any: the stored CborDate, exact as decoded or given.
Returns the function of the request.
Returns the expression envelope of the request.
StaticfromA request for func (a Function, a known-function id, a name, or
a ready Expression) identified by id.
Returns a human-readable summary of the request.
Adds a parameter to the request.
Adds a date to the request: a CborDate is kept as it is (the
reference's Date, exact to the nanosecond); a JavaScript Date
converts through CborDate.fromDate.
Converts the request to an envelope.
The envelope's subject is the request's ID tagged with TAG_REQUEST, and assertions include the request's body, note (if not empty), and date (if present).
StaticfromReads a request from an envelope (the reference's
Request::try_from((envelope, expected_function))): the 'body'
object as an expression, the subject as TAG_REQUEST(ARID), the
'note' and 'date' objects by subject extraction.
EnvelopeError NonexistentPredicate / AmbiguousPredicate when the body is
not exactly one; Cbor (dcbor error: <reason>) when the body is not an
expression or is not expectedFunction; NotLeaf / Cbor when the subject is not
TAG_REQUEST(ARID); Cbor / InvalidFormat when a 'note' is not text or a
'date' is not a tag-1 date
Returns a string representation of the request.
Checks equality with another request: the id, the note, the exact
date and the body envelope must all be equal (the reference's derived
PartialEq).
A Request represents a message requesting execution of a function with parameters.
Example