Struct tract_pulse::internal::ModelBuilder

pub struct ModelBuilder<'a> {
    pub framework: &'a Nnef,
    pub registries: Vec<Identifier, Global>,
    pub model: Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>,
    pub naming_scopes: Vec<Identifier, Global>,
    pub scopes: Vec<HashMap<Identifier, Value, RandomState>, Global>,
    pub proto_model: &'a ProtoModel,
    pub symbols: Vec<Symbol, Global>,
    pub allow_new_symbol: bool,
}

Fields

framework: &'a Nnef

registries: Vec<Identifier, Global>

model: Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>

naming_scopes: Vec<Identifier, Global>

scopes: Vec<HashMap<Identifier, Value, RandomState>, Global>

proto_model: &'a ProtoModel

symbols: Vec<Symbol, Global>

allow_new_symbol: bool

Implementations

impl<'mb> ModelBuilder<'mb>

pub fn new(
    framework: &'mb Nnef,
    proto_model: &'mb ProtoModel,
    symbols: &SymbolTable
) -> ModelBuilder<'mb>

pub fn into_typed_model(
    self
) -> Result<Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, (Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>, Error)>

pub fn wire_body(&mut self, body: &[Assignment]) -> Result<(), Error>

pub fn wire_invocation(
    &mut self,
    invocation: &Invocation,
    dt: &[Option<DatumType>]
) -> Result<Value, Error>

pub fn wire_fragment_invocation(
    &mut self,
    invocation: &ResolvedInvocation<'_>,
    decl: &FragmentDecl,
    body: &[Assignment]
) -> Result<Value, Error>

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

pub fn wire(
    &mut self,
    op: impl Into<Box<dyn TypedOp + 'static, Global>>,
    inputs: &[OutletId]
) -> Result<Value, Error>