Enum mz_expr::func::BinaryFunc

pub enum BinaryFunc {
    AddInt16,
    AddInt32,
    AddInt64,
    AddUInt16,
    AddUInt32,
    AddUInt64,
    AddFloat32,
    AddFloat64,
    AddInterval,
    AddTimestampInterval,
    AddTimestampTzInterval,
    AddDateInterval,
    AddDateTime,
    AddTimeInterval,
    AddNumeric,
    AgeTimestamp,
    AgeTimestampTz,
    BitAndInt16,
    BitAndInt32,
    BitAndInt64,
    BitAndUInt16,
    BitAndUInt32,
    BitAndUInt64,
    BitOrInt16,
    BitOrInt32,
    BitOrInt64,
    BitOrUInt16,
    BitOrUInt32,
    BitOrUInt64,
    BitXorInt16,
    BitXorInt32,
    BitXorInt64,
    BitXorUInt16,
    BitXorUInt32,
    BitXorUInt64,
    BitShiftLeftInt16,
    BitShiftLeftInt32,
    BitShiftLeftInt64,
    BitShiftLeftUInt16,
    BitShiftLeftUInt32,
    BitShiftLeftUInt64,
    BitShiftRightInt16,
    BitShiftRightInt32,
    BitShiftRightInt64,
    BitShiftRightUInt16,
    BitShiftRightUInt32,
    BitShiftRightUInt64,
    SubInt16,
    SubInt32,
    SubInt64,
    SubUInt16,
    SubUInt32,
    SubUInt64,
    SubFloat32,
    SubFloat64,
    SubInterval,
    SubTimestamp,
    SubTimestampTz,
    SubTimestampInterval,
    SubTimestampTzInterval,
    SubDate,
    SubDateInterval,
    SubTime,
    SubTimeInterval,
    SubNumeric,
    MulInt16,
    MulInt32,
    MulInt64,
    MulUInt16,
    MulUInt32,
    MulUInt64,
    MulFloat32,
    MulFloat64,
    MulNumeric,
    MulInterval,
    DivInt16,
    DivInt32,
    DivInt64,
    DivUInt16,
    DivUInt32,
    DivUInt64,
    DivFloat32,
    DivFloat64,
    DivNumeric,
    DivInterval,
    ModInt16,
    ModInt32,
    ModInt64,
    ModUInt16,
    ModUInt32,
    ModUInt64,
    ModFloat32,
    ModFloat64,
    ModNumeric,
    RoundNumeric,
    Eq,
    NotEq,
    Lt,
    Lte,
    Gt,
    Gte,
    LikeEscape,
    IsLikeMatch {
        case_insensitive: bool,
    },
    IsRegexpMatch {
        case_insensitive: bool,
    },
    ToCharTimestamp,
    ToCharTimestampTz,
    DateBinTimestamp,
    DateBinTimestampTz,
    ExtractInterval,
    ExtractTime,
    ExtractTimestamp,
    ExtractTimestampTz,
    ExtractDate,
    DatePartInterval,
    DatePartTime,
    DatePartTimestamp,
    DatePartTimestampTz,
    DateTruncTimestamp,
    DateTruncTimestampTz,
    DateTruncInterval,
    TimezoneTimestamp,
    TimezoneTimestampTz,
    TimezoneIntervalTimestamp,
    TimezoneIntervalTimestampTz,
    TimezoneIntervalTime,
    TimezoneOffset,
    TextConcat,
    JsonbGetInt64 {
        stringify: bool,
    },
    JsonbGetString {
        stringify: bool,
    },
    JsonbGetPath {
        stringify: bool,
    },
    JsonbContainsString,
    JsonbConcat,
    JsonbContainsJsonb,
    JsonbDeleteInt64,
    JsonbDeleteString,
    MapContainsKey,
    MapGetValue,
    MapContainsAllKeys,
    MapContainsAnyKeys,
    MapContainsMap,
    ConvertFrom,
    Left,
    Position,
    Right,
    RepeatString,
    Trim,
    TrimLeading,
    TrimTrailing,
    EncodedBytesCharLength,
    ListLengthMax {
        max_layer: usize,
    },
    ArrayContains,
    ArrayContainsArray {
        rev: bool,
    },
    ArrayLength,
    ArrayLower,
    ArrayRemove,
    ArrayUpper,
    ArrayArrayConcat,
    ListListConcat,
    ListElementConcat,
    ElementListConcat,
    ListRemove,
    ListContainsList {
        rev: bool,
    },
    DigestString,
    DigestBytes,
    MzRenderTypmod,
    Encode,
    Decode,
    LogNumeric,
    Power,
    PowerNumeric,
    GetByte,
    ConstantTimeEqBytes,
    ConstantTimeEqString,
    RangeContainsElem {
        elem_type: ScalarType,
        rev: bool,
    },
    RangeContainsRange {
        rev: bool,
    },
    RangeOverlaps,
    RangeAfter,
    RangeBefore,
    RangeOverleft,
    RangeOverright,
    RangeAdjacent,
    RangeUnion,
    RangeIntersection,
    RangeDifference,
    UuidGenerateV5,
    MzAclItemContainsPrivilege,
    ParseIdent,
    PrettySql,
    RegexpReplace {
        regex: Result<(Regex, usize), EvalError>,
    },
    StartsWith,
}

