Trait radn::func::context::FunctorContext

source · 
pub trait FunctorContext<'a>: 'a + Send {
    type T: WeakFunctor<'a>;
}

Required Associated Types§

source

type T: WeakFunctor<'a>

Implementors§

source§

impl<'a, A: 'a + Send> FunctorContext<'a> for Trees<A>

§

type T = SoloInstance

source§

impl<'a, BT: FunctorContext<'a>> FunctorContext<'a> for BalancedTrees<BT>

§

type T = <BT as FunctorContext<'a>>::T

source§

impl<'a, BT: FunctorContext<'a>> FunctorContext<'a> for BoundTrees<BT>

§

type T = <BT as FunctorContext<'a>>::T

source§

impl<'a, Ctx: Context<'a>, A: Mentionable<'a, Ctx> + Clone, C: 'a + Comparator<A>, E: 'a + Send> FunctorContext<'a> for TreeContext2<'a, Ctx, A, C, E>

§

type T = <<Ctx as FallibleCtx<'a>>::Fallible as MonadFailAny<'a>>::W<TreeContextError<ResolutionError<<Ctx as Context<'a>>::LookupError, <<Node<'a, Ctx, A> as MentionableBase<'a>>::Fctr as FactoryBase<'a>>::ParseError>, E>>