Enum PseudoType 

pub enum PseudoType {
    AnyElement,
    AnyArray,
    AnyNonArray,
    AnyCompatible,
}

PG-style pseudo-type used by polymorphic function signatures. The resolver substitutes each variant with a concrete DataType at analyze time based on call-site arguments.

Variants

AnyElement

Matches any single concrete type. All AnyElement positions in one signature must resolve to the same concrete type.

AnyArray

Matches any array type. The element type is inferred from any AnyElement in the same signature — if no AnyElement exists, the array’s element type is the matched type itself.

AnyNonArray

Like AnyElement but rejects array types. Used by functions that must not accept arrays to avoid element-wise confusion.

AnyCompatible

Like AnyElement but tolerates implicit coercion via the cast catalog. Two AnyCompatible positions may resolve to different concrete types as long as a common implicit coercion exists.

Trait Implementations

impl Clone for PseudoType

fn clone(&self) -> PseudoType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PseudoType

impl Debug for PseudoType

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

Formats the value using the given formatter.

impl Eq for PseudoType

impl Hash for PseudoType

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 PartialEq for PseudoType

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