The numeric id of a known function (a number when safe, else a bigint); undefined for a named one.
The exact numeric id of a known function; undefined for a named one.
Returns the function identifier (the numeric id for known, the name for named).
Returns the display name of the function.
For known functions with a name, returns the name. For known functions without a name, returns the numeric ID as a string. For named functions, returns the name enclosed in quotes.
Returns the raw name for named functions, or undefined for known functions.
Returns the assigned name if present (for known functions only).
StaticcodecTagged-CBOR codec. decode requires #6.40006(n): the tag is part of
the type, as in the reference's TryFrom<CBOR>; use fromUntaggedCbor
for the bare id. tags is named from the global tags store at each
access, as the reference's cbor_tags() is.
StaticfromA function by known id (a number or bigint) or name (a string).
StaticknownA known function with a numeric id and an optional display name.
Optionalname: stringStaticnamedReturns true if this is a known (numeric) function.
Returns true if this is a named (string) function.
The function tag (40006), named as the global tags store names it at the time.
The bare id: the unsigned integer of a known function, the text of a named one.
#6.40006(id), the tag named as the global tags store names it.
StaticfromStaticfromDecode the bare id — the content of tag 40006 (the reference's
from_untagged_cbor): an unsigned integer is a known function, a text
a named one.
Creates an expression envelope with this function as the subject: the
leaf #6.40006(id), as the reference's Envelope::new_leaf(function).
Creates an expression with a parameter.
Checks equality based on value (for known) or name (for named).
The reference's Display: the assigned name or the number for a known
function, the name in quotes for a named one (add, 99, "greet").
The «…» form belongs to the format strings, where the format context
prints it on both sides.
Represents a function identifier in an expression.
In Gordian Envelope, a function appears as the subject of an expression envelope, with its parameters as assertions on that envelope.
Functions can be identified in two ways:
A known function's id is the reference's
u64:valueis anumberwhen it is a safe integer and abigintotherwise,valueBigIntis always exact.When encoded in CBOR, functions are tagged with #6.40006.