pub enum SourceCheckInstruction {
Show 14 variants
Field(FieldSourceKey),
Literal(ScalarLiteral),
Equal,
NotEqual,
LessThan,
LessThanOrEqual,
GreaterThan,
GreaterThanOrEqual,
And,
Or,
Not,
IsNull,
IsNotNull,
Length,
}Expand description
One instruction in a bounded source-level postfix check expression.
This is an AST transport, not accepted bytecode: field references remain typed current-name keys and IcyDB still owns accepted binding and compilation.
Variants§
Field(FieldSourceKey)
Push one field value.
Literal(ScalarLiteral)
Push one admitted proposal literal.
Equal
SQL equality.
NotEqual
SQL inequality.
LessThan
SQL less-than.
LessThanOrEqual
SQL less-than-or-equal.
GreaterThan
SQL greater-than.
GreaterThanOrEqual
SQL greater-than-or-equal.
And
SQL three-valued conjunction.
Or
SQL three-valued disjunction.
Not
SQL three-valued negation.
IsNull
Two-valued null test.
IsNotNull
Two-valued non-null test.
Length
Bounded scalar/collection length.
Trait Implementations§
Source§impl Clone for SourceCheckInstruction
impl Clone for SourceCheckInstruction
Source§fn clone(&self) -> SourceCheckInstruction
fn clone(&self) -> SourceCheckInstruction
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for SourceCheckInstruction
impl Debug for SourceCheckInstruction
impl Eq for SourceCheckInstruction
Source§impl PartialEq for SourceCheckInstruction
impl PartialEq for SourceCheckInstruction
impl StructuralPartialEq for SourceCheckInstruction
Auto Trait Implementations§
impl Freeze for SourceCheckInstruction
impl RefUnwindSafe for SourceCheckInstruction
impl Send for SourceCheckInstruction
impl Sync for SourceCheckInstruction
impl Unpin for SourceCheckInstruction
impl UnsafeUnpin for SourceCheckInstruction
impl UnwindSafe for SourceCheckInstruction
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.