Trait prop::avatar_extensions::Avatar

pub trait Avatar<T> {
    type Out: Avatar<T, Out = Self>;
    fn inv(self) -> Self::Out;
}

Implemented by avatars.

An avatar is an involution, which means that it maps back to itself after 2 steps.

Associated Types

type Out: Avatar<T, Out = Self>

The output avatar.

Required methods

fn inv(self) -> Self::Out

Involve the avatar.

Implementors

impl<T> Avatar<Inv<T>> for Inv<T>

type Out = T

impl<T> Avatar<Inv<T>> for T

type Out = Inv<T>

impl<T> Avatar<Loop<T>> for Loop<T>

type Out = Loop<T>