Enum Op1Enum

pub enum Op1Enum {
    Len(Len),
    ToInt(ToInt),
    ToStr(ToStr),
    Neg(Neg),
    IsPos(IsPos),
    IsZero(IsZero),
    IsNatural(IsNatural),
    RetainLl(RetainLl),
    RetainLc(RetainLc),
    RetainN(RetainN),
    RetainL(RetainL),
    RetainLN(RetainLN),
    Map(Map),
    Filter(Filter),
    Uppercase(Uppercase),
    Lowercase(Lowercase),
    AsMonth(AsMonth),
    AsDay(AsDay),
    AsYear(AsYear),
    AsWeekDay(AsWeekDay),
    ParseTime(ParseTime),
    ParseDate(ParseDate),
    ParseInt(ParseInt),
    ParseMonth(ParseMonth),
    ParseWeekday(ParseWeekday),
    ParseFloat(ParseFloat),
    FormatInt(FormatInt),
    FormatFloat(FormatFloat),
    FormatTime(FormatTime),
    FormatMonth(FormatMonth),
    FormatWeekday(FormatWeekday),
    FNeg(FNeg),
    FAbs(FAbs),
    FIsPos(FIsPos),
    FExp10(FExp10),
    IntToFloat(IntToFloat),
    FloatToInt(FloatToInt),
    StrToFloat(StrToFloat),
    FIsZero(FIsZero),
    FNotNeg(FNotNeg),
    FLen(FLen),
    BvNot(BvNot),
    BvNeg(BvNeg),
}

An enum that defines unary operations for expressions within the string synthesis framework.

This enumeration, Op1Enum, includes a wide array of operations that can be applied to a single operand. The operations cover a diverse set of functionalities such as conversions between data types (e.g., ToInt, ToStr, IntToFloat, FloatToInt, StrToFloat), string manipulations like changing case (Uppercase, Lowercase) and retaining specific character types (RetainLl, RetainLc, RetainN, RetainL, RetainLN).

Additionally, the enum supports various mathematical and logical checks (IsPos, IsZero, IsNatural, FIsPos, FIsZero, FNotNeg), numerical operations (Neg, FNeg, FAbs, FExp10), formatting (FormatInt, FormatFloat, FormatTime, FormatMonth, FormatWeekday), and parsing (ParseTime, ParseDate, ParseInt, ParseMonth, ParseWeekday, ParseFloat). It also includes utilities like Len for measuring length and several date-related transformations (AsMonth, AsDay, AsYear, AsWeekDay). This diverse suite of operations enables flexible and efficient manipulation of data types required for string synthesis challenges.

Variants

Len(Len)

ToInt(ToInt)

ToStr(ToStr)

Neg(Neg)

IsPos(IsPos)

IsZero(IsZero)

IsNatural(IsNatural)

RetainLl(RetainLl)

RetainLc(RetainLc)

RetainN(RetainN)

RetainL(RetainL)

RetainLN(RetainLN)

Map(Map)

Filter(Filter)

Uppercase(Uppercase)

Lowercase(Lowercase)

AsMonth(AsMonth)

AsDay(AsDay)

AsYear(AsYear)

AsWeekDay(AsWeekDay)

ParseTime(ParseTime)

ParseDate(ParseDate)

ParseInt(ParseInt)

ParseMonth(ParseMonth)

ParseWeekday(ParseWeekday)

ParseFloat(ParseFloat)

FormatInt(FormatInt)

FormatFloat(FormatFloat)

FormatTime(FormatTime)

FormatMonth(FormatMonth)

FormatWeekday(FormatWeekday)

FNeg(FNeg)

FAbs(FAbs)

FIsPos(FIsPos)

FExp10(FExp10)

IntToFloat(IntToFloat)

FloatToInt(FloatToInt)

StrToFloat(StrToFloat)

FIsZero(FIsZero)

FNotNeg(FNotNeg)

FLen(FLen)

BvNot(BvNot)

BvNeg(BvNeg)

Implementations

impl Op1Enum

pub fn eval(&self, a1: Value) -> Value

Evaluates a unary operation on a given value and returns the result.

This function takes a reference to self as an Op1Enum instance and a Value representing the operand for the unary operation. It attempts to evaluate the operation by calling the try_eval method with the provided argument and returns the second element of the resulting tuple, which is the computed Value. This method assumes that the operation is successfully executed, as it directly takes the result part of the tuple from try_eval.

impl Op1Enum

pub fn from_name(name: &str, config: &Config) -> Self

