Enum CachedType 

pub enum CachedType {
    Constructor {
        id: String,
        params: Vec<CachedType>,
        underlying_ty: Option<Box<CachedType>>,
    },
    Function {
        params: Vec<CachedType>,
        param_mutability: Vec<bool>,
        bounds: Vec<CachedBound>,
        return_type: Box<CachedType>,
    },
    Forall {
        vars: Vec<String>,
        body: Box<CachedType>,
    },
    Parameter(String),
    Tuple(Vec<CachedType>),
    Never,
}

Serializable type representation. All type variables are resolved to either concrete types or Parameters.

Variants

Constructor

Fields

id: String

params: Vec<CachedType>

underlying_ty: Option<Box<CachedType>>

Function

Fields

params: Vec<CachedType>

param_mutability: Vec<bool>

bounds: Vec<CachedBound>

return_type: Box<CachedType>

Forall

Fields

vars: Vec<String>

body: Box<CachedType>

Parameter(String)

Tuple(Vec<CachedType>)

Never

Implementations

impl CachedType

pub fn from_type_with_vars( ty: &Type, var_names: &mut HashMap<i32, String>, ) -> Self

Convert a Type to CachedType by resolving all type variables. Uses a var_names map to ensure distinct type variables get distinct parameter names, even if they have the same hint.

pub fn from_type(ty: &Type) -> Self

pub fn to_type(&self) -> Type

Trait Implementations

impl Clone for CachedType

fn clone(&self) -> CachedType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CachedType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CachedType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CachedType

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

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 CachedType