Enum tract_pulse::internal::GeometryBound

[−]

pub enum GeometryBound<Symbolic, Concrete> {
    Symbolic(Symbolic),
    Concrete(Concrete),
}

Variants

`Symbolic(Symbolic)`

`Concrete(Concrete)`

Implementations

impl GeometryBound<SymbolicGeometry, ConcreteGeometry>

pub fn b_pack(&self) -> &Packer

pub fn k(&self) -> usize

impl<S, C> GeometryBound<S, C> where
S: ResolveTo<C>,
C: Clone,

pub fn is_concrete(&self) -> bool

pub fn into_concrete(
self,
param: &<S as ResolveTo<C>>::Param
) -> Result<GeometryBound<S, C>, Error>

pub fn to_concrete(
&self,
param: &<S as ResolveTo<C>>::Param
) -> Result<Cow<'_, C>, Error>

pub fn as_concrete(&self) -> Option<&C>

pub fn optimize_if(
self,
param: Option<&<S as ResolveTo<C>>::Param>
) -> Result<GeometryBound<S, C>, Error>

Trait Implementations

impl<Symbolic, Concrete> Clone for GeometryBound<Symbolic, Concrete> where
Symbolic: Clone,
Concrete: Clone,

fn clone(&self) -> GeometryBound<Symbolic, Concrete>

Returns a copy of the value. Read more

1.0.0 · source

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl<Symbolic, Concrete> Debug for GeometryBound<Symbolic, Concrete> where
Symbolic: Debug,
Concrete: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more

impl<S, C> From<S> for GeometryBound<S, C>

fn from(s: S) -> GeometryBound<S, C>

Converts to this type from the input type.

impl<Symbolic, Concrete> Hash for GeometryBound<Symbolic, Concrete> where
Symbolic: Hash,
Concrete: Hash,

fn hash<H>(&self, state: &mut H) where
__H: Hasher,

Feeds this value into the given Hasher. Read more

1.3.0 · source

fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,

Feeds a slice of this type into the given Hasher. Read more

impl<Symbolic, Concrete> PartialEq<GeometryBound<Symbolic, Concrete>> for GeometryBound<Symbolic, Concrete> where
Symbolic: PartialEq<Symbolic>,
Concrete: PartialEq<Concrete>,

fn eq(&self, other: &GeometryBound<Symbolic, Concrete>) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

fn ne(&self, other: &GeometryBound<Symbolic, Concrete>) -> bool

This method tests for !=.

impl<Symbolic, Concrete> StructuralPartialEq for GeometryBound<Symbolic, Concrete>

Auto Trait Implementations

impl<Symbolic, Concrete> RefUnwindSafe for GeometryBound<Symbolic, Concrete> where
Concrete: RefUnwindSafe,
Symbolic: RefUnwindSafe,

impl<Symbolic, Concrete> Send for GeometryBound<Symbolic, Concrete> where
Concrete: Send,
Symbolic: Send,

impl<Symbolic, Concrete> Sync for GeometryBound<Symbolic, Concrete> where
Concrete: Sync,
Symbolic: Sync,

impl<Symbolic, Concrete> Unpin for GeometryBound<Symbolic, Concrete> where
Concrete: Unpin,
Symbolic: Unpin,

impl<Symbolic, Concrete> UnwindSafe for GeometryBound<Symbolic, Concrete> where
Concrete: UnwindSafe,
Symbolic: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> Downcast for T where
T: Any,

source

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>ⓘNotable traits for Box<W, Global>`impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<I, A> Iterator for Box<I, A> where I: Iterator + ?Sized, A: Allocator, type Item = ::Item;impl<F, A> Future for Box<F, A> where F: Future + Unpin + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;`

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait. Read more

source

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait. Read more

source

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s. Read more

source

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s. Read more

source

impl<T> DowncastSync for T where
T: Any + Send + Sync,

source

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait. Read more

source

fn from(t: !) -> T

Converts to this type from the input type.

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Enum tract_pulse::internal::GeometryBound

Variants

Symbolic(Symbolic)

Concrete(Concrete)

Implementations

impl GeometryBound<SymbolicGeometry, ConcreteGeometry>

pub fn b_pack(&self) -> &Packer

pub fn k(&self) -> usize

impl<S, C> GeometryBound<S, C> where S: ResolveTo<C>, C: Clone,

pub fn is_concrete(&self) -> bool

pub fn into_concrete( self, param: &<S as ResolveTo<C>>::Param) -> Result<GeometryBound<S, C>, Error>

pub fn to_concrete( &self, param: &<S as ResolveTo<C>>::Param) -> Result<Cow<'_, C>, Error>

pub fn as_concrete(&self) -> Option<&C>

pub fn optimize_if( self, param: Option<&<S as ResolveTo<C>>::Param>) -> Result<GeometryBound<S, C>, Error>

