Enum loa::semantics::TypeAssignability

pub enum TypeAssignability {
    Valid,
    Invalid {
        assignee: Type,
        assigned: Type,
        invariant: bool,
        because: Vec<TypeAssignability>,
    },
    Uncoercable {
        from: Type,
        to: Type,
        already_coerced_to: Option<Type>,
        because: Vec<TypeAssignability>,
    },
}

Variants

Valid

Invalid

Fields of Invalid

assignee: Typeassigned: Typeinvariant: boolbecause: Vec<TypeAssignability>

Uncoercable

Fields of Uncoercable

from: Typeto: Typealready_coerced_to: Option<Type>because: Vec<TypeAssignability>

Methods

impl TypeAssignability

pub fn is_valid(&self) -> bool

pub fn is_invalid(&self) -> bool

pub fn expect<F: FnOnce(Vec<TypeAssignability>) -> TypeAssignability>(
    self,
    f: F
) -> TypeAssignability

Trait Implementations

impl Clone for TypeAssignability

fn clone(&self) -> TypeAssignability

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAssignability

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

Formats the value using the given formatter.

impl Display for TypeAssignability

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

Formats the value using the given formatter.

impl Try for TypeAssignability

type Ok = TypeAssignability

🔬 This is a nightly-only experimental API. (try_trait)

The type of this value when viewed as successful.

type Error = NoneError

🔬 This is a nightly-only experimental API. (try_trait)

The type of this value when viewed as failed.

fn into_result(self) -> Result<Self::Ok, Self::Error>

🔬 This is a nightly-only experimental API. (try_trait)

Applies the "?" operator. A return of Ok(t) means that the execution should continue normally, and the result of ? is the value t. A return of Err(e) means that execution should branch to the innermost enclosing catch, or return from the function.

fn from_error(_v: Self::Error) -> Self

🔬 This is a nightly-only experimental API. (try_trait)

Wrap an error value to construct the composite result. For example, Result::Err(x) and Result::from_error(x) are equivalent.

fn from_ok(v: Self::Ok) -> Self

🔬 This is a nightly-only experimental API. (try_trait)

Wrap an OK value to construct the composite result. For example, Result::Ok(x) and Result::from_ok(x) are equivalent.