Struct na::base::constraint::ShapeConstraint

pub struct ShapeConstraint;

A type used in where clauses for enforcing constraints.

Trait Implementations

impl<D> DimEq<D, D> for ShapeConstraint where
    D: Dim, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> DimEq<D, Dynamic> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> DimEq<Dynamic, D> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameDimension<D, D> for ShapeConstraint where
    D: Dim, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameDimension<D, Dynamic> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameDimension<Dynamic, D> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfColumns<D, D> for ShapeConstraint where
    D: Dim, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfColumns<D, Dynamic> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfColumns<Dynamic, D> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfRows<D, D> for ShapeConstraint where
    D: Dim, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfRows<D, Dynamic> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<D> SameNumberOfRows<Dynamic, D> for ShapeConstraint where
    D: DimName, 

type Representative = D

This is either equal to D1 or D2, always choosing the one (if any) which is a type-level constant.

impl<R1, C1, R2, C2> AreMultipliable<R1, C1, R2, C2> for ShapeConstraint where
    R1: Dim,
    C1: Dim,
    R2: Dim,
    C2: Dim,
    ShapeConstraint: DimEq<C1, R2>,