ssa_traits

Trait Func

Source 
pub trait Func: Func<Blocks: Arena<Self::Block, Output: Block<Self>>> {
    type Value;
    type Values: Arena<Self::Value, Output: Value<Self>>;
    type VRef<'a>: Deref<Target = Self::Values>
       where Self: 'a;
    type VMut<'a>: DerefMut<Target = Self::Values>
       where Self: 'a;

    // Required methods
    fn values<'a>(&'a self) -> Self::VRef<'a>;
    fn values_mut<'a>(&'a mut self) -> Self::VMut<'a>;
}

Required Associated Types§

Source

type Value

Source

type Values: Arena<Self::Value, Output: Value<Self>>

Source

type VRef<'a>: Deref<Target = Self::Values> where Self: 'a

Source

type VMut<'a>: DerefMut<Target = Self::Values> where Self: 'a

Required Methods§

Source

fn values<'a>(&'a self) -> Self::VRef<'a>

Source

fn values_mut<'a>(&'a mut self) -> Self::VMut<'a>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§