Struct Context 

pub struct Context<'a> { /* private fields */ }

Context for resolving type identifiers

Implementations

impl<'a> Context<'a>

pub fn new(ty_defs: &'a [TyDef]) -> Self

pub fn get_ty(&self, ident: &'a Path) -> Result<&'a Ty, Error>

Single-step ident resolution (one hop only)

pub fn get_ty_mat(&self, ty: &'a Ty) -> Result<&'a Ty, Error>

Resolve type identifiers to their materialized types

pub fn is_option(&self, variants: &[TyEnumVariant]) -> Result<bool, Error>

Checks if enum is option pattern: enum {none, some: T} where T is primitive or array. These can be represented as nullable values (single column).