Implements a method to create an instance of the enumeration from a string identifier.

This method takes a string name representing the desired operation and a config reference, which helps configure certain operational aspects, to return the corresponding Op1Enum variant. Internally, it uses a macro, _do, to iterate over potential operations and check if their names match the given string identifier. If a match is found, it returns the operation configured with the supplied configuration. For specific operations like “str.len”, “str.from_int”, and “str.to_int”, direct matches that do not utilize the macro are provided for convenience. If no operation matches the given string name, the method panics with an “Unknown Operator” error message.

pub fn name(&self) -> &'static str

Provides a method to retrieve the name of a unary operation as a static string.

The method uses a macro to match the current instance of the enumeration against all possible variants of unary operations defined by Op1Enum. If the current instance matches one of these variants, it returns the corresponding name by invoking the name() method of the matched operation. It leverages a macro named for_all_op1! to iterate through all operation variants, ensuring extensibility and maintainability when new operations are introduced. If no match is found, the method panics, indicating an unexpected state or missing variant handling.

impl Op1Enum

pub fn is_formatting_op(&self) -> bool

pub fn format_all( &self, input: &'static [&'static str], ) -> Option<(Op1Enum, Value, Value, Value)>

Trait Implementations

impl Clone for Op1Enum

fn clone(&self) -> Op1Enum

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Op1Enum

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

Formats the value using the given formatter.

impl Display for Op1Enum

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

Formats the operation represented by Op1Enum for printing.

This implementation attempts to match the enum variant of the Op1Enum and writes its argument to the provided formatter. The macro crate::for_all_op1!() is used to iterate over all possible unary operation variants, facilitating the matching process. If an appropriate match is found, it writes the associated argument to the formatter. If no match is found using the macro, it completes without any action. This approach enables a concise and consistent output for each variant when formatted.

impl Enumerator1 for Op1Enum

fn enumerate( &self, this: &'static Op1Enum, exec: &'static Executor, opnt: [usize; 1], ) -> Result<(), ()>

impl From<AsDay> for Op1Enum

fn from(v: AsDay) -> Op1Enum

Converts to this type from the input type.

impl From<AsMonth> for Op1Enum

fn from(v: AsMonth) -> Op1Enum

Converts to this type from the input type.

impl From<AsWeekDay> for Op1Enum

fn from(v: AsWeekDay) -> Op1Enum

Converts to this type from the input type.

impl From<AsYear> for Op1Enum

fn from(v: AsYear) -> Op1Enum

Converts to this type from the input type.

impl From<BvNeg> for Op1Enum

fn from(v: BvNeg) -> Op1Enum

Converts to this type from the input type.

impl From<BvNot> for Op1Enum

fn from(v: BvNot) -> Op1Enum

Converts to this type from the input type.

impl From<FAbs> for Op1Enum

fn from(v: FAbs) -> Op1Enum

Converts to this type from the input type.

impl From<FExp10> for Op1Enum

fn from(v: FExp10) -> Op1Enum

Converts to this type from the input type.

impl From<FIsPos> for Op1Enum

fn from(v: FIsPos) -> Op1Enum

Converts to this type from the input type.

impl From<FIsZero> for Op1Enum

fn from(v: FIsZero) -> Op1Enum

Converts to this type from the input type.

impl From<FLen> for Op1Enum

fn from(v: FLen) -> Op1Enum

Converts to this type from the input type.

impl From<FNeg> for Op1Enum

fn from(v: FNeg) -> Op1Enum

Converts to this type from the input type.

impl From<FNotNeg> for Op1Enum

fn from(v: FNotNeg) -> Op1Enum

Converts to this type from the input type.

impl From<Filter> for Op1Enum

fn from(v: Filter) -> Op1Enum

Converts to this type from the input type.

impl From<FloatToInt> for Op1Enum

fn from(v: FloatToInt) -> Op1Enum

Converts to this type from the input type.

impl From<FormatFloat> for Op1Enum

fn from(v: FormatFloat) -> Op1Enum

Converts to this type from the input type.

impl From<FormatInt> for Op1Enum

fn from(v: FormatInt) -> Op1Enum

Converts to this type from the input type.

impl From<FormatMonth> for Op1Enum

fn from(v: FormatMonth) -> Op1Enum

Converts to this type from the input type.

impl From<FormatTime> for Op1Enum

fn from(v: FormatTime) -> Op1Enum

Converts to this type from the input type.

impl From<FormatWeekday> for Op1Enum

