Enum Builtin 

pub enum Builtin {
    Length,
    Count,
    IsEmpty,
    IsNull,
    Contains,
    StartsWith,
    EndsWith,
    AsInt,
    AsFloat,
    AsString,
    AsBool,
}

The closed catalog of pure builtins (§Fase 70.c). All are total + pure. Collection/string predicates only; the predicate-taking folds (any/all/ none) need lambdas and are deferred, as are sum/min/max and in/??.

Variants

Length

.length — collection element count, or character count of a string.

Count

.count — alias of length.

IsEmpty

.is_empty — length == 0.

IsNull

.is_null — the value is absent / empty / null.

Contains

.contains(x) — array membership, or string substring.

StartsWith

.starts_with(s) — string prefix test.

EndsWith

.ends_with(s) — string suffix test.

AsInt

§Fase 73.c — .as_int — honest coercion of a Json value to an integer. Fail-closed: a value that is not a JSON integer resolves to null, never a panic (doctrine open_data_is_total).

AsFloat

§Fase 73.c — .as_float — honest coercion to a float (an integer widens; anything else → null).

AsString

§Fase 73.c — .as_string — honest coercion to a string (only a JSON string succeeds; a number / bool / null → null).

AsBool

§Fase 73.c — .as_bool — honest coercion to a boolean (only a JSON bool succeeds; anything else → null).

Implementations

impl Builtin

pub fn extra_arity(self) -> usize

The number of arguments AFTER the receiver (args[0]).

pub fn surface(self) -> &'static str

The surface name (after the .).

pub fn from_name(name: &str) -> Option<Builtin>

Resolve a name (after a .) to a builtin, or None if it is an ordinary field / path segment.

Trait Implementations

impl Clone for Builtin

fn clone(&self) -> Builtin

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Builtin

impl Debug for Builtin

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Eq for Builtin

impl PartialEq for Builtin

fn eq(&self, other: &Builtin) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Builtin