Trait mamba::check::name::TupleCallable

pub trait TupleCallable<T1, T2, T3> {
    fn tuple(names: &[Name]) -> Self;
    fn callable(args: &[Name], ret_ty: &Name) -> Self;
    fn is_tuple(&self) -> T1;
    fn is_callable(&self) -> T1;
    fn elements(&self, pos: Position) -> TypeResult<T2>;
    fn args(&self, pos: Position) -> TypeResult<T2>;
    fn ret_ty(&self, pos: Position) -> TypeResult<T3>;
}

Required Methods

fn tuple(names: &[Name]) -> Self

fn callable(args: &[Name], ret_ty: &Name) -> Self

fn is_tuple(&self) -> T1

fn is_callable(&self) -> T1

fn elements(&self, pos: Position) -> TypeResult<T2>

fn args(&self, pos: Position) -> TypeResult<T2>

fn ret_ty(&self, pos: Position) -> TypeResult<T3>

Implementors

impl TupleCallable<bool, Vec<Name, Global>, Name> for StringName

impl TupleCallable<bool, Vec<Name, Global>, Name> for TrueName

impl TupleCallable<HashSet<bool, RandomState>, HashSet<Vec<Name, Global>, RandomState>, HashSet<Name, RandomState>> for Name