Struct TyChecker

pub struct TyChecker<'a> {
    pub scopes: &'a Scopes,
    pub live_registry: &'a LiveRegistry,
    pub shader_registry: &'a ShaderRegistry,
}

Fields

scopes: &'a Scopes

live_registry: &'a LiveRegistry

shader_registry: &'a ShaderRegistry

Implementations

impl<'a> TyChecker<'a>

pub fn ty_check_ty_expr( &mut self, ty_expr: &TyExpr, ) -> Result<ShaderTy, LiveError>

pub fn ty_check_expr_with_expected_ty( &mut self, span: TokenSpan, expr: &Expr, expected_ty: &ShaderTy, ) -> Result<ShaderTy, LiveError>

pub fn ty_check_expr(&mut self, expr: &Expr) -> Result<ShaderTy, LiveError>

Trait Implementations

impl<'a> Clone for TyChecker<'a>

fn clone(&self) -> TyChecker<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.