Module mz_sql::plan::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.