Trait spaces::Surjection

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

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.

Loading content...

Implementors

impl Surjection<bool, bool> for Binary

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

impl Surjection<f64, usize> for Equipartition

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

impl Surjection<f64, f64> for Reals

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

impl Surjection<f64, f64> for NonNegativeReals

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

impl Surjection<f64, f64> for PositiveReals

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

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

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

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

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

impl Surjection<u64, u64> for Naturals

fn map_onto(&self, val: u64) -> u64

impl Surjection<usize, usize> for Ordinal

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

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, 

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

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

fn map_onto(&self, val: Vec<X>) -> Vec<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_onto(&self, val: (X1, X2)) -> (D1::Value, D2::Value)

impl<T> Surjection<T, ()> for Empty

fn map_onto(&self, _: T)

Loading content...