Struct FunctionContainer

pub struct FunctionContainer(_, pub Vec<(ArcSort, Value)>, pub String);

Tuple Fields

1: Vec<(ArcSort, Value)>

2: String

Implementations

impl FunctionContainer

pub fn apply( &self, exec_state: &mut ExecutionState<'_>, args: &[Value], ) -> Option<Value>

Call function (primitive or table) name with value args args and return the value.

Public so that other primitive sorts (external or internal) have access.

Trait Implementations

impl Clone for FunctionContainer

fn clone(&self) -> FunctionContainer

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ContainerValue for FunctionContainer

fn rebuild_contents(&mut self, rebuilder: &dyn Rebuilder) -> bool

Rebuild an additional container in place according the the given Rebuilder.

fn iter(&self) -> impl Iterator<Item = Value> + '_

Iterate over the contents of the container.

impl Debug for FunctionContainer

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

Formats the value using the given formatter.

impl Hash for FunctionContainer

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FunctionContainer

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FunctionContainer