Trait recursion_schemes::recursive::Recursive

pub trait Recursivewhere
    Self: Sized,{
    type FunctorToken: Functor;

    fn into_layer(self) -> <Self::FunctorToken as Functor>::Layer<Self>;
}

Required Associated Types

type FunctorToken: Functor

Required Methods

fn into_layer(self) -> <Self::FunctorToken as Functor>::Layer<Self>

Implementors

impl<F: Functor> Recursive for Fix<F>

type FunctorToken = F

impl<R: Recursive + Copy> Recursive for WithContext<R>

type FunctorToken = Compose<<R as Recursive>::FunctorToken, (R, PartiallyApplied)>

impl<R: Recursive> Recursive for PartialExpansion<R>

type FunctorToken = Compose<<R as Recursive>::FunctorToken, Option<PartiallyApplied>>