Struct cranelift_codegen::packed_option::PackedOption

pub struct PackedOption<T>(_)
where
    T: ReservedValue;

Packed representation of Option<T>.

Implementations

impl<T> PackedOption<T>where
    T: ReservedValue,

pub fn is_none(&self) -> bool

Returns true if the packed option is a None value.

pub fn is_some(&self) -> bool

Returns true if the packed option is a Some value.

pub fn expand(self) -> Option<T>

Expand the packed option into a normal Option.

pub fn map<U, F>(self, f: F) -> Option<U>where
    F: FnOnce(T) -> U,

Maps a PackedOption<T> to Option<U> by applying a function to a contained value.

pub fn unwrap(self) -> T

Unwrap a packed Some value or panic.

pub fn expect(self, msg: &str) -> T

Unwrap a packed Some value or panic.

pub fn take(&mut self) -> Option<T>

Takes the value out of the packed option, leaving a None in its place.

Trait Implementations

impl<T> Clone for PackedOption<T>where
    T: Clone + ReservedValue,

fn clone(&self) -> PackedOption<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Debug for PackedOption<T>where
    T: ReservedValue + Debug,

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

Formats the value using the given formatter.

impl<T> Default for PackedOption<T>where
    T: ReservedValue,

fn default() -> PackedOption<T>

Create a default packed option representing None.

impl<T> From<Option<T>> for PackedOption<T>where
    T: ReservedValue,

fn from(opt: Option<T>) -> PackedOption<T>

Convert an option into its packed equivalent.

impl<T> From<T> for PackedOption<T>where
    T: ReservedValue,

fn from(t: T) -> PackedOption<T>

Convert t into a packed Some(x).

impl<T> Hash for PackedOption<T>where
    T: Hash + ReservedValue,

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

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<T> Into<Option<T>> for PackedOption<T>where
    T: ReservedValue,

fn into(self) -> Option<T>

Converts this type into the (usually inferred) input type.

impl<T> Ord for PackedOption<T>where
    T: Ord + ReservedValue,

fn cmp(&self, other: &PackedOption<T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl<T> PartialEq<PackedOption<T>> for PackedOption<T>where
    T: PartialEq<T> + ReservedValue,

fn eq(&self, other: &PackedOption<T>) -> bool

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> PartialOrd<PackedOption<T>> for PackedOption<T>where
    T: PartialOrd<T> + ReservedValue,

fn partial_cmp(&self, other: &PackedOption<T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<T> Copy for PackedOption<T>where
    T: Copy + ReservedValue,

impl<T> Eq for PackedOption<T>where
    T: Eq + ReservedValue,

impl<T> StructuralEq for PackedOption<T>where
    T: ReservedValue,

impl<T> StructuralPartialEq for PackedOption<T>where
    T: ReservedValue,