Struct FalseT 

pub struct FalseT;

Trait Implementations

impl Clone for FalseT

fn clone(&self) -> FalseT

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FalseT

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

Formats the value using the given formatter.

impl Display for FalseT

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

Formats the value using the given formatter.

impl MersType for FalseT

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 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 simplify_for_display(&self, info: &CheckInfo) -> Option<Type>

may mutate self to simplify it

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