Trait prism_compiler::lang::error::TypeResultExt

source ·
pub trait TypeResultExt<T> {
    // Required method
    fn unwrap_or_eprint(self, env: &mut TcEnv, input: &str) -> T;
}

Required Methods§

source

fn unwrap_or_eprint(self, env: &mut TcEnv, input: &str) -> T

Implementations on Foreign Types§

source§

impl<T> TypeResultExt<T> for Result<T, AggregatedTypeError>

source§

fn unwrap_or_eprint(self, env: &mut TcEnv, input: &str) -> T

Implementors§