fn from(v: FormatWeekday) -> Op1Enum

Converts to this type from the input type.

impl From<IntToFloat> for Op1Enum

fn from(v: IntToFloat) -> Op1Enum

Converts to this type from the input type.

impl From<IsNatural> for Op1Enum

fn from(v: IsNatural) -> Op1Enum

Converts to this type from the input type.

impl From<IsPos> for Op1Enum

fn from(v: IsPos) -> Op1Enum

Converts to this type from the input type.

impl From<IsZero> for Op1Enum

fn from(v: IsZero) -> Op1Enum

Converts to this type from the input type.

impl From<Len> for Op1Enum

fn from(v: Len) -> Op1Enum

Converts to this type from the input type.

impl From<Lowercase> for Op1Enum

fn from(v: Lowercase) -> Op1Enum

Converts to this type from the input type.

impl From<Map> for Op1Enum

fn from(v: Map) -> Op1Enum

Converts to this type from the input type.

impl From<Neg> for Op1Enum

fn from(v: Neg) -> Op1Enum

Converts to this type from the input type.

impl From<ParseDate> for Op1Enum

fn from(v: ParseDate) -> Op1Enum

Converts to this type from the input type.

impl From<ParseFloat> for Op1Enum

fn from(v: ParseFloat) -> Op1Enum

Converts to this type from the input type.

impl From<ParseInt> for Op1Enum

fn from(v: ParseInt) -> Op1Enum

Converts to this type from the input type.

impl From<ParseMonth> for Op1Enum

fn from(v: ParseMonth) -> Op1Enum

Converts to this type from the input type.

impl From<ParseTime> for Op1Enum

fn from(v: ParseTime) -> Op1Enum

Converts to this type from the input type.

impl From<ParseWeekday> for Op1Enum

fn from(v: ParseWeekday) -> Op1Enum

Converts to this type from the input type.

impl From<RetainL> for Op1Enum

fn from(v: RetainL) -> Op1Enum

Converts to this type from the input type.

impl From<RetainLN> for Op1Enum

fn from(v: RetainLN) -> Op1Enum

Converts to this type from the input type.

impl From<RetainLc> for Op1Enum

fn from(v: RetainLc) -> Op1Enum

Converts to this type from the input type.

impl From<RetainLl> for Op1Enum

fn from(v: RetainLl) -> Op1Enum

Converts to this type from the input type.

impl From<RetainN> for Op1Enum

fn from(v: RetainN) -> Op1Enum

Converts to this type from the input type.

impl From<StrToFloat> for Op1Enum

fn from(v: StrToFloat) -> Op1Enum

Converts to this type from the input type.

impl From<ToInt> for Op1Enum

fn from(v: ToInt) -> Op1Enum

Converts to this type from the input type.

impl From<ToStr> for Op1Enum

fn from(v: ToStr) -> Op1Enum

Converts to this type from the input type.

impl From<Uppercase> for Op1Enum

fn from(v: Uppercase) -> Op1Enum

Converts to this type from the input type.

impl Hash for Op1Enum

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

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 Op1 for Op1Enum

fn cost(&self) -> usize

fn try_eval(&self, __enum_dispatch_arg_0: Value) -> (bool, Value)

impl ParsingOp for Op1Enum

fn parse_into(&self, input: &'static str) -> Vec<(&'static str, ConstValue)>

