Trait Reversible 

pub trait Reversible {
    type Out;
}

Required Associated Types

type Out

Implementors

impl Reversible for Empty

type Out = List<()>

impl<T, U> Reversible for List<(T, U)>

where U: Reversible, (<U as Reversible>::Out, List<(T, Empty)>): Mappend,

type Out = <(<U as Reversible>::Out, List<(T, List<()>)>) as Mappend>::Out