Struct tl_scheme::Scheme

pub struct Scheme<'a> {
    pub builtins: FxHashMap<&'a str, BuiltinConstructor<'a>>,
    pub types: FxHashMap<&'a str, Constructor<'a>>,
    pub boxed_types: FxHashMap<&'a str, Vec<&'a str>>,
    pub functions: FxHashMap<&'a str, Constructor<'a>>,
}

Parsed scheme with all types and functions.

Fields

builtins: FxHashMap<&'a str, BuiltinConstructor<'a>>

types: FxHashMap<&'a str, Constructor<'a>>

boxed_types: FxHashMap<&'a str, Vec<&'a str>>

functions: FxHashMap<&'a str, Constructor<'a>>

Implementations

impl<'a> Scheme<'a>

pub fn parse(s: &'a str) -> Result<Self, ParserError>

impl<'a> Scheme<'a>

pub fn compute_all_ids(
    &self
) -> FxHashMap<u32, (ConstructorKind, &Constructor<'a>)>

Computes all TL ids in the scheme

pub fn validate(&self) -> Result<(), ValidationError>

Resolves all types in the scheme

pub fn find_constructor(
    &self,
    name: &str
) -> Option<(ConstructorKind, &Constructor<'a>)>

Finds a type variant or function with the given name

pub fn get_type_variant(&self, name: &str) -> Option<&Constructor<'a>>

Finds type variant with the given name

pub fn get_function(&self, name: &str) -> Option<&Constructor<'a>>

Finds function with the given name

Trait Implementations

impl<'a> Clone for Scheme<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Scheme<'a>

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

Formats the value using the given formatter.

impl<'a> Default for Scheme<'a>

fn default() -> Scheme<'a>

Returns the “default value” for a type.