Enum IJType

pub enum IJType {
    Void,
    Tensor(Option<String>),
    Number(Option<String>),
    Function(FunctionSignature),
    Group(Vec<IJType>),
}

Variants

Void

Tensor(Option<String>)

Number(Option<String>)

Function(FunctionSignature)

Group(Vec<IJType>)

Implementations

impl IJType

pub fn tensor_function(inputs: usize) -> IJType

pub fn number_function(inputs: usize) -> IJType

pub fn tensor_to_number_function(inputs: usize) -> IJType

pub fn parse_tokens(tokens: &[Token]) -> Result<(Self, usize)>

Parses tokens and returns the type and the number of tokens consumed.

pub fn from_string(s: &str) -> Result<Self>

pub fn extract_signature(&self) -> Option<FunctionSignature>

pub fn extract_number_type(&self) -> Option<Option<String>>

Extracts the number type from the type. If the type is not a scalar, tensor, or number, it returns None. Note that this thus returns an Option<Option>.

pub fn type_match(&self, other: &Self) -> bool

pub fn type_match_function(&self, other: &Self) -> Result<bool>

Checks if the function type matches the other function type. For example an `Fn(S->S) matches a Fn(S->S).

pub fn type_downcast_number_type(&self, other: &Self) -> Result<Self>

pub fn maybe_apply_number_type(&self, other: &Option<String>) -> Self

Trait Implementations

impl Clone for IJType

fn clone(&self) -> IJType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IJType

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

Formats the value using the given formatter.

impl Display for IJType

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

Formats the value using the given formatter.

impl PartialEq for IJType

fn eq(&self, other: &IJType) -> 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 StructuralPartialEq for IJType