Struct VecSort

pub struct VecSort { /* private fields */ }

Implementations

impl VecSort

pub fn element(&self) -> ArcSort

Trait Implementations

impl Clone for VecSort

fn clone(&self) -> VecSort

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ContainerSort for VecSort

type Container = VecContainer

fn name(&self) -> &str

fn inner_sorts(&self) -> Vec<ArcSort>

fn is_eq_container_sort(&self) -> bool

fn inner_values( &self, container_values: &ContainerValues, value: Value, ) -> Vec<(ArcSort, Value)>

fn register_primitives(&self, eg: &mut EGraph)

fn reconstruct_termdag( &self, _container_values: &ContainerValues, _value: Value, termdag: &mut TermDag, element_terms: Vec<Term>, ) -> Term

fn serialized_name( &self, _container_values: &ContainerValues, _: Value, ) -> String

fn to_arcsort(self) -> ArcSort

where Self: Sized,

impl Debug for VecSort

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

Formats the value using the given formatter.

impl Presort for VecSort

fn presort_name() -> &'static str

fn reserved_primitives() -> Vec<&'static str>

fn make_sort( typeinfo: &mut TypeInfo, name: String, args: &[Expr], ) -> Result<ArcSort, TypeError>