Enum WithUnresolvedTypeDefs 

pub enum WithUnresolvedTypeDefs<T> {
    WithUnresolved(Box<dyn FnOnce(&HashMap<Name, Type>) -> Result<T>>),
    WithoutUnresolved(T),
}

Represent a type that might be defined in terms of some type definitions which are not necessarily available in the current namespace.

Variants

WithUnresolved(Box<dyn FnOnce(&HashMap<Name, Type>) -> Result<T>>)

WithoutUnresolved(T)

Implementations

impl<T: 'static> WithUnresolvedTypeDefs<T>

pub fn new(f: impl FnOnce(&HashMap<Name, Type>) -> Result<T> + 'static) -> Self

pub fn map<U: 'static>( self, f: impl FnOnce(T) -> U + 'static, ) -> WithUnresolvedTypeDefs<U>

pub fn resolve_type_defs(self, type_defs: &HashMap<Name, Type>) -> Result<T>

Instantiate any names referencing types with the definition of the type from the input HashMap.

Trait Implementations

impl<T: Debug> Debug for WithUnresolvedTypeDefs<T>

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

Formats the value using the given formatter.

impl<T: 'static> From<T> for WithUnresolvedTypeDefs<T>

fn from(value: T) -> Self

Converts to this type from the input type.