Skip to main content

BuilderInstruction

grabapl::operation::builder

Enum BuilderInstruction

pub enum BuilderInstruction<S: Semantics> {
Show 22 variants
    ExpectParameterNode(SubstMarker, S::NodeAbstract),
    ExpectContextNode(SubstMarker, S::NodeAbstract),
    ExpectParameterEdge(SubstMarker, SubstMarker, S::EdgeAbstract),
    StartQuery(S::BuiltinQuery, Vec<AbstractNodeId>),
    EnterTrueBranch,
    EnterFalseBranch,
    StartShapeQuery(AbstractOperationResultMarker),
    EndQuery,
    ExpectShapeNode(AbstractOutputNodeMarker, S::NodeAbstract),
    ExpectShapeNodeChange(AbstractNodeId, S::NodeAbstract),
    ExpectShapeEdge(AbstractNodeId, AbstractNodeId, S::EdgeAbstract),
    SkipMarker(Marker),
    SkipAllMarkers,
    AddNamedOperation(AbstractOperationResultMarker, BuilderOpLike<S>, Vec<AbstractNodeId>),
    AddBangOperation(NamedMarker, BuilderOpLike<S>, Vec<AbstractNodeId>),
    AddOperation(BuilderOpLike<S>, Vec<AbstractNodeId>),
    ReturnNode(AbstractNodeId, AbstractOutputNodeMarker, S::NodeAbstract),
    ReturnEdge(AbstractNodeId, AbstractNodeId, S::EdgeAbstract),
    RenameNode(AbstractNodeId, NamedMarker),
    Finalize,
    SelfReturnNode(AbstractOutputNodeMarker, S::NodeAbstract),
    Diverge(String),
}

Variants§

ExpectParameterNode(SubstMarker, S::NodeAbstract)

ExpectContextNode(SubstMarker, S::NodeAbstract)

ExpectParameterEdge(SubstMarker, SubstMarker, S::EdgeAbstract)

StartQuery(S::BuiltinQuery, Vec<AbstractNodeId>)

EnterTrueBranch

EnterFalseBranch

StartShapeQuery(AbstractOperationResultMarker)

EndQuery

ExpectShapeNode(AbstractOutputNodeMarker, S::NodeAbstract)

ExpectShapeNodeChange(AbstractNodeId, S::NodeAbstract)

ExpectShapeEdge(AbstractNodeId, AbstractNodeId, S::EdgeAbstract)

SkipMarker(Marker)

SkipAllMarkers

AddNamedOperation(AbstractOperationResultMarker, BuilderOpLike<S>, Vec<AbstractNodeId>)

AddBangOperation(NamedMarker, BuilderOpLike<S>, Vec<AbstractNodeId>)

AddOperation(BuilderOpLike<S>, Vec<AbstractNodeId>)

ReturnNode(AbstractNodeId, AbstractOutputNodeMarker, S::NodeAbstract)

ReturnEdge(AbstractNodeId, AbstractNodeId, S::EdgeAbstract)

RenameNode(AbstractNodeId, NamedMarker)

Rename a dynamic output marker. Invariants in the interpreter require that this is never a parameter node. (E.g., since we may want to return it)

Finalize

SelfReturnNode(AbstractOutputNodeMarker, S::NodeAbstract)

Asserts that the current operation will return a node with the given abstract value and name.

Diverge(String)

Diverge with a crash message. Has a static effect: The branch is considered to never return, hence merges will always take the other branch.

Trait Implementations§

impl<S: Semantics<BuiltinOperation: Clone, BuiltinQuery: Clone>> Clone for BuilderInstruction<S>

fn clone(&self) -> Self

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

impl<S: Semantics> Debug for BuilderInstruction<S>

fn fmt(&self, __derive_more_f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl<S> Freeze for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: Freeze, <S as Semantics>::EdgeAbstract: Freeze, <S as Semantics>::BuiltinQuery: Freeze, <S as Semantics>::BuiltinOperation: Freeze, <S as Semantics>::NodeConcrete: Freeze, <S as Semantics>::EdgeConcrete: Freeze,

impl<S> RefUnwindSafe for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: RefUnwindSafe, <S as Semantics>::EdgeAbstract: RefUnwindSafe, <S as Semantics>::BuiltinQuery: RefUnwindSafe, <S as Semantics>::BuiltinOperation: RefUnwindSafe, <S as Semantics>::NodeConcrete: RefUnwindSafe, <S as Semantics>::EdgeConcrete: RefUnwindSafe,

impl<S> Send for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: Send, <S as Semantics>::EdgeAbstract: Send, <S as Semantics>::BuiltinQuery: Send, <S as Semantics>::BuiltinOperation: Send, <S as Semantics>::NodeConcrete: Send, <S as Semantics>::EdgeConcrete: Send,

impl<S> Sync for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: Sync, <S as Semantics>::EdgeAbstract: Sync, <S as Semantics>::BuiltinQuery: Sync, <S as Semantics>::BuiltinOperation: Sync, <S as Semantics>::NodeConcrete: Sync, <S as Semantics>::EdgeConcrete: Sync,

impl<S> Unpin for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: Unpin, <S as Semantics>::EdgeAbstract: Unpin, <S as Semantics>::BuiltinQuery: Unpin, <S as Semantics>::BuiltinOperation: Unpin, <S as Semantics>::NodeConcrete: Unpin, <S as Semantics>::EdgeConcrete: Unpin,

impl<S> UnsafeUnpin for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: UnsafeUnpin, <S as Semantics>::EdgeAbstract: UnsafeUnpin, <S as Semantics>::BuiltinQuery: UnsafeUnpin, <S as Semantics>::BuiltinOperation: UnsafeUnpin, <S as Semantics>::NodeConcrete: UnsafeUnpin, <S as Semantics>::EdgeConcrete: UnsafeUnpin,

impl<S> UnwindSafe for BuilderInstruction<S>
where <S as Semantics>::NodeAbstract: UnwindSafe, <S as Semantics>::EdgeAbstract: UnwindSafe, <S as Semantics>::BuiltinQuery: UnwindSafe, <S as Semantics>::BuiltinOperation: UnwindSafe, <S as Semantics>::NodeConcrete: UnwindSafe, <S as Semantics>::EdgeConcrete: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

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

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.