Struct ergotree_ir::mir::option_is_defined::OptionIsDefined

pub struct OptionIsDefined {
    pub input: Box<Expr>,
}

Returns false if the option is None, true otherwise.

Fields

input: Box<Expr>

Object of SOption type

Implementations

impl OptionIsDefined

pub fn new(input: Expr) -> Result<Self, InvalidArgumentError>

Create new object, returns an error if any of the requirements failed

pub fn tpe(&self) -> SType

Type

Trait Implementations

impl Clone for OptionIsDefined

fn clone(&self) -> OptionIsDefined

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OptionIsDefined

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

Formats the value using the given formatter.

impl Eq for OptionIsDefined

impl From<OptionIsDefined> for Expr

fn from(original: OptionIsDefined) -> Expr

Performs the conversion.

impl PartialEq<OptionIsDefined> for OptionIsDefined

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

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

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

This method tests for !=.

impl SigmaSerializable for OptionIsDefined

fn sigma_serialize<W: SigmaByteWrite>(&self, w: &mut W) -> Result<(), Error>

Write self to the given writer. This function has a sigma_ prefix to alert the reader that the serialization in use is consensus-critical serialization
Notice that the error type is std::io::Error; this indicates that serialization MUST be infallible up to errors in the underlying writer. In other words, any type implementing SigmaSerializable must make illegal states unrepresentable.

fn sigma_parse<R: SigmaByteRead>(r: &mut R) -> Result<Self, SerializationError>

Try to read self from the given reader. sigma- prefix to alert the reader that the serialization in use is consensus-critical

fn sigma_serialize_bytes(&self) -> Vec<u8>

Serialize any SigmaSerializable value into bytes

fn sigma_parse_bytes(bytes: Vec<u8>) -> Result<Self, SerializationError>

Parse self from the bytes

impl StructuralEq for OptionIsDefined

impl StructuralPartialEq for OptionIsDefined

impl TryFrom<Expr> for OptionIsDefined

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from(value: Expr) -> Result<Self, Self::Error>

Performs the conversion.