Trait Recursive

pub trait Recursive
where
    Self: Sized,
{
    type FunctorToken: Functor;

    // Required method
    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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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>>