Trait sway_ir::irtype::TypeOption

pub trait TypeOption {
    // Required method
    fn is(
        &self,
        pred: fn(_: &Type, _: &Context) -> bool,
        context: &Context
    ) -> bool;
}

A helper to check if an Option value is of a particular Type.

Required Methods

fn is(&self, pred: fn(_: &Type, _: &Context) -> bool, context: &Context) -> bool

Implementations on Foreign Types

impl TypeOption for Option<Type>

fn is(&self, pred: fn(_: &Type, _: &Context) -> bool, context: &Context) -> bool

Implementors