Struct FunctionContainer 

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

Tuple Fields

0: ResolvedFunctionId

1: Vec<(ArcSort, Value)>

2: String

3: ExternalFunctionId

Pre-registered panic id used by FunctionContainer::apply on capability mismatch (see ResolvedFunction::panic_id). Excluded from equality/hash — two function values that differ only in their panic id are still the same function value.

Trait Implementations

impl Clone for FunctionContainer

fn clone(&self) -> FunctionContainer

Returns a duplicate 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 ValueRebuilder) -> bool

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

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