Trait GenericRepr 

pub trait GenericRepr: Sized {
    type Repr;

    // Required methods
    fn into_repr(self) -> Self::Repr;
    fn from_repr(repr: Self::Repr) -> Self;
}

Convert between a concrete type and its generic representation.

Laws

1. Round-trip: T::from_repr(t.into_repr()) == t
2. Inverse: T::into_repr(T::from_repr(r)) == r

Required Associated Types

type Repr

The generic representation type (built from Sum/Product/Unit/Void).

Required Methods

fn into_repr(self) -> Self::Repr

Convert this value to its generic representation.

fn from_repr(repr: Self::Repr) -> Self

Reconstruct a value from its generic representation.

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.

Implementations on Foreign Types

impl GenericRepr for bool

type Repr = Sum<Unit, Unit>

fn into_repr(self) -> Self::Repr

fn from_repr(repr: Self::Repr) -> Self

impl GenericRepr for ()

type Repr = Unit

fn into_repr(self) -> Unit

fn from_repr(_: Unit) -> Self

impl<A, B> GenericRepr for (A, B)

type Repr = Product<A, Product<B, Unit>>

fn into_repr(self) -> Self::Repr

fn from_repr(repr: Self::Repr) -> Self

impl<A, B, C> GenericRepr for (A, B, C)

type Repr = Product<A, Product<B, Product<C, Unit>>>

fn into_repr(self) -> Self::Repr

fn from_repr(repr: Self::Repr) -> Self

impl<T> GenericRepr for Option<T>

type Repr = Sum<T, Unit>

fn into_repr(self) -> Self::Repr

fn from_repr(repr: Self::Repr) -> Self

impl<T, E> GenericRepr for Result<T, E>

type Repr = Sum<T, E>

fn into_repr(self) -> Self::Repr

fn from_repr(repr: Self::Repr) -> Self

Implementors