Module typeconv

Maintains a catalog of valid casts between mz_repr::ScalarTypes, as well as other cast-related functions.

Macros

casts 🔒

Structs

CastImpl 🔒

The implementation of a cast.

CastTemplate 🔒

A cast template is a function that produces a Cast given a concrete input and output type. A template can return None to indicate that it is incapable of producing a cast for the specified types.

Enums

CastContext

Describes the context of a cast.

Constants

REG_STRING_CAST_TEMPLATE 🔒

STRING_REG_CAST_TEMPLATE 🔒

STRING to REG*

Statics

REGCLASS_TO_STRING 🔒

REGPROC_TO_STRING 🔒

REGTYPE_TO_STRING 🔒

STRING_TO_REGCLASS_COERCED 🔒

STRING_TO_REGCLASS_EXPLICIT 🔒

STRING_TO_REGPROC 🔒

STRING_TO_REGTYPE 🔒

VALID_CASTS 🔒

Functions

can_cast

Reports whether it is possible to perform a cast from the specified types.

get_cast 🔒

Get casts directly between two ScalarTypes, with control over the allowed CastContext.

guess_best_common_type

Guesses the most-common type among a set of ScalarTypes that all members can be cast to. Returns None if a common type cannot be deduced.

plan_cast

Plans a cast between ScalarTypes, specifying which types of casts are permitted using CastContext.

plan_coerce

plan_hypothetical_cast

Similar to plan_cast, but for situations where you only know the type of the input expression (from) and not the expression itself. The returned expression refers to the first column of some imaginary row, where the first column is assumed to have type from.

sql_impl_cast 🔒

Like func::sql_impl_func, but for casts.

sql_impl_cast_per_context 🔒

to_jsonb

Converts an expression to ScalarType::Jsonb.

to_string

Converts an expression to ScalarType::String.

Type Aliases

Cast 🔒

A cast is a function that takes a ScalarExpr to another ScalarExpr.