Enum frunk_core::coproduct::Coproduct

source ·
pub enum Coproduct<H, T> {
    Inl(H),
    Inr(T),
}
Expand description

Enum type representing a Coproduct. Think of this as a Result, but capable of supporting any arbitrary number of types instead of just 2.

To construct a Coproduct, you would typically declare a type using the Coprod! type macro and then use the inject method.

§Examples

use frunk_core::Coprod;

type I32Bool = Coprod!(i32, bool);
let co1 = I32Bool::inject(3);
let get_from_1a: Option<&i32> = co1.get();
let get_from_1b: Option<&bool> = co1.get();
assert_eq!(get_from_1a, Some(&3));
assert_eq!(get_from_1b, None);

Variants§

§

Inl(H)

Coproduct is either H or T, in this case, it is H

§

Inr(T)

Coproduct is either H or T, in this case, it is T

Implementations§

source§

impl<Head, Tail> Coproduct<Head, Tail>

source

pub fn inject<T, Index>(to_insert: T) -> Self
where Self: CoprodInjector<T, Index>,

Instantiate a coproduct from an element.

This is generally much nicer than nested usage of Coproduct::{Inl, Inr}. The method uses a trick with type inference to automatically build the correct variant according to the input type.

In standard usage, the Index type parameter can be ignored, as it will typically be solved for using type inference.

§Rules

If the type does not appear in the coproduct, the conversion is forbidden.

If the type appears multiple times in the coproduct, type inference will fail.

§Example
use frunk::Coproduct;
use frunk_core::Coprod;

type I32F32 = Coprod!(i32, f32);

// Constructing coproducts using inject:
let co1_nice: I32F32 = Coproduct::inject(1i32);
let co2_nice: I32F32 = Coproduct::inject(42f32);

// Compare this to the "hard way":
let co1_ugly: I32F32 = Coproduct::Inl(1i32);
let co2_ugly: I32F32 = Coproduct::Inr(Coproduct::Inl(42f32));

assert_eq!(co1_nice, co1_ugly);
assert_eq!(co2_nice, co2_ugly);

// Feel free to use `inject` on a type alias, or even directly on the
// `Coprod!` macro. (the latter requires wrapping the type in `<>`)
let _ = I32F32::inject(42f32);
let _ = <Coprod!(i32, f32)>::inject(42f32);

// You can also use a turbofish to specify the type of the input when
// it is ambiguous (e.g. an empty `vec![]`).
// The Index parameter should be left as `_`.
type Vi32Vf32 = Coprod!(Vec<i32>, Vec<f32>);
let _: Vi32Vf32 = Coproduct::inject::<Vec<i32>, _>(vec![]);
source

pub fn get<S, Index>(&self) -> Option<&S>
where Self: CoproductSelector<S, Index>,

Borrow an element from a coproduct by type.

§Example
use frunk_core::Coprod;

type I32F32 = Coprod!(i32, f32);

// You can let type inference find the desired type:
let co1 = I32F32::inject(42f32);
let co1_as_i32: Option<&i32> = co1.get();
let co1_as_f32: Option<&f32> = co1.get();
assert_eq!(co1_as_i32, None);
assert_eq!(co1_as_f32, Some(&42f32));

// You can also use turbofish syntax to specify the type.
// The Index parameter should be left as `_`.
let co2 = I32F32::inject(1i32);
assert_eq!(co2.get::<i32, _>(), Some(&1));
assert_eq!(co2.get::<f32, _>(), None);
source

pub fn take<T, Index>(self) -> Option<T>
where Self: CoproductTaker<T, Index>,

Retrieve an element from a coproduct by type, ignoring all others.

§Example
use frunk_core::Coprod;

type I32F32 = Coprod!(i32, f32);

// You can let type inference find the desired type:
let co1 = I32F32::inject(42f32);
let co1_as_i32: Option<i32> = co1.take();
let co1_as_f32: Option<f32> = co1.take();
assert_eq!(co1_as_i32, None);
assert_eq!(co1_as_f32, Some(42f32));

// You can also use turbofish syntax to specify the type.
// The Index parameter should be left as `_`.
let co2 = I32F32::inject(1i32);
assert_eq!(co2.take::<i32, _>(), Some(1));
assert_eq!(co2.take::<f32, _>(), None);
source

pub fn uninject<T, Index>( self, ) -> Result<T, <Self as CoprodUninjector<T, Index>>::Remainder>
where Self: CoprodUninjector<T, Index>,

