Enum leo_asg::type_::PartialType

pub enum PartialType {
    Type(Type),
    Integer(Option<IntegerType>, Option<IntegerType>),
    Array(Option<Box<PartialType>>, Option<usize>),
    Tuple(Vec<Option<PartialType>>),
}

Variants

Type(Type)

Integer(Option<IntegerType>, Option<IntegerType>)

Array(Option<Box<PartialType>>, Option<usize>)

Tuple(Vec<Option<PartialType>>)

Implementations

impl PartialType

pub fn full(self) -> Option<Type>

pub fn matches(&self, other: &Type) -> bool

Trait Implementations

impl Clone for PartialType

fn clone(&self) -> PartialType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Display for PartialType

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

Formats the value using the given formatter.

impl Into<Option<Type>> for PartialType

fn into(self) -> Option<Type>

Performs the conversion.

impl Into<PartialType> for Type

fn into(self) -> PartialType

Performs the conversion.

impl PartialEq<PartialType> for PartialType

fn eq(&self, other: &PartialType) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &PartialType) -> bool

This method tests for !=.

impl StructuralPartialEq for PartialType