Struct TyCtx

pub struct TyCtx { /* private fields */ }

When type checking a super::expr::RelExpr, types are stored in a typing context TyCtx. It will then hold references, in the form of TyIds, to the types defined in the TyCtx.

Implementations

impl TyCtx

pub fn bool(&self) -> TypeWithCtx<'_>

Return a wrapped Type::BOOL

pub fn i8(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I8

pub fn u8(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U8

pub fn i16(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I16

pub fn u16(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U16

pub fn i32(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I32

pub fn u32(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U32

pub fn i64(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I64

pub fn u64(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U64

pub fn i128(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I128

pub fn u128(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U128

pub fn i256(&self) -> TypeWithCtx<'_>

Return a wrapped Type::I256

pub fn u256(&self) -> TypeWithCtx<'_>

Return a wrapped Type::U256

pub fn f32(&self) -> TypeWithCtx<'_>

Return a wrapped Type::F32

pub fn f64(&self) -> TypeWithCtx<'_>

Return a wrapped Type::F64

pub fn str(&self) -> TypeWithCtx<'_>

Return a wrapped Type::STR

pub fn bytes(&self) -> TypeWithCtx<'_>

Return a wrapped AlgebraicType::bytes()

pub fn ident(&self) -> TypeWithCtx<'_>

Return a wrapped AlgebraicType::identity()

pub fn try_resolve(&self, id: TyId) -> Result<TypeWithCtx<'_>, InvalidTypeId>

Try to resolve an id to its Type. Return a resolution error if not found.

pub fn resolve_symbol(&self, id: Symbol) -> Option<&str>

Resolve a Symbol to its name

pub fn add_algebraic_type(&mut self, ty: &AlgebraicType) -> TyId

Add an AlgebraicType to the context and return a TyId for it. The TyId is not guaranteed to be unique to the type. However for primitive types it will be.

pub fn add_var_type( &mut self, table_id: TableId, fields: Vec<(Symbol, TyId)>, ) -> TyId

Add a relvar or table type to the context and return a TyId for it. The TyId is not guaranteed to be unique to the type.

pub fn add_row_type(&mut self, fields: Vec<(Symbol, TyId)>) -> TyId

Add a derived row type to the context and return a TyId for it. The TyId is not guaranteed to be unique to the type.

pub fn gen_symbol(&mut self, name: impl AsRef<str>) -> Symbol

Generate a Symbol from a string

pub fn get_symbol(&self, name: impl AsRef<str>) -> Option<Symbol>

Get an already generated Symbol

pub fn eq(&self, a: TyId, b: TyId) -> Result<bool, InvalidTypeId>

Are these types structurally equivalent?

Trait Implementations

impl Debug for TyCtx

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

Formats the value using the given formatter.

impl Default for TyCtx

fn default() -> Self

Returns the “default value” for a type.