[−][src]Struct tract_hir::internal::TypedFact

pub struct TypedFact {
    pub datum_type: DatumType,
    pub shape: ShapeFact,
    pub konst: Option<Arc<Tensor>>,
}

Fully determined tensor information for TypedModel.

Fields

datum_type: DatumType

tensor element type

shape: ShapeFact

tensor shape

konst: Option<Arc<Tensor>>

optional constant value

Implementations

`impl TypedFact`[src]

`pub fn shape<T, S>(shape: S) -> TypedFact where S: Into<ShapeFact>, T: Datum,` [src]

`pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>,` [src]

`pub fn rank(&self) -> usize`[src]

`pub fn format_dt_shape(&self) -> String`[src]

`pub fn consistent(&self) -> Result<(), Error>`[src]

`pub fn without_value(&self) -> TypedFact`[src]

Trait Implementations

`impl Clone for TypedFact`[src]

`pub fn clone(&self) -> TypedFact`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for TypedFact`[src]

`pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl DynHash for TypedFact`[src]

`pub fn dyn_hash(&self, state: &mut dyn Hasher)`[src]

`impl Fact for TypedFact`[src]

`pub fn to_typed_fact(&self) -> Result<TypedFact, Error>`[src]

`pub fn matches(&self, t: &Tensor) -> Result<bool, Error>`[src]

`pub fn same_as(&self, other: &(dyn Fact + 'static)) -> bool`[src]

`impl<'a> From<&'a PulsedFact> for TypedFact`[src]

`pub fn from(fact: &'a PulsedFact) -> TypedFact`[src]

`impl<'a> From<&'a TypedFact> for TypedFact`[src]

`pub fn from(fact: &TypedFact) -> TypedFact`[src]

`impl<'a> From<&'a TypedFact> for InferenceFact`[src]

`pub fn from(t: &'a TypedFact) -> InferenceFact`[src]

`impl<'t> From<&'t Tensor> for TypedFact`[src]

`pub fn from(t: &'t Tensor) -> TypedFact`[src]

`impl From<Arc<Tensor>> for TypedFact`[src]

`pub fn from(t: Arc<Tensor>) -> TypedFact`[src]

`impl From<PulsedFact> for TypedFact`[src]

`pub fn from(fact: PulsedFact) -> TypedFact`[src]

`impl From<Tensor> for TypedFact`[src]

`pub fn from(t: Tensor) -> TypedFact`[src]

`impl Hash for TypedFact`[src]

`pub fn hash<H>(&self, state: &mut H) where __H: Hasher,` [src]

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

`impl PartialEq<TypedFact> for TypedFact`[src]

`pub fn eq(&self, other: &TypedFact) -> bool`[src]

`pub fn ne(&self, other: &TypedFact) -> bool`[src]

`impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>`[src]

`pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool`[src]

pub fn create_dummy(&self) -> Box<dyn TypedOp + 'static, Global>ⓘNotable traits for Box<R, Global> impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Unpin + Future + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where I: Iterator + ?Sized, A: Allocator, type Item = ::Item;[src]

pub fn create_source( &self, fact: TypedFact ) -> Box<dyn TypedOp + 'static, Global>ⓘNotable traits for Box<R, Global> impl<R> Read for Box<R, Global> where R: Read + ?Sized, impl<W> Write for Box<W, Global> where W: Write + ?Sized, impl<F, A> Future for Box<F, A> where F: Unpin + Future + ?Sized, A: Allocator + 'static, type Output = <F as Future>::Output;impl<I, A> Iterator for Box<I, A> where I: Iterator + ?Sized, A: Allocator, type Item = ::Item;[src]

`pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId] ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`impl StructuralPartialEq for TypedFact`[src]

`impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues`[src]

`pub fn translate_node( &self, source: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, node: &Node<TypedFact, Box<dyn TypedOp + 'static, Global>>, target: &mut Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, mapping: &HashMap<OutletId, OutletId, RandomState> ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`pub fn translate_model( &self, source: &Graph<TI1, O1> ) -> Result<Graph<TI2, O2>, Error>`[src]

`pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1> ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>`[src]

`impl<'a> TryFrom<&'a InferenceFact> for TypedFact`[src]

`type Error = TractError`

The type returned in the event of a conversion error.

`pub fn try_from(fact: &InferenceFact) -> TractResult<TypedFact>`[src]

Auto Trait Implementations

`impl RefUnwindSafe for TypedFact`[src]

`impl Send for TypedFact`[src]

`impl Sync for TypedFact`[src]

`impl Unpin for TypedFact`[src]

`impl UnwindSafe for TypedFact`[src]

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`pub fn borrow(&self) -> &TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`pub fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut R impl<'_, R> Read for &'_ mut R where R: Read + ?Sized, impl<'_, W> Write for &'_ mut W where W: Write + ?Sized, impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;impl<'_, F> Future for &'_ mut F where F: Unpin + Future + ?Sized, type Output = <F as Future>::Output;`[src]

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

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

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

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

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

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

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

`impl<T> DynClone for T where T: Clone,` [src]

`pub fn __clone_box(&self, Private) -> *mut ()`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

[−][src]Struct tract_hir::internal::TypedFact

Fields

Implementations

impl TypedFact[src]

pub fn shape<T, S>(shape: S) -> TypedFact where S: Into<ShapeFact>, T: Datum, [src]

pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>, [src]

pub fn rank(&self) -> usize[src]

pub fn format_dt_shape(&self) -> String[src]

pub fn consistent(&self) -> Result<(), Error>[src]

pub fn without_value(&self) -> TypedFact[src]

Trait Implementations

impl Clone for TypedFact[src]

pub fn clone(&self) -> TypedFact[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for TypedFact[src]

pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>[src]

impl DynHash for TypedFact[src]

pub fn dyn_hash(&self, state: &mut dyn Hasher)[src]

impl Fact for TypedFact[src]

pub fn to_typed_fact(&self) -> Result<TypedFact, Error>[src]

pub fn matches(&self, t: &Tensor) -> Result<bool, Error>[src]

pub fn same_as(&self, other: &(dyn Fact + 'static)) -> bool[src]

impl<'a> From<&'a PulsedFact> for TypedFact[src]

pub fn from(fact: &'a PulsedFact) -> TypedFact[src]

impl<'a> From<&'a TypedFact> for TypedFact[src]

pub fn from(fact: &TypedFact) -> TypedFact[src]

impl<'a> From<&'a TypedFact> for InferenceFact[src]

pub fn from(t: &'a TypedFact) -> InferenceFact[src]

impl<'t> From<&'t Tensor> for TypedFact[src]

pub fn from(t: &'t Tensor) -> TypedFact[src]

impl From<Arc<Tensor>> for TypedFact[src]

pub fn from(t: Arc<Tensor>) -> TypedFact[src]

impl From<PulsedFact> for TypedFact[src]

pub fn from(fact: PulsedFact) -> TypedFact[src]

impl From<Tensor> for TypedFact[src]

pub fn from(t: Tensor) -> TypedFact[src]

impl Hash for TypedFact[src]

pub fn hash<__H>(&self, state: &mut __H) where __H: Hasher, [src]

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

impl PartialEq<TypedFact> for TypedFact[src]

pub fn eq(&self, other: &TypedFact) -> bool[src]

pub fn ne(&self, other: &TypedFact) -> bool[src]

impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>[src]

pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool[src]

Notable traits for Box<R, Global>

Notable traits for Box<R, Global>

pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId]) -> Result<SmallVec<[OutletId; 4]>, Error>[src]

impl StructuralPartialEq for TypedFact[src]

impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues[src]

pub fn translate_model( &self, source: &Graph<TI1, O1>) -> Result<Graph<TI2, O2>, Error>[src]

pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1>) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>[src]

impl<'a> TryFrom<&'a InferenceFact> for TypedFact[src]

type Error = TractError

pub fn try_from(fact: &InferenceFact) -> TractResult<TypedFact>[src]

Auto Trait Implementations

impl RefUnwindSafe for TypedFact[src]

impl Send for TypedFact[src]

impl Sync for TypedFact[src]

impl Unpin for TypedFact[src]

impl UnwindSafe for TypedFact[src]

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

Notable traits for &'_ mut R

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

Notable traits for Box<R, Global>

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

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

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

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

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

impl<T> DynClone for T where T: Clone, [src]

pub fn __clone_box(&self, Private) -> *mut ()[src]

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

pub fn into(self) -> U[src]

`impl TypedFact`[src]

`pub fn shape<T, S>(shape: S) -> TypedFact where S: Into<ShapeFact>, T: Datum,` [src]

`pub fn dt_shape<S>(datum_type: DatumType, shape: S) -> TypedFact where S: Into<ShapeFact>,` [src]

`pub fn rank(&self) -> usize`[src]

`pub fn format_dt_shape(&self) -> String`[src]

`pub fn consistent(&self) -> Result<(), Error>`[src]

`pub fn without_value(&self) -> TypedFact`[src]

`impl Clone for TypedFact`[src]

`pub fn clone(&self) -> TypedFact`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for TypedFact`[src]

`pub fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl DynHash for TypedFact`[src]

`pub fn dyn_hash(&self, state: &mut dyn Hasher)`[src]

`impl Fact for TypedFact`[src]

`pub fn to_typed_fact(&self) -> Result<TypedFact, Error>`[src]

`pub fn matches(&self, t: &Tensor) -> Result<bool, Error>`[src]

`pub fn same_as(&self, other: &(dyn Fact + 'static)) -> bool`[src]

`impl<'a> From<&'a PulsedFact> for TypedFact`[src]

`pub fn from(fact: &'a PulsedFact) -> TypedFact`[src]

`impl<'a> From<&'a TypedFact> for TypedFact`[src]

`pub fn from(fact: &TypedFact) -> TypedFact`[src]

`impl<'a> From<&'a TypedFact> for InferenceFact`[src]

`pub fn from(t: &'a TypedFact) -> InferenceFact`[src]

`impl<'t> From<&'t Tensor> for TypedFact`[src]

`pub fn from(t: &'t Tensor) -> TypedFact`[src]

`impl From<Arc<Tensor>> for TypedFact`[src]

`pub fn from(t: Arc<Tensor>) -> TypedFact`[src]

`impl From<PulsedFact> for TypedFact`[src]

`pub fn from(fact: PulsedFact) -> TypedFact`[src]

`impl From<Tensor> for TypedFact`[src]

`pub fn from(t: Tensor) -> TypedFact`[src]

`impl Hash for TypedFact`[src]

`pub fn hash<H>(&self, state: &mut H) where __H: Hasher,` [src]

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

`impl PartialEq<TypedFact> for TypedFact`[src]

`pub fn eq(&self, other: &TypedFact) -> bool`[src]

`pub fn ne(&self, other: &TypedFact) -> bool`[src]

`impl SpecialOps<TypedFact, Box<dyn TypedOp + 'static, Global>> for Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>`[src]

`pub fn is_source(op: &Box<dyn TypedOp + 'static, Global>) -> bool`[src]

`pub fn wire_node( &mut self, name: impl Into<String>, op: impl Into<Box<dyn TypedOp + 'static, Global>>, inputs: &[OutletId] ) -> Result<SmallVec<[OutletId; 4]>, Error>`[src]

`impl StructuralPartialEq for TypedFact`[src]

`impl Translate<TypedFact, Box<dyn TypedOp + 'static, Global>, TypedFact, Box<dyn TypedOp + 'static, Global>> for SymbolValues`[src]

`pub fn translate_model( &self, source: &Graph<TI1, O1> ) -> Result<Graph<TI2, O2>, Error>`[src]

`pub fn translate_model_with_mappings( &self, source: &Graph<TI1, O1> ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error>`[src]

`impl<'a> TryFrom<&'a InferenceFact> for TypedFact`[src]

`type Error = TractError`

`pub fn try_from(fact: &InferenceFact) -> TractResult<TypedFact>`[src]

`impl RefUnwindSafe for TypedFact`[src]

`impl Send for TypedFact`[src]

`impl Sync for TypedFact`[src]

`impl Unpin for TypedFact`[src]

`impl UnwindSafe for TypedFact`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`pub fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

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

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

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

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

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

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

`impl<T> DynClone for T where T: Clone,` [src]

`pub fn __clone_box(&self, Private) -> *mut ()`[src]

`impl<T> From<T> for T`[src]

`pub fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src]

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src]

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]