Struct FunctionT

pub struct FunctionT(pub Result<Arc<dyn Fn(&Type, &CheckInfo) -> Result<Type, CheckError> + Send + Sync>, Arc<Vec<(Type, Type)>>>, pub CheckInfo);

Tuple Fields

0: Result<Arc<dyn Fn(&Type, &CheckInfo) -> Result<Type, CheckError> + Send + Sync>, Arc<Vec<(Type, Type)>>>

1: CheckInfo

Implementations

impl FunctionT

pub fn o(&self, i: &Type) -> Result<Type, CheckError>

get output type

Trait Implementations

impl Clone for FunctionT

fn clone(&self) -> FunctionT

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionT

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

Formats the value using the given formatter.

impl MersType for FunctionT

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

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 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 subtypes(&self, acc: &mut Type)

Returns all types that can result from the use of this type. Usually, this is just acc.add(Arc::new(self.clone())) but if there exists one or more inner types, this becomes interesting: Using (int/string) will end up being either (int) or (string), so this function should add (int) and (string). Since (int/string) can’t exist at runtime, we don’t need to list self. note also: subtypes has to be called recursively, i.e. you would have to call .substring on int and string.

fn as_any(&self) -> &dyn Any

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

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

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 subtypes_type(&self) -> Type

like subtypes, but returns the accumulator

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