[−][src]Trait spaces::Surjection
Trait for types that implement a mapping from values of one set onto another.
A surjective function is such that every element of the codomain corresponds to at least one element of the domain. This clearly need not be unique.
Required methods
fn map_onto(&self, from: X) -> Y
Map value from domain onto codomain.
Implementors
impl Surjection<bool, bool> for Binary
[src]
impl Surjection<f64, usize> for Equipartition
[src]
impl Surjection<f64, f64> for Reals
[src]
impl Surjection<f64, f64> for NonNegativeReals
[src]
impl Surjection<f64, f64> for PositiveReals
[src]
impl Surjection<f64, f64> for Interval<f64>
[src]
impl Surjection<i64, i64> for Interval<i64>
[src]
impl Surjection<u64, u64> for Naturals
[src]
impl Surjection<usize, usize> for Ordinal
[src]
impl<D, X> Surjection<[X; 2], [<D as Space>::Value; 2]> for TwoSpace<D> where
D: Space + Surjection<X, <D as Space>::Value>,
X: Clone,
[src]
D: Space + Surjection<X, <D as Space>::Value>,
X: Clone,
impl<D, X> Surjection<Vec<X>, Vec<<D as Space>::Value>> for ProductSpace<D> where
D: Space + Surjection<X, <D as Space>::Value>,
[src]
D: Space + Surjection<X, <D as Space>::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>,
[src]
D1: Space + Surjection<X1, <D1 as Space>::Value>,
D2: Space + Surjection<X2, <D2 as Space>::Value>,