Trait discrete::Construct

pub trait Construct {
    fn new() -> Self;
}

Constructs a new space.

Since spaces are combined using phantom types, an instance must be constructed to call methods on it.

Required methods

fn new() -> Self

Constructs a new Self.

Loading content...

Implementations on Foreign Types

impl<T, U> Construct for (T, U) where
    T: Construct,
    U: Construct, 

fn new() -> (T, U)

Loading content...

Implementors

impl<T> Construct for Context<T>

fn new() -> Context<T>

impl<T> Construct for Dimension<T>

fn new() -> Dimension<T>

impl<T> Construct for DimensionN<T>

fn new() -> DimensionN<T>

impl<T> Construct for DirectedContext<T>

fn new() -> DirectedContext<T>

impl<T> Construct for EqPair<T>

fn new() -> EqPair<T>

impl<T> Construct for NeqPair<T>

fn new() -> NeqPair<T>

impl<T> Construct for Pair<T>

fn new() -> Pair<T>

impl<T> Construct for Permutation<T>

fn new() -> Permutation<T>

impl<T> Construct for PowerSet<T>

fn new() -> PowerSet<T>

impl<T, U> Construct for Either<T, U> where
    T: Construct,
    U: Construct, 

fn new() -> Either<T, U>

Loading content...