Struct ExprType 

pub struct ExprType { /* private fields */ }

Represents a type in the expression language.

Fields are crate-private to enforce normalization via constructors. Use code() and params() for read access.

Implementations

impl ExprType

pub const BOOL: ExprType

pub const INT: ExprType

pub const FLOAT: ExprType

pub const STRING: ExprType

pub const PATH: ExprType

pub const RANGE_EXPR: ExprType

pub const NULLTYPE: ExprType

pub const ANY: ExprType

pub const NORETURN: ExprType

pub const T: ExprType

pub const T1: ExprType

pub const T2: ExprType

pub const T3: ExprType

pub fn code(&self) -> TypeCode

The type code for this type.

pub fn params(&self) -> &[ExprType]

The type parameters (e.g. element type for lists, member types for unions).

pub fn list(elem: ExprType) -> Self

pub fn union(types: Vec<ExprType>) -> Self

pub fn unresolved(constraint: ExprType) -> Self

pub fn signature(param_types: Vec<ExprType>, return_type: ExprType) -> Self

Create a function signature type: (param_types) -> return_type. Stored as params = [param0, param1, …, return_type].

pub fn sig_params(&self) -> &[ExprType]

Get the parameter types of a signature (all params except the last).

pub fn sig_return(&self) -> &ExprType

Get the return type of a signature (the last param).

pub fn match_call( &self, arg_types: &[ExprType], ) -> Option<HashMap<TypeCode, ExprType>>

Try to match a call’s argument types against this signature. Returns type variable bindings if successful, None if no match.

pub fn resolve_call(&self, arg_types: &[ExprType]) -> Option<ExprType>

Resolve the return type of a signature given argument types. Matches args, substitutes bindings into return type.

impl ExprType

pub fn is_list(&self) -> bool

pub fn list_element_type(&self) -> Option<&ExprType>

pub fn is_symbolic(&self) -> bool

pub fn is_concrete(&self) -> bool

pub fn substitute(&self, bindings: &HashMap<TypeCode, ExprType>) -> ExprType

Substitute type variables with concrete types.

pub fn match_type( &self, other: &ExprType, ) -> Option<HashMap<TypeCode, ExprType>>

Try to match this (possibly symbolic) type against another type. Returns bindings if successful, None if no match.

pub fn new(code: TypeCode, params: Vec<ExprType>) -> Self

Construct with normalization.

impl ExprType

pub fn parse(s: &str) -> Result<ExprType, String>

Parse a type string like “int”, “list[string]”, “int?”, “int | string”, “unresolved[int]”.

Trait Implementations

impl Clone for ExprType

fn clone(&self) -> ExprType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExprType

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

Formats the value using the given formatter.

impl Display for ExprType

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

Formats the value using the given formatter.

impl From<ExprType> for ExprValue

fn from(t: ExprType) -> Self

Converts to this type from the input type.

impl Hash for ExprType

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ExprType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ExprType

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ExprType