Trait Generic
pub trait Generic {
type Repr;
// Required methods
fn into(self) -> Self::Repr;
fn from(repr: Self::Repr) -> Self;
// Provided methods
fn convert_from<Src>(src: Src) -> Self
where Self: Sized,
Src: Generic<Repr = Self::Repr> { ... }
fn map_repr<Mapper>(self, mapper: Mapper) -> Self
where Self: Sized,
Mapper: FnOnce(Self::Repr) -> Self::Repr { ... }
fn map_inter<Inter, Mapper>(self, mapper: Mapper) -> Self
where Self: Sized,
Inter: Generic<Repr = Self::Repr>,
Mapper: FnOnce(Inter) -> Inter { ... }
}Expand description
A trait that converts from a type to a generic representation.
For the most part, you should be using the derivation that is available
through frunk_derive to generate instances of this trait for your types.
§Laws
Any implementation of Generic must satisfy the following two laws:
forall x : Self. x == Generic::from(Generic::into(x))forall y : Repr. y == Generic::into(Generic::from(y))
That is, from and into should make up an isomorphism between
Self and the representation type Repr.
§Examples
use frunk::Generic;
#[derive(Generic)]
struct ApiPerson<'a> {
FirstName: &'a str,
LastName: &'a str,
Age: usize,
}
#[derive(Generic)]
struct DomainPerson<'a> {
first_name: &'a str,
last_name: &'a str,
age: usize,
}
let a_person = ApiPerson {
FirstName: "Joe",
LastName: "Blow",
Age: 30,
};
let d_person: DomainPerson = frunk::convert_from(a_person); // doneRequired Associated Types§
type Repr
type Repr
The generic representation type.
Required Methods§
Provided Methods§
fn convert_from<Src>(src: Src) -> Self
fn convert_from<Src>(src: Src) -> Self
Convert a value to another type provided that they have the same representation type.
fn map_repr<Mapper>(self, mapper: Mapper) -> Self
fn map_repr<Mapper>(self, mapper: Mapper) -> Self
Maps the given value of type Self by first transforming it to
the representation type Repr, then applying a mapper function
on Repr and finally transforming it back to a value of type Self.
fn map_inter<Inter, Mapper>(self, mapper: Mapper) -> Self
fn map_inter<Inter, Mapper>(self, mapper: Mapper) -> Self
Maps the given value of type Self by first transforming it
a type Inter that has the same representation type as Self,
then applying a mapper function on Inter and finally transforming
it back to a value of type 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.