Trait tract_hir::prelude::translator::Translate

pub trait Translate<TI1, O1, TI2, O2>: Debug where
    TI1: 'static + Fact + Hash + Clone,
    TI2: 'static + Fact + Hash + Clone,
    O1: 'static + Display + Debug + AsRef<dyn Op + 'static> + AsMut<dyn Op + 'static> + Clone + Hash,
    O2: 'static + Display + Debug + AsRef<dyn Op + 'static> + AsMut<dyn Op + 'static> + Clone + Hash, {
    fn translate_node(
        &self, 
        source: &Graph<TI1, O1>, 
        node: &Node<TI1, O1>, 
        target: &mut Graph<TI2, O2>, 
        mapping: &HashMap<OutletId, OutletId, RandomState>
    ) -> Result<SmallVec<[OutletId; 4]>, Error>;

    fn translate_model(
        &self, 
        source: &Graph<TI1, O1>
    ) -> Result<Graph<TI2, O2>, Error> { ... }
    fn translate_model_with_mappings(
        &self, 
        source: &Graph<TI1, O1>
    ) -> Result<(Graph<TI2, O2>, HashMap<OutletId, OutletId, RandomState>), Error> { ... }
}

Required methods

fn translate_node(
    &self,
    source: &Graph<TI1, O1>,
    node: &Node<TI1, O1>,
    target: &mut Graph<TI2, O2>,
    mapping: &HashMap<OutletId, OutletId, RandomState>
) -> Result<SmallVec<[OutletId; 4]>, Error>

Provided methods

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

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

Implementors

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

impl<TI1, O1, TI2, O2, EO, ETI> Translate<TI1, O1, TI2, O2> for IntoTranslator where
    TI1: 'static + Fact + Hash + Clone,
    TI2: 'static + Fact + Hash + for<'a> TryFrom<&'a TI1, Error = EO> + Clone,
    O1: 'static + Display + Debug + Clone + AsRef<dyn Op + 'static> + AsMut<dyn Op + 'static> + Hash,
    O2: 'static + Display + for<'a> TryFrom<&'a O1, Error = ETI> + Debug + AsRef<dyn Op + 'static> + AsMut<dyn Op + 'static> + Clone + Hash,
    Error: From<EO>,
    Error: From<ETI>,
    Graph<TI2, O2>: SpecialOps<TI2, O2>,