Trait spaces::Surjection

pub trait Surjection<X, Y> {
    fn map(&self, from: X) -> Y;
}

Trait for types that implement a mapping from values of one set onto another.

Required methods

fn map(&self, from: X) -> Y

Map value from domain onto codomain.

Loading content...

Implementors

impl Surjection<bool, bool> for Binary

fn map(&self, val: bool) -> bool

impl Surjection<f64, bool> for Binary

fn map(&self, val: f64) -> bool

impl Surjection<f64, usize> for Partition

fn map(&self, val: f64) -> usize

impl Surjection<f64, f64> for Reals

fn map(&self, val: f64) -> f64

impl Surjection<f64, f64> for NonNegativeReals

fn map(&self, val: f64) -> f64

impl Surjection<f64, f64> for PositiveReals

fn map(&self, val: f64) -> f64

impl Surjection<f64, f64> for Interval<f64>

fn map(&self, val: f64) -> f64

impl Surjection<i64, i64> for Interval<i64>

fn map(&self, val: i64) -> i64

impl Surjection<usize, usize> for Ordinal

fn map(&self, val: usize) -> usize

impl Surjection<usize, usize> for Partition

fn map(&self, val: usize) -> usize

impl<D, X> Surjection<[X; 2], [<D as Space>::Value; 2]> for DoubleSpace<D> where
    D: Space + Surjection<X, <D as Space>::Value>,
    X: Clone, 

fn map(&self, val: [X; 2]) -> [D::Value; 2]

impl<D, X> Surjection<Vec<X>, Vec<<D as Space>::Value>> for LinearSpace<D> where
    D: Space + Surjection<X, <D as Space>::Value>, 

fn map(&self, val: Vec<X>) -> Vec<D::Value>

impl<D, X> Surjection<Vec<X>, HashMap<String, <D as Space>::Value, RandomState>> for NamedSpace<D> where
    D: Space + Surjection<X, <D as Space>::Value>, 

fn map(&self, val: Vec<X>) -> HashMap<String, D::Value>

impl<D, X> Surjection<HashMap<String, X, RandomState>, HashMap<String, <D as Space>::Value, RandomState>> for NamedSpace<D> where
    D: Space + Surjection<X, <D as Space>::Value>, 

fn map(&self, val: HashMap<String, X>) -> HashMap<String, D::Value>

impl<D, X> Surjection<ArrayBase<OwnedRepr<X>, Dim<[usize; 1]>>, ArrayBase<OwnedRepr<<D as Space>::Value>, Dim<[usize; 1]>>> for LinearSpace<D> where
    D: Space + Surjection<X, <D as Space>::Value>,
    X: Clone, 

fn map(&self, val: Vector<X>) -> Vector<D::Value>

impl<D1, X1, D2, X2> Surjection<(X1, X2), (<D1 as Space>::Value, <D2 as Space>::Value)> for PairSpace<D1, D2> where
    D1: Space + Surjection<X1, <D1 as Space>::Value>,
    D2: Space + Surjection<X2, <D2 as Space>::Value>, 

fn map(&self, val: (X1, X2)) -> (D1::Value, D2::Value)

Loading content...