Struct Type 

pub struct Type<'cx> { /* private fields */ }

An expression representing a type

Implementations

impl<'cx> Type<'cx>

pub fn new(val: Nir<'cx>, univ: Universe) -> Self

pub fn new_infer_universe( env: &TyEnv<'cx>, val: Nir<'cx>, ) -> Result<Self, TypeError>

Creates a new Type and infers its universe by re-typechecking its value. TODO: ideally avoid this function altogether. Would need to store types in RecordType and PiClosure.

pub fn from_const(c: Const) -> Self

pub fn from_builtin(cx: Ctxt<'cx>, b: Builtin) -> Self

pub fn ty(&self) -> Universe

Get the type of this type

pub fn to_nir(&self) -> Nir<'cx>

pub fn as_nir(&self) -> &Nir<'cx>

pub fn into_nir(self) -> Nir<'cx>

pub fn as_const(&self) -> Option<Const>

pub fn kind(&self) -> &NirKind<'cx>

pub fn to_hir(&self, venv: VarEnv) -> Hir<'cx>

pub fn to_expr_tyenv(&self, tyenv: &TyEnv<'cx>) -> Expr

Trait Implementations

impl<'cx> Clone for Type<'cx>

fn clone(&self) -> Type<'cx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'cx> Debug for Type<'cx>

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

Formats the value using the given formatter.

impl<'cx> PartialEq for Type<'cx>

fn eq(&self, other: &Type<'cx>) -> 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<'cx> Eq for Type<'cx>

impl<'cx> StructuralPartialEq for Type<'cx>