Attempt to extract a value from a coproduct (or get the remaining possibilities).

By chaining calls to this, one can exhaustively match all variants of a coproduct.

§Examples

Basic usage:

use frunk_core::Coprod;

type I32F32 = Coprod!(i32, f32);
type I32 = Coprod!(i32); // remainder after uninjecting f32
type F32 = Coprod!(f32); // remainder after uninjecting i32

let co1 = I32F32::inject(42f32);

// You can let type inference find the desired type.
let co1 = I32F32::inject(42f32);
let co1_as_i32: Result<i32, F32> = co1.uninject();
let co1_as_f32: Result<f32, I32> = co1.uninject();
assert_eq!(co1_as_i32, Err(F32::inject(42f32)));
assert_eq!(co1_as_f32, Ok(42f32));

// It is not necessary to annotate the type of the remainder:
let res: Result<i32, _> = co1.uninject();
assert!(res.is_err());

// You can also use turbofish syntax to specify the type.
// The Index parameter should be left as `_`.
let co2 = I32F32::inject(1i32);
assert_eq!(co2.uninject::<i32, _>(), Ok(1));
assert_eq!(co2.uninject::<f32, _>(), Err(I32::inject(1)));

Chaining calls for an exhaustive match:

use frunk_core::Coprod;

type I32F32 = Coprod!(i32, f32);

// Be aware that this particular example could be
// written far more succinctly using `fold`.
fn handle_i32_f32(co: I32F32) -> &'static str {
    // Remove i32 from the coproduct
    let co = match co.uninject::<i32, _>() {
        Ok(x) => return "integer!",
        Err(co) => co,
    };

    // Remove f32 from the coproduct
    let co = match co.uninject::<f32, _>() {
        Ok(x) => return "float!",
        Err(co) => co,
    };

    // Now co is empty
    match co { /* unreachable */ }
}

assert_eq!(handle_i32_f32(I32F32::inject(3)), "integer!");
assert_eq!(handle_i32_f32(I32F32::inject(3.0)), "float!");
source

pub fn subset<Targets, Indices>( self, ) -> Result<Targets, <Self as CoproductSubsetter<Targets, Indices>>::Remainder>
where Self: CoproductSubsetter<Targets, Indices>,

Extract a subset of the possible types in a coproduct (or get the remaining possibilities)

This is basically uninject on steroids. It lets you remove a number of types from a coproduct at once, leaving behind the remainder in an Err. For instance, one can extract Coprod!(C, A) from Coprod!(A, B, C, D) to produce Result<Coprod!(C, A), Coprod!(B, D)>.

Each type in the extracted subset is required to be part of the input coproduct.

§Example

Basic usage:

use frunk_core::Coprod;

type I32BoolF32 = Coprod!(i32, bool, f32);
type I32F32 = Coprod!(i32, f32);

let co1 = I32BoolF32::inject(42_f32);
let co2 = I32BoolF32::inject(true);

let sub1: Result<Coprod!(i32, f32), _> = co1.subset();
let sub2: Result<Coprod!(i32, f32), _> = co2.subset();
assert!(sub1.is_ok());
assert!(sub2.is_err());

// Turbofish syntax for specifying the target subset is also supported.
// The Indices parameter should be left to type inference using `_`.
assert!(co1.subset::<Coprod!(i32, f32), _>().is_ok());
assert!(co2.subset::<Coprod!(i32, f32), _>().is_err());

// Order doesn't matter.
assert!(co1.subset::<Coprod!(f32, i32), _>().is_ok());

Like uninject, subset can be used for exhaustive matching, with the advantage that it can remove more than one type at a time:

use frunk_core::{Coprod, hlist};
use frunk_core::coproduct::Coproduct;

