Trait tract_hir::internal::SpecialOps

pub trait SpecialOps<F, O> {
    fn create_dummy(&self) -> O;
    fn create_source(&self, fact: F) -> O;
    fn is_source(op: &O) -> bool;
    fn wire_node(
        &mut self, 
        name: impl Into<String>, 
        op: impl Into<O>, 
        inputs: &[OutletId]
    ) -> Result<SmallVec<[OutletId; 4]>, Error>;
}

Required methods

fn create_dummy(&self) -> O

fn create_source(&self, fact: F) -> O

fn is_source(op: &O) -> bool

fn wire_node(
    &mut self,
    name: impl Into<String>,
    op: impl Into<O>,
    inputs: &[OutletId]
) -> Result<SmallVec<[OutletId; 4]>, Error>

Implementors

impl SpecialOps<InferenceFact, Box<dyn InferenceOp + 'static, Global>> for InferenceModel

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