Variants

AddInt16

AddInt32

AddInt64

AddUInt16

AddUInt32

AddUInt64

AddFloat32

AddFloat64

AddInterval

AddTimestampInterval

AddTimestampTzInterval

AddDateInterval

AddDateTime

AddTimeInterval

AddNumeric

AgeTimestamp

AgeTimestampTz

BitAndInt16

BitAndInt32

BitAndInt64

BitAndUInt16

BitAndUInt32

BitAndUInt64

BitOrInt16

BitOrInt32

BitOrInt64

BitOrUInt16

BitOrUInt32

BitOrUInt64

BitXorInt16

BitXorInt32

BitXorInt64

BitXorUInt16

BitXorUInt32

BitXorUInt64

BitShiftLeftInt16

BitShiftLeftInt32

BitShiftLeftInt64

BitShiftLeftUInt16

BitShiftLeftUInt32

BitShiftLeftUInt64

BitShiftRightInt16

BitShiftRightInt32

BitShiftRightInt64

BitShiftRightUInt16

BitShiftRightUInt32

BitShiftRightUInt64

SubInt16

SubInt32

SubInt64

SubUInt16

SubUInt32

SubUInt64

SubFloat32

SubFloat64

SubInterval

SubTimestamp

SubTimestampTz

SubTimestampInterval

SubTimestampTzInterval

SubDate

SubDateInterval

SubTime

SubTimeInterval

SubNumeric

MulInt16

MulInt32

MulInt64

MulUInt16

MulUInt32

MulUInt64

MulFloat32

MulFloat64

MulNumeric

MulInterval

DivInt16

DivInt32

DivInt64

DivUInt16

DivUInt32

DivUInt64

DivFloat32

DivFloat64

DivNumeric

DivInterval

ModInt16

ModInt32

ModInt64

ModUInt16

ModUInt32

ModUInt64

ModFloat32

ModFloat64

ModNumeric

RoundNumeric

Eq

NotEq

Lt

Lte

Gt

Gte

LikeEscape

IsLikeMatch

Fields

case_insensitive: bool

IsRegexpMatch

Fields

case_insensitive: bool

ToCharTimestamp

ToCharTimestampTz

DateBinTimestamp

DateBinTimestampTz

ExtractInterval

ExtractTime

ExtractTimestamp

ExtractTimestampTz

ExtractDate

DatePartInterval

DatePartTime

DatePartTimestamp

DatePartTimestampTz

DateTruncTimestamp

DateTruncTimestampTz

DateTruncInterval

TimezoneTimestamp

TimezoneTimestampTz

TimezoneIntervalTimestamp

TimezoneIntervalTimestampTz

TimezoneIntervalTime

TimezoneOffset

TextConcat

JsonbGetInt64

Fields

stringify: bool

JsonbGetString

Fields

stringify: bool

JsonbGetPath

Fields

stringify: bool

JsonbContainsString

JsonbConcat

JsonbContainsJsonb

JsonbDeleteInt64

JsonbDeleteString

MapContainsKey

MapGetValue

MapContainsAllKeys

MapContainsAnyKeys

MapContainsMap

ConvertFrom

Left

Position

Right

