Enum prql_compiler::ast::pl::types::TypeExpr

pub enum TypeExpr {
    Primitive(TyLit),
    Singleton(Literal),
    Union(Vec<(Option<String>, TypeExpr)>),
    Tuple(Vec<TupleElement>),
    Array(Box<TypeExpr>),
    Type,
}

Variants

Primitive(TyLit)

Type of a built-in primitive type

Singleton(Literal)

Type that contains only a literal value

Union(Vec<(Option<String>, TypeExpr)>)

Union of sets (sum)

Tuple(Vec<TupleElement>)

Type of tuples (product)

Array(Box<TypeExpr>)

Type of arrays

Type

Type of sets. Used for exprs that can be converted to SetExpr and then used as a Ty.

Implementations

impl TypeExpr

pub fn as_primitive_mut(&mut self) -> Option<&mut TyLit>

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

pub fn as_primitive(&self) -> Option<&TyLit>

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

pub fn into_primitive(self) -> Result<TyLit, Self>

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

pub fn as_singleton_mut(&mut self) -> Option<&mut Literal>

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

pub fn as_singleton(&self) -> Option<&Literal>

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

pub fn into_singleton(self) -> Result<Literal, Self>

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

pub fn as_union_mut(&mut self) -> Option<&mut Vec<(Option<String>, TypeExpr)>>

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

pub fn as_union(&self) -> Option<&Vec<(Option<String>, TypeExpr)>>

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

pub fn into_union(self) -> Result<Vec<(Option<String>, TypeExpr)>, Self>

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

pub fn as_tuple_mut(&mut self) -> Option<&mut Vec<TupleElement>>

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

pub fn as_tuple(&self) -> Option<&Vec<TupleElement>>

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

pub fn into_tuple(self) -> Result<Vec<TupleElement>, Self>

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

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

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

pub fn as_array(&self) -> Option<&Box<TypeExpr>>

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

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

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

pub fn is_type(&self) -> bool

Returns true if this is a TypeExpr::Type, otherwise false

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeExpr

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

Deserialize this value from the given Serde deserializer.

impl Display for TypeExpr

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

Formats the value using the given formatter.

impl PartialEq<TypeExpr> for TypeExpr

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

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 TypeExpr