Enum sql::func::ParamType

pub enum ParamType {
    Any,
    ArrayAny,
    ArrayElementAny,
    ListAny,
    ListElementAny,
    NonVecAny,
    MapAny,
    Plain(ScalarType),
    RecordAny,
}

Describes parameter types; these are essentially just ScalarType with some added flexibility.

Variants

Any

A pseudotype permitting any type.

ArrayAny

A polymorphic pseudotype permitting any array type. For more details, see ParamList::resolve_polymorphic_types.

ArrayElementAny

A polymorphic pseudotype permitting all types, with more constraints than Any, i.e. it is subject to polymorphic constraints. For more details, see ParamList::resolve_polymorphic_types.

ListAny

A polymorphic pseudotype permitting a ScalarType::List of any element type. For more details, see ParamList::resolve_polymorphic_types.

ListElementAny

A polymorphic pseudotype permitting all types, with more constraints than Any, i.e. it is subject to polymorphic constraints. For more details, see ParamList::resolve_polymorphic_types.

NonVecAny

A polymorphic pseudotype with the same behavior as ListElementAny, except it does not permit either ScalarType::Array or ScalarType::List.

MapAny

A polymorphic pseudotype permitting a ScalarType::Map of any non-nested value type. For more details, see ParamList::resolve_polymorphic_types.

Plain(ScalarType)

Tuple Fields

0: ScalarType

A standard parameter that accepts arguments that match its embedded ScalarType.

RecordAny

A polymorphic pseudotype permitting a ScalarType::Record of any type. Currently only used to express return values.

Implementations

impl ParamType

fn accepts_type(&self, ecx: &ExprContext<'_>, t: &ScalarType) -> bool

Does self accept arguments of type t?

fn is_preferred_by(&self, t: &ScalarType) -> bool

Does t’s TypeCategory prefer self? This question can make more sense with the understanding that pseudotypes are never preferred.

fn prefers_self(&self) -> bool

Is self the preferred parameter type for its TypeCategory?

fn is_polymorphic(&self) -> bool

fn oid(&self) -> u32

Trait Implementations

impl Clone for ParamType

fn clone(&self) -> ParamType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ParamType

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

Formats the value using the given formatter.

impl From<ParamType> for ReturnType

fn from(typ: ParamType) -> ReturnType

Performs the conversion.

impl From<ScalarBaseType> for ParamType

fn from(s: ScalarBaseType) -> ParamType

Performs the conversion.

impl From<ScalarType> for ParamType

fn from(s: ScalarType) -> ParamType

Performs the conversion.

impl Hash for ParamType

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<ParamType> for ParamType

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

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

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

This method tests for !=.

impl PartialEq<ParamType> for ScalarType

fn eq(&self, other: &ParamType) -> 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 !=.

impl PartialEq<ScalarType> for ParamType

fn eq(&self, other: &ScalarType) -> 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 !=.

impl Eq for ParamType

impl StructuralEq for ParamType

impl StructuralPartialEq for ParamType