Enum MonomorphicType

pub enum MonomorphicType {
    Primitive(PrimitiveType),
    Var(TVar),
    Fn(Box<MonomorphicType>, Box<MonomorphicType>),
    Tuple(Tuple),
    Pointer(Box<MonomorphicType>),
    Constant(String),
}

Variants

Primitive(PrimitiveType)

Var(TVar)

Fn(Box<MonomorphicType>, Box<MonomorphicType>)

Tuple(Tuple)

Pointer(Box<MonomorphicType>)

Constant(String)

Implementations

impl MonomorphicType

pub fn unify( &self, other: &MonomorphicType, ) -> Result<Substitutions, AlgorithmUError>

impl MonomorphicType

pub fn generalize(&self, free: &HashSet<TVar>) -> PolymorphicType

pub fn normalize(self) -> PolymorphicType

Trait Implementations

impl BitAnd<&Substitutions> for &MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<&Substitutions> for MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for &MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl Clone for MonomorphicType

fn clone(&self) -> MonomorphicType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MonomorphicType

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

Formats the value using the given formatter.

impl Display for MonomorphicType

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

Formats the value using the given formatter.

impl From<Box<MonomorphicType>> for MonomorphicType

fn from(original: Box<MonomorphicType>) -> MonomorphicType

Converts to this type from the input type.

impl From<PrimitiveType> for MonomorphicType

fn from(original: PrimitiveType) -> MonomorphicType

Converts to this type from the input type.

impl From<String> for MonomorphicType

fn from(original: String) -> MonomorphicType

Converts to this type from the input type.

impl From<TVar> for MonomorphicType

fn from(original: TVar) -> MonomorphicType

Converts to this type from the input type.

impl From<Tuple> for MonomorphicType

fn from(original: Tuple) -> MonomorphicType

Converts to this type from the input type.

impl Hash for MonomorphicType

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MonomorphicType

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

impl StructuralPartialEq for MonomorphicType