Struct candid::parser::typing::TypeEnv

pub struct TypeEnv(pub BTreeMap<String, Type>);

Implementations

impl TypeEnv

pub fn new() -> Self

pub fn ast_to_type(&self, ast: &IDLType) -> Result<Type>

Convert candid AST to internal Type

pub fn merge<'a>(&'a mut self, env: &TypeEnv) -> Result<&'a mut Self>

pub fn find_type(&self, name: &str) -> Result<&Type>

pub fn rec_find_type(&self, name: &str) -> Result<&Type>

pub fn trace_type<'a>(&'a self, t: &'a Type) -> Result<Type>

pub fn as_func<'a>(&'a self, t: &'a Type) -> Result<&'a Function>

pub fn as_service<'a>(&'a self, t: &'a Type) -> Result<&'a [(String, Type)]>

pub fn get_method<'a>(
    &'a self,
    t: &'a Type,
    id: &'a str
) -> Result<&'a Function>

Trait Implementations

impl Clone for TypeEnv

fn clone(&self) -> TypeEnv

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeEnv

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

Formats the value using the given formatter.

impl Default for TypeEnv

fn default() -> TypeEnv

Returns the “default value” for a type.