Struct gluon_completion::TypeAt

pub struct TypeAt<'a> {
    pub env: &'a TypeEnv,
}

Fields

env: &'a TypeEnv

Trait Implementations

impl<'a> Clone for TypeAt<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for TypeAt<'a>

impl<'a> Extract for TypeAt<'a>

type Output = Either<ArcKind, ArcType>

fn extract(self, found: &Found) -> Result<Self::Output, ()>

fn match_extract(self, found: &Match) -> Result<Self::Output, ()>