#[repr(u8)]pub enum Opcode {
Show 19 variants
Sem = 1,
Epi = 2,
Pro = 3,
Inf = 4,
Supersedes = 16,
Corrects = 17,
StaleParent = 18,
Reconfirms = 19,
Checkpoint = 32,
EpisodeMeta = 33,
SymbolAlloc = 48,
SymbolRename = 49,
SymbolAlias = 50,
SymbolRetire = 51,
SymbolUnretire = 52,
Pin = 53,
Unpin = 54,
AuthoritativeSet = 55,
AuthoritativeClear = 56,
}Expand description
Record opcode per ir-canonical-form.md § 4.
Variants§
Sem = 1
Semantic memory record.
Epi = 2
Episodic memory record.
Pro = 3
Procedural memory record.
Inf = 4
Inferential memory record.
Supersedes = 16
Supersession edge.
Corrects = 17
Episodic correction edge.
StaleParent = 18
Inferential stale-parent edge.
Reconfirms = 19
Inferential reconfirmation edge.
Checkpoint = 32
Episode boundary marker.
EpisodeMeta = 33
Episode metadata record (label / parent / retracts). Written
by the store immediately before the Checkpoint for any
batch that contains an (episode :start ...) form. See
episode-semantics.md § 4.2.
SymbolAlloc = 48
New symbol allocation.
SymbolRename = 49
Rename edge.
SymbolAlias = 50
Alias edge.
SymbolRetire = 51
Retirement flag set.
SymbolUnretire = 52
Retirement flag cleared.
Pin = 53
Pin flag set (suspends decay).
Unpin = 54
Pin flag cleared.
AuthoritativeSet = 55
Operator-authoritative flag set.
AuthoritativeClear = 56
Operator-authoritative flag cleared.
Trait Implementations§
impl Copy for Opcode
impl Eq for Opcode
impl StructuralPartialEq for Opcode
Auto Trait Implementations§
impl Freeze for Opcode
impl RefUnwindSafe for Opcode
impl Send for Opcode
impl Sync for Opcode
impl Unpin for Opcode
impl UnsafeUnpin for Opcode
impl UnwindSafe for Opcode
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.