Trait transition_table::Optional

pub trait Optional: Copy {
    type Inner: Copy;
    fn none() -> Self;
    fn some(v: Self::Inner) -> Self;
    fn is_none(&self) -> bool;
    fn inner(&self) -> Option<Self::Inner>;

    fn is_some(&self) -> bool { ... }
}

To represent empty trie entry. Provided implementations for integer primitive types as -1 represents None.

Associated Types

type Inner: Copy

Required methods

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

Provided methods

fn is_some(&self) -> bool

Implementations on Foreign Types

impl Optional for u8

type Inner = u8

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl Optional for u16

type Inner = u16

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl Optional for u32

type Inner = u32

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl Optional for u64

type Inner = u64

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl Optional for u128

type Inner = u128

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl Optional for usize

type Inner = usize

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

impl<T: Copy> Optional for Option<T>

type Inner = T

fn none() -> Self

fn some(v: Self::Inner) -> Self

fn is_none(&self) -> bool

fn inner(&self) -> Option<Self::Inner>

Implementors