fn parse_all(&self, ctx: &Context) -> Vec<(&'static str, ConstValue)>

impl PartialEq for Op1Enum

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl TryInto<AsDay> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AsDay, <Self as TryInto<AsDay>>::Error>

Performs the conversion.

impl TryInto<AsMonth> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AsMonth, <Self as TryInto<AsMonth>>::Error>

Performs the conversion.

impl TryInto<AsWeekDay> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AsWeekDay, <Self as TryInto<AsWeekDay>>::Error>

Performs the conversion.

impl TryInto<AsYear> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AsYear, <Self as TryInto<AsYear>>::Error>

Performs the conversion.

impl TryInto<BvNeg> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<BvNeg, <Self as TryInto<BvNeg>>::Error>

Performs the conversion.

impl TryInto<BvNot> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<BvNot, <Self as TryInto<BvNot>>::Error>

Performs the conversion.

impl TryInto<FAbs> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FAbs, <Self as TryInto<FAbs>>::Error>

Performs the conversion.

impl TryInto<FExp10> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FExp10, <Self as TryInto<FExp10>>::Error>

Performs the conversion.

impl TryInto<FIsPos> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FIsPos, <Self as TryInto<FIsPos>>::Error>

Performs the conversion.

impl TryInto<FIsZero> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FIsZero, <Self as TryInto<FIsZero>>::Error>

Performs the conversion.

impl TryInto<FLen> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FLen, <Self as TryInto<FLen>>::Error>

Performs the conversion.

impl TryInto<FNeg> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FNeg, <Self as TryInto<FNeg>>::Error>

Performs the conversion.

impl TryInto<FNotNeg> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FNotNeg, <Self as TryInto<FNotNeg>>::Error>

Performs the conversion.

impl TryInto<Filter> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Filter, <Self as TryInto<Filter>>::Error>

Performs the conversion.

impl TryInto<FloatToInt> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FloatToInt, <Self as TryInto<FloatToInt>>::Error>

Performs the conversion.

impl TryInto<FormatFloat> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FormatFloat, <Self as TryInto<FormatFloat>>::Error>

Performs the conversion.

impl TryInto<FormatInt> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FormatInt, <Self as TryInto<FormatInt>>::Error>

Performs the conversion.

impl TryInto<FormatMonth> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FormatMonth, <Self as TryInto<FormatMonth>>::Error>

Performs the conversion.

impl TryInto<FormatTime> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<FormatTime, <Self as TryInto<FormatTime>>::Error>

Performs the conversion.

impl TryInto<FormatWeekday> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into( self, ) -> Result<FormatWeekday, <Self as TryInto<FormatWeekday>>::Error>

Performs the conversion.

impl TryInto<IntToFloat> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<IntToFloat, <Self as TryInto<IntToFloat>>::Error>

Performs the conversion.

impl TryInto<IsNatural> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<IsNatural, <Self as TryInto<IsNatural>>::Error>

Performs the conversion.

impl TryInto<IsPos> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<IsPos, <Self as TryInto<IsPos>>::Error>

Performs the conversion.

impl TryInto<IsZero> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<IsZero, <Self as TryInto<IsZero>>::Error>

Performs the conversion.

impl TryInto<Len> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Len, <Self as TryInto<Len>>::Error>

Performs the conversion.

impl TryInto<Lowercase> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Lowercase, <Self as TryInto<Lowercase>>::Error>

Performs the conversion.

impl TryInto<Map> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Map, <Self as TryInto<Map>>::Error>

Performs the conversion.

impl TryInto<Neg> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Neg, <Self as TryInto<Neg>>::Error>

Performs the conversion.

impl TryInto<ParseDate> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ParseDate, <Self as TryInto<ParseDate>>::Error>

Performs the conversion.

impl TryInto<ParseFloat> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ParseFloat, <Self as TryInto<ParseFloat>>::Error>

Performs the conversion.

impl TryInto<ParseInt> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ParseInt, <Self as TryInto<ParseInt>>::Error>

Performs the conversion.

impl TryInto<ParseMonth> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ParseMonth, <Self as TryInto<ParseMonth>>::Error>

Performs the conversion.

impl TryInto<ParseTime> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ParseTime, <Self as TryInto<ParseTime>>::Error>

Performs the conversion.

impl TryInto<ParseWeekday> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into( self, ) -> Result<ParseWeekday, <Self as TryInto<ParseWeekday>>::Error>

Performs the conversion.

impl TryInto<RetainL> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<RetainL, <Self as TryInto<RetainL>>::Error>

Performs the conversion.

impl TryInto<RetainLN> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<RetainLN, <Self as TryInto<RetainLN>>::Error>

Performs the conversion.

impl TryInto<RetainLc> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<RetainLc, <Self as TryInto<RetainLc>>::Error>

Performs the conversion.

impl TryInto<RetainLl> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<RetainLl, <Self as TryInto<RetainLl>>::Error>

Performs the conversion.

impl TryInto<RetainN> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<RetainN, <Self as TryInto<RetainN>>::Error>

Performs the conversion.

impl TryInto<StrToFloat> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<StrToFloat, <Self as TryInto<StrToFloat>>::Error>

Performs the conversion.

impl TryInto<ToInt> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ToInt, <Self as TryInto<ToInt>>::Error>

Performs the conversion.

impl TryInto<ToStr> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ToStr, <Self as TryInto<ToStr>>::Error>

Performs the conversion.

impl TryInto<Uppercase> for Op1Enum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Uppercase, <Self as TryInto<Uppercase>>::Error>

Performs the conversion.

impl Eq for Op1Enum

impl StructuralPartialEq for Op1Enum