Enum prql_compiler::ast::pl::types::Ty

pub enum Ty {
    TypeExpr(TypeExpr),
    Function(TyFunc),
    Table(Frame),
    Infer,
}

Variants

TypeExpr(TypeExpr)

Value is an element of this [SetExpr]

Function(TyFunc)

Value is a function described by TyFunc

Table(Frame)

Special type for relations.

Infer

Means that we have no information about the type of the variable and that it should be inferred from other usages.

Implementations

impl Ty

pub fn as_type_expr_mut(&mut self) -> Option<&mut TypeExpr>

Optionally returns mutable references to the inner fields if this is a Ty::TypeExpr, otherwise None

pub fn as_type_expr(&self) -> Option<&TypeExpr>

Optionally returns references to the inner fields if this is a Ty::TypeExpr, otherwise None

pub fn into_type_expr(self) -> Result<TypeExpr, Self>

Returns the inner fields if this is a Ty::TypeExpr, otherwise returns back the enum in the Err case of the result

pub fn as_function_mut(&mut self) -> Option<&mut TyFunc>

Optionally returns mutable references to the inner fields if this is a Ty::Function, otherwise None

pub fn as_function(&self) -> Option<&TyFunc>

Optionally returns references to the inner fields if this is a Ty::Function, otherwise None

pub fn into_function(self) -> Result<TyFunc, Self>

Returns the inner fields if this is a Ty::Function, otherwise returns back the enum in the Err case of the result

pub fn as_table_mut(&mut self) -> Option<&mut Frame>

Optionally returns mutable references to the inner fields if this is a Ty::Table, otherwise None

pub fn as_table(&self) -> Option<&Frame>

Optionally returns references to the inner fields if this is a Ty::Table, otherwise None

pub fn into_table(self) -> Result<Frame, Self>

Returns the inner fields if this is a Ty::Table, otherwise returns back the enum in the Err case of the result

pub fn is_infer(&self) -> bool

Returns true if this is a Ty::Infer, otherwise false

impl Ty

pub fn is_superset_of(&self, subset: &Ty) -> bool

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Ty

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Ty

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

Formats the value using the given formatter.

impl PartialEq<Ty> for Ty

fn eq(&self, other: &Ty) -> 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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Ty

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

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Ty