fn handle_stringly_things(co: Coprod!(&'static str, String)) -> String {
    co.fold(hlist![
        |s| format!("&str {}", s),
        |s| format!("String {}", s),
    ])
}

fn handle_countly_things(co: Coprod!(u32)) -> String {
    co.fold(hlist![
        |n| vec!["."; n as usize].concat(),
    ])
}

fn handle_all(co: Coprod!(String, u32, &'static str)) -> String {
    // co is currently Coprod!(String, u32, &'static str)
    let co = match co.subset().map(handle_stringly_things) {
        Ok(s) => return s,
        Err(co) => co,
    };

    // Now co is Coprod!(u32).
    let co = match co.subset().map(handle_countly_things) {
        Ok(s) => return s,
        Err(co) => co,
    };

    // Now co is empty.
    match co { /* unreachable */ }
}

assert_eq!(handle_all(Coproduct::inject("hello")), "&str hello");
assert_eq!(handle_all(Coproduct::inject(String::from("World!"))), "String World!");
assert_eq!(handle_all(Coproduct::inject(4)), "....");
source

pub fn embed<Targets, Indices>(self) -> Targets
where Self: CoproductEmbedder<Targets, Indices>,

Convert a coproduct into another that can hold its variants.

This converts a coproduct into another one which is capable of holding each of its types. The most well-supported use-cases (i.e. those where type inference is capable of solving for the indices) are:

  • Reordering variants: Coprod!(C, A, B) -> Coprod!(A, B, C)
  • Embedding into a superset: Coprod!(B, D) -> Coprod!(A, B, C, D, E)
  • Coalescing duplicate inputs: Coprod!(B, B, B, B) -> Coprod!(A, B, C)

and of course any combination thereof.

§Rules

If any type in the input does not appear in the output, the conversion is forbidden.

If any type in the input appears multiple times in the output, type inference will fail.

All of these rules fall naturally out of its fairly simple definition, which is equivalent to:

coprod.fold(hlist![
    |x| Coproduct::inject(x),
    |x| Coproduct::inject(x),
            ...
    |x| Coproduct::inject(x),
])
§Example
use frunk_core::Coprod;

type I32BoolF32 = Coprod!(i32, bool, f32);
type BoolI32 = Coprod!(bool, i32);

let co = BoolI32::inject(true);
let embedded: I32BoolF32 = co.embed();
assert_eq!(embedded, I32BoolF32::inject(true));

// Turbofish syntax for specifying the output type is also supported.
// The Indices parameter should be left to type inference using `_`.
let embedded = co.embed::<I32BoolF32, _>();
assert_eq!(embedded, I32BoolF32::inject(true));
source

pub fn to_ref<'a>(&'a self) -> <Self as ToRef<'a>>::Output
where Self: ToRef<'a>,

Borrow each variant of the Coproduct.

§Example

Composing with subset to match a subset of variants without consuming the coproduct:

use frunk::Coproduct;
use frunk_core::Coprod;

let co: Coprod!(i32, bool, String) = Coproduct::inject(true);

assert!(co.to_ref().subset::<Coprod!(&bool, &String), _>().is_ok());
source

pub fn to_mut<'a>(&'a mut self) -> <Self as ToMut<'a>>::Output
where Self: ToMut<'a>,

Borrow each variant of the Coproduct mutably.

§Example

Composing with subset to match a subset of variants without consuming the coproduct:

use frunk::Coproduct;
use frunk_core::Coprod;

let mut co: Coprod!(i32, bool, String) = Coproduct::inject(true);

assert!(co.to_mut().subset::<Coprod!(&mut bool, &mut String), _>().is_ok());
source

pub fn fold<Output, Folder>(self, folder: Folder) -> Output
where Self: CoproductFoldable<Folder, Output>,

Use functions to transform a Coproduct into a single value.

A variety of types are supported for the Folder argument:

  • An hlist![] of closures (one for each type, in order).
  • A single closure (for a Coproduct that is homogenous).
  • A single Poly.
§Example
use frunk_core::{Coprod, hlist};

type I32F32Bool = Coprod!(i32, f32, bool);

let co1 = I32F32Bool::inject(3);
let co2 = I32F32Bool::inject(true);
let co3 = I32F32Bool::inject(42f32);

let folder = hlist![|&i| format!("int {}", i),
                    |&f| format!("float {}", f),
                    |&b| (if b { "t" } else { "f" }).to_string()];

assert_eq!(co1.to_ref().fold(folder), "int 3".to_string());

Using a polymorphic function type has the advantage of not forcing you to care about the order in which you declare handlers for the types in your Coproduct.

use frunk::{Poly, Func};
use frunk_core::Coprod;

type I32F32Bool = Coprod!(i32, f32, bool);

impl Func<i32> for P {
    type Output = bool;
    fn call(args: i32) -> Self::Output {
        args > 100
    }
}
impl Func<bool> for P {
    type Output = bool;
    fn call(args: bool) -> Self::Output {
        args
    }
}
impl Func<f32> for P {
    type Output = bool;
    fn call(args: f32) -> Self::Output {
        args > 9000f32
    }
}
struct P;

