Trait seitan::PropertyT

pub trait PropertyT<'a, T: Clone + Debug> {
    fn iter_async<'b>(self) -> IterAsync<'b, T>
    where
        'a: 'b;
    fn to_parameter<'b>(self) -> Parameter<'b, T>
    where
        'a: 'b;
}

Required Methods

Important traits for IterAsync<'a, T>

impl<'a, T: Debug + Clone> Iterator for IterAsync<'a, T> type Item = T;

fn iter_async<'b>(self) -> IterAsync<'b, T> where
    'a: 'b, 

fn to_parameter<'b>(self) -> Parameter<'b, T> where
    'a: 'b, 

Implementors

impl<'a, 'b, T: Clone + Debug + 'a> Property<'b, T> for &'b Property<'a, T>

Important traits for IterAsync<'a, T>

impl<'a, T: Debug + Clone> Iterator for IterAsync<'a, T> type Item = T;

fn iter_async<'c>(self) -> IterAsync<'c, T> where     'b: 'c,

fn to_parameter<'c>(self) -> Parameter<'c, T> where     'b: 'c,

impl<'a, T: Clone + Debug + 'a> Property<'a, T> for Property<'a, T>

Important traits for IterAsync<'a, T>

impl<'a, T: Debug + Clone> Iterator for IterAsync<'a, T> type Item = T;

fn iter_async<'b>(self) -> IterAsync<'b, T> where     'a: 'b,

fn to_parameter<'b>(self) -> Parameter<'b, T> where     'a: 'b,

impl<'a, T: Clone + Debug + 'a> Property<'a, T> for UniqueProperty<'a, T>

Important traits for IterAsync<'a, T>

impl<'a, T: Debug + Clone> Iterator for IterAsync<'a, T> type Item = T;

fn iter_async<'b>(self) -> IterAsync<'b, T> where     'a: 'b,

fn to_parameter<'b>(self) -> Parameter<'b, T> where     'a: 'b,

impl<'a, T: Clone + Debug, R> Property<'a, T> for RangedParameterMut<'a, T, R>

Important traits for IterAsync<'a, T>

impl<'a, T: Debug + Clone> Iterator for IterAsync<'a, T> type Item = T;

fn iter_async<'b>(self) -> IterAsync<'b, T> where     'a: 'b,

fn to_parameter<'b>(self) -> Parameter<'b, T> where     'a: 'b,