[][src]Enum flap::Layer

pub enum Layer<'a, T: 'static + Applicable + Clone> {
    X(T),
    LL(&'a [Layer<'a, T>]),
    Map(&'a Layer<'a, T>),
    _Map {
        child: &'a Layer<'a, T>,
        accum: Vector<T::Item>,
        remaining: Vector<T::Item>,
    },
}

Variants

X(T)LL(&'a [Layer<'a, T>])Map(&'a Layer<'a, T>)_Map

Fields of _Map

child: &'a Layer<'a, T>accum: Vector<T::Item>remaining: Vector<T::Item>

Methods

impl<'a, TImpl: 'static + Applicable + Clone> Layer<'a, TImpl>[src]

pub fn solvestep(self, input: TImpl::Item) -> Flapp<'a, TImpl>[src]

pub fn solve(self, input: TImpl::Item) -> TImpl::Item[src]

Trait Implementations

impl<'a, T: Clone + 'static + Applicable> Clone for Layer<'a, T> where
    T::Item: Clone,
    T::Item: Clone
[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl<'a, T: Debug + 'static + Applicable + Clone> Debug for Layer<'a, T> where
    T::Item: Debug,
    T::Item: Debug
[src]

Auto Trait Implementations

impl<'a, T> Unpin for Layer<'a, T> where
    T: Unpin,
    <T as Applicable>::Item: Unpin

impl<'a, T> Send for Layer<'a, T> where
    T: Send + Sync,
    <T as Applicable>::Item: Send + Sync

impl<'a, T> Sync for Layer<'a, T> where
    T: Sync,
    <T as Applicable>::Item: Send + Sync

impl<'a, T> RefUnwindSafe for Layer<'a, T> where
    T: RefUnwindSafe,
    <T as Applicable>::Item: RefUnwindSafe

impl<'a, T> UnwindSafe for Layer<'a, T> where
    T: RefUnwindSafe + UnwindSafe,
    <T as Applicable>::Item: RefUnwindSafe + UnwindSafe

Blanket Implementations

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self