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