Trait sindra::ty::FindType

pub trait FindType: Value {
    type Output: Type;
    fn ty(&self) -> Self::Output;
}

Finds the Type for an object implementing the Value trait.

Associated Types

type Output: Type

The type that implements the Type trait associated with this value.

Required Methods

fn ty(&self) -> Self::Output

Discovers the type of this value.

Implementors