Struct Func 

pub struct Func {
    pub vars: Vec<Symbol>,
    pub body_cas: Option<CasExpr>,
    pub body_native: Option<NativeFn>,
    pub metadata: FuncMetadata,
}

A callable function value in the Func number domain: its bound variables plus an optional symbolic (CAS) body and/or native body.

Fields

vars: Vec<Symbol>

The ordered parameter symbols bound when the function is invoked.

body_cas: Option<CasExpr>

The symbolic body, when the function can be expressed as a CAS expression.

body_native: Option<NativeFn>

The native body, used when no symbolic body is available.

metadata: FuncMetadata

Out-of-band metadata describing the function.

Implementations

impl Func

pub fn new( vars: Vec<Symbol>, body_cas: Option<CasExpr>, body_native: Option<NativeFn>, metadata: FuncMetadata, ) -> Self

Builds a function from its variables, optional symbolic and native bodies, and metadata.

pub fn symbolic(vars: Vec<Symbol>, body_cas: CasExpr) -> Self

Builds a function with a symbolic (CAS) body and default metadata.

pub fn native(vars: Vec<Symbol>, body_native: NativeFn) -> Self

Builds a function with a native (Rust closure) body and default metadata.

Examples

use std::sync::Arc;
use sim_kernel::Symbol;
use sim_lib_numbers_func::Func;

let func = Func::native(
    vec![Symbol::new("x")],
    Arc::new(|_cx, args| Ok(args[0].clone())),
);
assert_eq!(func.vars, vec![Symbol::new("x")]);
assert!(func.body_cas.is_none());
assert!(func.body_native.is_some());

Trait Implementations

impl Callable for Func

fn call(&self, cx: &mut Cx, args: Args) -> Result<Value>

Invoke the callable with already-evaluated, checked Args.

fn browse_args_shape(&self, _cx: &mut Cx) -> Result<Option<Value>, Error>

Optional shape describing the accepted argument list, for browsing.

fn browse_result_shape(&self, _cx: &mut Cx) -> Result<Option<Value>, Error>

Optional shape describing the call result, for browsing.

fn call_exprs(&self, cx: &mut Cx, args: RawArgs) -> Result<Value, Error>

Invoke the callable on raw, unevaluated argument expressions.

impl Citizen for Func

fn citizen_symbol() -> Symbol

The citizen’s namespace/name class symbol.

fn citizen_version() -> u32

The citizen’s encoding version.

fn citizen_arity() -> usize

Number of constructor fields (excluding the version argument).

fn citizen_fields() -> &'static [&'static str]

The citizen’s field names, in constructor order.

impl Clone for Func

fn clone(&self) -> Func

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl NumberValue for Func

fn number_domain(&self, _cx: &mut Cx) -> Result<Symbol>

The number domain this value reports membership in.

fn number_literal(&self, _cx: &mut Cx) -> Result<Option<NumberLiteral>, Error>

Canonical literal form, or Ok(None) when not representable.

impl Object for Func

fn display(&self, cx: &mut Cx) -> Result<String>

Render the object as a human-readable display string.

fn as_any(&self) -> &dyn Any

Expose the object for Rust downcasting.

fn header(&self) -> &ObjectHeader

Identity and trust header for the object; defaults to the shared anonymous header.

fn op(&self, _key: &OpKey) -> Option<&dyn Op>

Resolve the operation registered under key, if any.

fn claims( &self, _cx: &mut Cx, _pattern: &ClaimPattern, _sink: &mut dyn ClaimSink, ) -> Result<(), Error>

Emit the object’s claims matching pattern into sink.

fn snapshot(&self, _cx: &mut Cx) -> Result<Option<Datum>, Error>

Optional content-addressable snapshot of the object’s state.

impl ObjectCompat for Func

fn class(&self, cx: &mut Cx) -> Result<ClassRef>

Class object this value belongs to; defaults to nil.

fn as_expr(&self, cx: &mut Cx) -> Result<Expr>

Expression form of the object; defaults to an opaque extension node.

fn as_table(&self, cx: &mut Cx) -> Result<Value>

Project the object into a table value; the default exposes its display.

fn as_callable(&self) -> Option<&dyn Callable>

Callable view, if the object can be invoked.

fn as_number_value(&self) -> Option<&dyn NumberValue>

Number-value view, if the object is a domain number.

fn as_object_encoder(&self) -> Option<&dyn ObjectEncode>

Object-encoder view, if the object encodes other objects.

fn as_class(&self) -> Option<&dyn Class>

Class view, if the object is a class.

fn as_shape(&self) -> Option<&dyn Shape>

Shape view, if the object is a shape.

fn as_read_constructor(&self) -> Option<&dyn ReadConstructor>

Read-constructor view, if the object decodes data forms.

fn as_number_domain(&self) -> Option<&(dyn NumberDomain + 'static)>

Number-domain view, if the object is a number domain.

fn as_eval_fabric(&self) -> Option<&dyn EvalFabric>

Eval-fabric view, if the object is a distributed eval surface.

fn as_stream(&self) -> Option<&dyn Stream>

Stream view, if the object is a stream.

fn as_sequence(&self) -> Option<&dyn Sequence>

Sequence view, if the object is a sequence.

fn as_thunk(&self) -> Option<&dyn Thunk>

Thunk view, if the object is a deferred computation.

fn as_list(&self) -> Option<&(dyn ListValue + 'static)>

List view, if the object is a list value.

fn as_table_impl(&self) -> Option<&(dyn Table + 'static)>

Table-implementation view, if the object is a table.

fn as_dir(&self) -> Option<&(dyn Dir + 'static)>

Directory view, if the object is a directory.

fn truth(&self, _cx: &mut Cx) -> Result<bool, Error>

Truthiness of the object; defaults to true.

fn publish_shape_satisfaction_claims( &self, _cx: &mut Cx, _shape: &Ref, ) -> Result<bool, Error>

Publish claims asserting that the object satisfies shape; returns whether any were published.

impl ObjectEncode for Func

fn object_encoding(&self, cx: &mut Cx) -> Result<ObjectEncoding>

Returns the ObjectEncoding this object should be rendered as.