Trait tract_hir::infer::rules::Proxy

pub trait Proxy {
    fn get_path(&self) -> &Path;
}

A proxy for any value.

Required methods

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

Take the inputs[0].shape[1] proxy for instance: it represents the second dimension of the shape of the first input. Because we encode the "inputs" vectors as 0, and the shape field as 2, the path for this proxy will be vec![0, 0, 2, 1].

Loading content...

Implementors

impl Proxy for DimProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for ElementProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for IntProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for ShapeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for TypeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl Proxy for TensorProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a DimProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a ElementProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a IntProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a ShapeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a TypeProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a ValueProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

impl<'a> Proxy for &'a TensorProxy

fn get_path(&self) -> &Path

Returns the symbolic path to the value.

Loading content...