Enum jrsonnet_evaluator::function::FuncVal

pub enum FuncVal {
    Id,
    Normal(Cc<FuncDesc>),
    StaticBuiltin(&'static dyn StaticBuiltin),
    Builtin(Cc<TraceBox<dyn Builtin>>),
}

Represents a Jsonnet function value, including plain functions and user-provided builtins.

Variants

Id

Identity function, kept this way for comparsions.

Normal(Cc<FuncDesc>)

Plain function implemented in jsonnet.

StaticBuiltin(&'static dyn StaticBuiltin)

Standard library function.

Builtin(Cc<TraceBox<dyn Builtin>>)

User-provided function.

Implementations

impl FuncVal

pub fn builtin(builtin: impl Builtin) -> Self

pub fn params_len(&self) -> usize

Amount of non-default required arguments

pub fn name(&self) -> IStr

Function name, as defined in code.

pub fn evaluate(
    &self,
    call_ctx: Context,
    loc: CallLocation<'_>,
    args: &dyn ArgsLike,
    tailstrict: bool
) -> Result<Val>

Call function using arguments evaluated in specified call_ctx Context.

If tailstrict is specified - then arguments will be evaluated before being passed to function body.

pub fn evaluate_simple<A: ArgsLike + OptionalContext>(
    &self,
    args: &A
) -> Result<Val>

pub fn into_native<D: NativeDesc>(self) -> D::Value

Convert jsonnet function to plain Fn value.

pub fn is_identity(&self) -> bool

Is this function an indentity function.

Currently only works for builtin std.id, aka Self::Id value, and function(x) x.

This function should only be used for optimization, not for the conditional logic, i.e code should work with syntetic identity function too

pub const fn identity() -> Self

Identity function value.

pub fn evaluate_trivial(&self) -> Option<Val>

Trait Implementations

impl Clone for FuncVal

fn clone(&self) -> FuncVal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FuncVal

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

Formats the value using the given formatter.

impl Trace for FuncVal

fn trace(&self, tracer: &mut Tracer<'_>)

Define how to visit values referred by this value.

fn is_type_tracked() -> bool

Whether this type should be tracked by the collector.

impl Typed for FuncVal

const TYPE: &'static ComplexValType = _

fn into_untyped(value: Self) -> Result<Val>

fn from_untyped(value: Val) -> Result<Self>