Trait Implementations

impl<Symbolic, Concrete> Clone for GeometryBound<Symbolic, Concrete> where Symbolic: Clone, Concrete: Clone,

fn clone(&self) -> GeometryBound<Symbolic, Concrete>

fn clone_from(&mut self, source: &Self)

impl<Symbolic, Concrete> Debug for GeometryBound<Symbolic, Concrete> where Symbolic: Debug, Concrete: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

impl<S, C> From<S> for GeometryBound<S, C>

fn from(s: S) -> GeometryBound<S, C>

impl<Symbolic, Concrete> Hash for GeometryBound<Symbolic, Concrete> where Symbolic: Hash, Concrete: Hash,

fn hash<__H>(&self, state: &mut __H) where __H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,

impl<Symbolic, Concrete> PartialEq<GeometryBound<Symbolic, Concrete>> for GeometryBound<Symbolic, Concrete> where Symbolic: PartialEq<Symbolic>, Concrete: PartialEq<Concrete>,

fn eq(&self, other: &GeometryBound<Symbolic, Concrete>) -> bool

fn ne(&self, other: &GeometryBound<Symbolic, Concrete>) -> bool

impl<Symbolic, Concrete> StructuralPartialEq for GeometryBound<Symbolic, Concrete>

Auto Trait Implementations

impl<Symbolic, Concrete> RefUnwindSafe for GeometryBound<Symbolic, Concrete> where Concrete: RefUnwindSafe, Symbolic: RefUnwindSafe,

impl<Symbolic, Concrete> Send for GeometryBound<Symbolic, Concrete> where Concrete: Send, Symbolic: Send,

impl<Symbolic, Concrete> Sync for GeometryBound<Symbolic, Concrete> where Concrete: Sync, Symbolic: Sync,

impl<Symbolic, Concrete> Unpin for GeometryBound<Symbolic, Concrete> where Concrete: Unpin, Symbolic: Unpin,

impl<Symbolic, Concrete> UnwindSafe for GeometryBound<Symbolic, Concrete> where Concrete: UnwindSafe, Symbolic: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> Downcast for T where T: Any,

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

fn as_any(&self) -> &(dyn Any + 'static)

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

impl<T> DowncastSync for T where T: Any + Send + Sync,

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send + 'static>

impl<T> DynClone for T where T: Clone,

fn __clone_box(&self, Private) -> *mut ()

impl<T> From<!> for T

fn from(t: !) -> T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

`Symbolic(Symbolic)`

`Concrete(Concrete)`

impl<S, C> GeometryBound<S, C> where
S: ResolveTo<C>,
C: Clone,

pub fn into_concrete(
self,
param: &<S as ResolveTo<C>>::Param
) -> Result<GeometryBound<S, C>, Error>

pub fn to_concrete(
&self,
param: &<S as ResolveTo<C>>::Param
) -> Result<Cow<'_, C>, Error>

pub fn optimize_if(
self,
param: Option<&<S as ResolveTo<C>>::Param>
) -> Result<GeometryBound<S, C>, Error>

impl<Symbolic, Concrete> Clone for GeometryBound<Symbolic, Concrete> where
Symbolic: Clone,
Concrete: Clone,

impl<Symbolic, Concrete> Debug for GeometryBound<Symbolic, Concrete> where
Symbolic: Debug,
Concrete: Debug,

impl<Symbolic, Concrete> Hash for GeometryBound<Symbolic, Concrete> where
Symbolic: Hash,
Concrete: Hash,

fn hash<H>(&self, state: &mut H) where
__H: Hasher,

fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,

impl<Symbolic, Concrete> PartialEq<GeometryBound<Symbolic, Concrete>> for GeometryBound<Symbolic, Concrete> where
Symbolic: PartialEq<Symbolic>,
Concrete: PartialEq<Concrete>,

impl<Symbolic, Concrete> RefUnwindSafe for GeometryBound<Symbolic, Concrete> where
Concrete: RefUnwindSafe,
Symbolic: RefUnwindSafe,

impl<Symbolic, Concrete> Send for GeometryBound<Symbolic, Concrete> where
Concrete: Send,
Symbolic: Send,

impl<Symbolic, Concrete> Sync for GeometryBound<Symbolic, Concrete> where
Concrete: Sync,
Symbolic: Sync,

impl<Symbolic, Concrete> Unpin for GeometryBound<Symbolic, Concrete> where
Concrete: Unpin,
Symbolic: Unpin,

impl<Symbolic, Concrete> UnwindSafe for GeometryBound<Symbolic, Concrete> where
Concrete: UnwindSafe,
Symbolic: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T> Downcast for T where
T: Any,

impl<T> DowncastSync for T where
T: Any + Send + Sync,

impl<T> DynClone for T where
T: Clone,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,