Struct ObjectT 

pub struct ObjectT(/* private fields */);

Implementations

impl ObjectT

pub fn new(v: Vec<(usize, Type)>) -> Self

pub fn get(&self, f: usize) -> Option<&Type>

pub fn iter(&self) -> Iter<'_, (usize, Type)>

Trait Implementations

impl Clone for ObjectT

fn clone(&self) -> ObjectT

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObjectT

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

Formats the value using the given formatter.

impl MersType for ObjectT

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

fn is_same_type_as(&self, other: &dyn MersType) -> bool

If self and other are different types (other.as_any().downcast_ref::<Self>().is_none()), this must return false.

fn is_included_in(&self, target: &dyn MersType) -> bool

This doesn’t handle the case where target is Type (Type::is_included_in handles it)

fn without(&self, remove: &dyn MersType) -> Option<Type>

Returns self with remove removed, if it is different from self. This must, at least, return Some(Type::empty()) if self.is_included_in(remove). For example, (Int<1..9>).remove(Int<4..6>) would return Some(Int<1..3>/Int<7..9>).

fn as_any(&self) -> &dyn Any

fn mut_any(&mut self) -> &mut dyn Any

fn to_any(self) -> Box<dyn Any>

fn simplify_for_display(&self, info: &CheckInfo) -> Option<Type>

may mutate self to simplify it

fn executable(&self) -> Option<FunctionT>

fn iterable(&self) -> Option<Type>

If Some(T), calling iterable on the MersData this MersType belongs to Should return Some(I), where I is an Iterator which only returns items of type T.

fn get(&self) -> Option<Type>

If Some(T), calling get on data of this type may return T, but it might also return None. By default, this returns the same thing as iterable, since this is also the default implementation for MersData::get.

fn is_reference_to(&self) -> Option<&Type>

fn simplified_as_string(&self, info: &CheckInfo) -> String