RepeatString

Trim

TrimLeading

TrimTrailing

EncodedBytesCharLength

ListLengthMax

Fields

max_layer: usize

ArrayContains

ArrayContainsArray

Fields

rev: bool

ArrayLength

ArrayLower

ArrayRemove

ArrayUpper

ArrayArrayConcat

ListListConcat

ListElementConcat

ElementListConcat

ListRemove

ListContainsList

Fields

rev: bool

DigestString

DigestBytes

MzRenderTypmod

Encode

Decode

LogNumeric

Power

PowerNumeric

GetByte

ConstantTimeEqBytes

ConstantTimeEqString

RangeContainsElem

Fields

elem_type: ScalarType

rev: bool

RangeContainsRange

Fields

rev: bool

RangeOverlaps

RangeAfter

RangeBefore

RangeOverleft

RangeOverright

RangeAdjacent

RangeUnion

RangeIntersection

RangeDifference

UuidGenerateV5

MzAclItemContainsPrivilege

ParseIdent

PrettySql

RegexpReplace

Fields

regex: Result<(Regex, usize), EvalError>

StartsWith

Implementations

impl BinaryFunc

pub fn eval<'a>( &'a self, datums: &[Datum<'a>], temp_storage: &'a RowArena, a_expr: &'a MirScalarExpr, b_expr: &'a MirScalarExpr, ) -> Result<Datum<'a>, EvalError>

pub fn output_type( &self, input1_type: ColumnType, input2_type: ColumnType, ) -> ColumnType

pub fn propagates_nulls(&self) -> bool

Whether the function output is NULL if any of its inputs are NULL.

pub fn introduces_nulls(&self) -> bool

Whether the function might return NULL even if none of its inputs are NULL.

This is presently conservative, and may indicate that a function introduces nulls even when it does not.

pub fn is_infix_op(&self) -> bool

pub fn negate(&self) -> Option<Self>

Returns the negation of the given binary function, if it exists.

pub fn could_error(&self) -> bool

Returns true if the function could introduce an error on non-error inputs.

pub fn is_monotone(&self) -> (bool, bool)

Returns true if the function is monotone. (Non-strict; either increasing or decreasing.) Monotone functions map ranges to ranges: ie. given a range of possible inputs, we can determine the range of possible outputs just by mapping the endpoints.

This describes the pointwise behaviour of the function: ie. the behaviour of any specific argument as the others are held constant. (For example, a - b is monotone in the first argument because for any particular value of b, increasing a will always cause the result to increase… and in the second argument because for any specific a, increasing b will always cause the result to decrease.)

This property describes the behaviour of the function over ranges where the function is defined: ie. the arguments and the result are non-error datums.

Trait Implementations

impl Arbitrary for BinaryFunc

An explicit Arbitrary implementation needed here because of a known proptest issue.

Revert to the derive-macro impementation once the issue¹ is fixed.

---

1. https://github.com/AltSysrq/proptest/issues/152 ↩

type Parameters = ()

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = Union<BoxedStrategy<BinaryFunc>>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

impl Clone for BinaryFunc

fn clone(&self) -> BinaryFunc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BinaryFunc

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BinaryFunc

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BinaryFunc

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

Formats the value using the given formatter.

impl Hash for BinaryFunc

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 MzReflect for BinaryFunc

fn add_to_reflected_type_info(rti: &mut ReflectedTypeInfo)

Adds names and types of the fields of the struct or enum to rti.

impl Ord for BinaryFunc

fn cmp(&self, other: &BinaryFunc) -> 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 PartialEq for BinaryFunc

fn eq(&self, other: &BinaryFunc) -> 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 PartialOrd for BinaryFunc

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl RustType<ProtoBinaryFunc> for BinaryFunc

fn into_proto(&self) -> ProtoBinaryFunc

Convert a Self into a Proto value.

fn from_proto(proto: ProtoBinaryFunc) -> Result<Self, TryFromProtoError>

Consume and convert a Proto back into a Self value.

fn into_proto_owned(self) -> Proto

A zero clone version of Self::into_proto that types can optionally implement, otherwise, the default implementation delegates to Self::into_proto.

impl Serialize for BinaryFunc

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for BinaryFunc

impl StructuralPartialEq for BinaryFunc