Trait agda_mode::resp::CollectObjs

pub trait CollectObjs<Obj> {
    fn collect_objs(&self, collect: impl FnMut(&Obj));
}

Required methods

fn collect_objs(&self, collect: impl FnMut(&Obj))

Loading content...

Implementations on Foreign Types

impl<Obj> CollectObjs<Obj> for Vec<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for (Obj, Obj)

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for (Vec<Obj>, Vec<Obj>)

fn collect_objs(&self, collect: impl FnMut(&Obj))

Loading content...

Implementors

impl<Obj> CollectObjs<Obj> for OutputConstraint<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for CmpSomething<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for FindInstanceOF<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for JustSomething<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for OfType<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for PostponedCheckArgs<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

impl<Obj> CollectObjs<Obj> for TypedAssign<Obj>

fn collect_objs(&self, collect: impl FnMut(&Obj))

Loading content...