let co1 = I32F32Bool::inject(3);
let folded = co1.fold(Poly(P));
source

pub fn map<F>(self, mapper: F) -> <Self as CoproductMappable<F>>::Output
where Self: CoproductMappable<F>,

Apply a function to each variant of a Coproduct.

The transforms some Coprod!(A, B, C, ..., E) into some Coprod!(T, U, V, ..., Z). A variety of types are supported for the mapper argument:

  • An hlist![] of closures (one for each variant).
  • A single closure (for mapping a Coproduct that is homogenous).
  • A single Poly.
§Examples
use frunk::{hlist, Coprod};

type I32F32Bool = Coprod!(i32, f32, bool);
type BoolStrU8 = Coprod!(bool, &'static str, u8);

let co1 = I32F32Bool::inject(3);
let co2 = I32F32Bool::inject(42f32);
let co3 = I32F32Bool::inject(true);

let mapper = hlist![
    |n| n > 0,
    |f| if f == 42f32 { "😀" } else { "🤨" },
    |b| if b { 1u8 } else { 0u8 },
];

assert_eq!(co1.map(&mapper), BoolStrU8::inject(true));
assert_eq!(co2.map(&mapper), BoolStrU8::inject("😀"));
assert_eq!(co3.map(&mapper), BoolStrU8::inject(1u8));

Using a polymorphic function type has the advantage of not forcing you to care about the order in which you declare handlers for the types in your Coproduct.

use frunk::{poly_fn, Coprod};

type I32F32Bool = Coprod!(i32, f32, bool);

let co1 = I32F32Bool::inject(3);
let co2 = I32F32Bool::inject(42f32);
let co3 = I32F32Bool::inject(true);

let mapper = poly_fn![
    |b: bool| -> bool { !b },
    |n: i32| -> i32 { n + 3 },
    |f: f32| -> f32 { -f },
];

assert_eq!(co1.map(&mapper), I32F32Bool::inject(6));
assert_eq!(co2.map(&mapper), I32F32Bool::inject(-42f32));
assert_eq!(co3.map(&mapper), I32F32Bool::inject(false));

You can also use a singular closure if the Coproduct variants are all the same.

use frunk::Coprod;

type IntInt = Coprod!(i32, i32);
type BoolBool = Coprod!(bool, bool);

let mapper = |n| n > 0;

let co = IntInt::Inl(42);
assert_eq!(co.map(mapper), BoolBool::Inl(true));
source§

impl<T> Coproduct<T, CNil>

source

pub fn extract(self) -> T

Extract the value from a coproduct with only one variant.

§Example
use frunk_core::Coprod;

type I32Only = Coprod!(i32);
let co = I32Only::inject(5);

assert_eq!(co.extract(), 5);

Trait Implementations§

source§

impl<H: Clone, T: Clone> Clone for Coproduct<H, T>

source§

fn clone(&self) -> Coproduct<H, T>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<I, Tail> CoprodInjector<I, Here> for Coproduct<I, Tail>

source§

fn inject(to_insert: I) -> Self

Instantiate a coproduct from an element. Read more
source§

impl<Head, I, Tail, TailIndex> CoprodInjector<I, There<TailIndex>> for Coproduct<Head, Tail>
where Tail: CoprodInjector<I, TailIndex>,

source§

fn inject(to_insert: I) -> Self

Instantiate a coproduct from an element. Read more
source§

impl<Hd, Tl> CoprodUninjector<Hd, Here> for Coproduct<Hd, Tl>

source§

type Remainder = Tl

source§

fn uninject(self) -> Result<Hd, Tl>

Attempt to extract a value from a coproduct (or get the remaining possibilities). Read more
source§

impl<Hd, Tl, T, N> CoprodUninjector<T, There<N>> for Coproduct<Hd, Tl>
where Tl: CoprodUninjector<T, N>,

source§

type Remainder = Coproduct<Hd, <Tl as CoprodUninjector<T, N>>::Remainder>

source§

fn uninject(self) -> Result<T, Self::Remainder>

Attempt to extract a value from a coproduct (or get the remaining possibilities). Read more
source§

impl<Head, Tail> CoproductEmbedder<Coproduct<Head, Tail>, HNil> for CNil
where CNil: CoproductEmbedder<Tail, HNil>,

source§

fn embed(self) -> Coproduct<Head, Tail>

Convert a coproduct into another that can hold its variants. Read more
source§

impl<Head, Tail, Out, NHead, NTail> CoproductEmbedder<Out, HCons<NHead, NTail>> for Coproduct<Head, Tail>
where Out: CoprodInjector<Head, NHead>, Tail: CoproductEmbedder<Out, NTail>,

source§

fn embed(self) -> Out

Convert a coproduct into another that can hold its variants. Read more
source§

impl<F, R, FTail, CH, CTail> CoproductFoldable<HCons<F, FTail>, R> for Coproduct<CH, CTail>
where F: FnOnce(CH) -> R, CTail: CoproductFoldable<FTail, R>,

source§

fn fold(self, f: HCons<F, FTail>) -> R

Use functions to fold a coproduct into a single value. Read more
source§

impl<P, R, CH, CTail> CoproductFoldable<Poly<P>, R> for Coproduct<CH, CTail>
where P: Func<CH, Output = R>, CTail: CoproductFoldable<Poly<P>, R>,

source§

fn fold(self, f: Poly<P>) -> R

Use functions to fold a coproduct into a single value. Read more
source§

impl<'a, F, R, MapperTail, CH, CTail> CoproductMappable<&'a HCons<F, MapperTail>> for Coproduct<CH, CTail>
where F: Fn(CH) -> R, CTail: CoproductMappable<&'a MapperTail>,

Implementation for mapping a Coproduct using a &hlist!.

source§

type Output = Coproduct<R, <CTail as CoproductMappable<&'a MapperTail>>::Output>

source§

fn map(self, mapper: &'a HCons<F, MapperTail>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<'a, P, CH, CTail> CoproductMappable<&'a Poly<P>> for Coproduct<CH, CTail>
where P: Func<CH>, CTail: CoproductMappable<&'a Poly<P>>,

Implementation for mapping a Coproduct using a &poly_fn!.

source§

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<&'a Poly<P>>>::Output>

source§

fn map(self, poly: &'a Poly<P>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<'a, F, R, MapperTail, CH, CTail> CoproductMappable<&'a mut HCons<F, MapperTail>> for Coproduct<CH, CTail>
where F: FnMut(CH) -> R, CTail: CoproductMappable<&'a mut MapperTail>,

Implementation for mapping a Coproduct using a &mut hlist!.

source§

type Output = Coproduct<R, <CTail as CoproductMappable<&'a mut MapperTail>>::Output>

source§

fn map(self, mapper: &'a mut HCons<F, MapperTail>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<'a, P, CH, CTail> CoproductMappable<&'a mut Poly<P>> for Coproduct<CH, CTail>
where P: Func<CH>, CTail: CoproductMappable<&'a mut Poly<P>>,

Implementation for mapping a Coproduct using a &mut poly_fn!.

source§

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<&'a mut Poly<P>>>::Output>

source§

fn map(self, poly: &'a mut Poly<P>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<F, R, CH, CTail> CoproductMappable<F> for Coproduct<CH, CTail>
where F: FnMut(CH) -> R, CTail: CoproductMappable<F>,

Implementation for mapping a Coproduct using a single function that can handle all variants.

source§

type Output = Coproduct<R, <CTail as CoproductMappable<F>>::Output>

source§

fn map(self, f: F) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<F, R, MapperTail, CH, CTail> CoproductMappable<HCons<F, MapperTail>> for Coproduct<CH, CTail>
where F: FnOnce(CH) -> R, CTail: CoproductMappable<MapperTail>,

Implementation for mapping a Coproduct using an hlist!.

source§

type Output = Coproduct<R, <CTail as CoproductMappable<MapperTail>>::Output>

source§

fn map(self, mapper: HCons<F, MapperTail>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<P, CH, CTail> CoproductMappable<Poly<P>> for Coproduct<CH, CTail>
where P: Func<CH>, CTail: CoproductMappable<Poly<P>>,

Implementation for mapping a Coproduct using a poly_fn!.

source§

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<Poly<P>>>::Output>

source§

fn map(self, poly: Poly<P>) -> Self::Output

Use functions to map each variant of a coproduct. Read more
source§

impl<Head, FromTail, Tail, TailIndex> CoproductSelector<FromTail, There<TailIndex>> for Coproduct<Head, Tail>
where Tail: CoproductSelector<FromTail, TailIndex>,

source§

fn get(&self) -> Option<&FromTail>

Borrow an element from a coproduct by type. Read more
source§

impl<Head, Tail> CoproductSelector<Head, Here> for Coproduct<Head, Tail>

source§

fn get(&self) -> Option<&Head>

Borrow an element from a coproduct by type. Read more
source§

impl<Head, FromTail, Tail, TailIndex> CoproductTaker<FromTail, There<TailIndex>> for Coproduct<Head, Tail>
where Tail: CoproductTaker<FromTail, TailIndex>,

source§

fn take(self) -> Option<FromTail>

Retrieve an element from a coproduct by type, ignoring all others. Read more
source§

impl<Head, Tail> CoproductTaker<Head, Here> for Coproduct<Head, Tail>

source§

fn take(self) -> Option<Head>

Retrieve an element from a coproduct by type, ignoring all others. Read more
source§

impl<H: Debug, T: Debug> Debug for Coproduct<H, T>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<H: Hash, T: Hash> Hash for Coproduct<H, T>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<H: Ord, T: Ord> Ord for Coproduct<H, T>

source§

fn cmp(&self, other: &Coproduct<H, T>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl<H: PartialEq, T: PartialEq> PartialEq for Coproduct<H, T>

source§

fn eq(&self, other: &Coproduct<H, T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<H: PartialOrd, T: PartialOrd> PartialOrd for Coproduct<H, T>

source§

fn partial_cmp(&self, other: &Coproduct<H, T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl<'a, CH: 'a, CTail> ToMut<'a> for Coproduct<CH, CTail>
where CTail: ToMut<'a>,

source§

type Output = Coproduct<&'a mut CH, <CTail as ToMut<'a>>::Output>

source§

fn to_mut(&'a mut self) -> Self::Output

source§

impl<'a, CH: 'a, CTail> ToRef<'a> for Coproduct<CH, CTail>
where CTail: ToRef<'a>,

source§

type Output = Coproduct<&'a CH, <CTail as ToRef<'a>>::Output>

source§

fn to_ref(&'a self) -> Self::Output

source§

impl<H: Copy, T: Copy> Copy for Coproduct<H, T>

source§

impl<H: Eq, T: Eq> Eq for Coproduct<H, T>

source§

impl<H, T> StructuralPartialEq for Coproduct<H, T>

Auto Trait Implementations§

§

impl<H, T> Freeze for Coproduct<H, T>
where H: Freeze, T: Freeze,

§

impl<H, T> RefUnwindSafe for Coproduct<H, T>

§

impl<H, T> Send for Coproduct<H, T>
where H: Send, T: Send,

§

impl<H, T> Sync for Coproduct<H, T>
where H: Sync, T: Sync,

§

impl<H, T> Unpin for Coproduct<H, T>
where H: Unpin, T: Unpin,

§

impl<H, T> UnwindSafe for Coproduct<H, T>
where H: UnwindSafe, T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<Choices> CoproductSubsetter<CNil, HNil> for Choices

source§

type Remainder = Choices

source§

fn subset( self, ) -> Result<CNil, <Choices as CoproductSubsetter<CNil, HNil>>::Remainder>

Extract a subset of the possible types in a coproduct (or get the remaining possibilities) Read more
source§

impl<Choices, THead, TTail, NHead, NTail, Rem> CoproductSubsetter<Coproduct<THead, TTail>, HCons<NHead, NTail>> for Choices
where Choices: CoprodUninjector<THead, NHead, Remainder = Rem>, Rem: CoproductSubsetter<TTail, NTail>,

source§

fn subset( self, ) -> Result<Coproduct<THead, TTail>, <Choices as CoproductSubsetter<Coproduct<THead, TTail>, HCons<NHead, NTail>>>::Remainder>

Attempt to extract a value from a subset of the types.

source§

type Remainder = <Rem as CoproductSubsetter<TTail, NTail>>::Remainder

source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U, I> LiftInto<U, I> for T
where U: LiftFrom<T, I>,

source§

fn lift_into(self) -> U

Performs the indexed conversion.
source§

impl<Source> Sculptor<HNil, HNil> for Source

source§

type Remainder = Source

source§

fn sculpt(self) -> (HNil, <Source as Sculptor<HNil, HNil>>::Remainder)

Consumes the current HList and returns an HList with the requested shape. Read more
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.