Enum essential_constraint_vm::asm::opcode::Pred

#[repr(u8)]
pub enum Pred {
    Eq = 16,
    EqRange = 17,
    Gt = 18,
    Lt = 19,
    Gte = 20,
    Lte = 21,
    And = 22,
    Or = 23,
    Not = 24,
}

Operations for computing predicates.

Variants

Eq = 16

0x10

Opcode associated with the Pred::Eq operation.

EqRange = 17

0x11

Opcode associated with the Pred::EqRange operation.

Gt = 18

0x12

Opcode associated with the Pred::Gt operation.

Lt = 19

0x13

Opcode associated with the Pred::Lt operation.

Gte = 20

0x14

Opcode associated with the Pred::Gte operation.

Lte = 21

0x15

Opcode associated with the Pred::Lte operation.

And = 22

0x16

Opcode associated with the Pred::And operation.

Or = 23

0x17

Opcode associated with the Pred::Or operation.

Not = 24

0x18

Opcode associated with the Pred::Not operation.

Trait Implementations

impl Clone for Pred

fn clone(&self) -> Pred

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Pred

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

Formats the value using the given formatter.

impl From<Pred> for Constraint

fn from(subgroup: Pred) -> Constraint

Converts to this type from the input type.

impl Hash for Pred

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Pred

fn cmp(&self, other: &Pred) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl ParseOp for Pred

fn parse_op( &self, bytes: &mut impl Iterator<Item = u8>, ) -> Result<<Pred as ParseOp>::Op, <Pred as ParseOp>::Error>

Attempt to parse the operation associated with the opcode from the given bytes.

Only consumes the bytes necessary to construct any associated data.

Returns an error in the case that the given bytes iterator contains insufficient bytes to parse the op.

type Op = Pred

The operation associated with the opcode.

type Error = NotEnoughBytesError

Any error that might occur while parsing.

impl PartialEq for Pred

fn eq(&self, other: &Pred) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Pred

fn partial_cmp(&self, other: &Pred) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl TryFrom<u8> for Pred

type Error = InvalidOpcodeError

The type returned in the event of a conversion error.

fn try_from(u: u8) -> Result<Pred, <Pred as TryFrom<u8>>::Error>

Performs the conversion.

impl Copy for Pred

impl Eq for Pred

impl StructuralPartialEq for Pred