Trait frunk_core::labelled::IntoUnlabelled

pub trait IntoUnlabelled {
    type Output;

    // Required method
    fn into_unlabelled(self) -> Self::Output;
}

Trait for turning a Field HList into an un-labelled HList

Required Associated Types

type Output

Required Methods

fn into_unlabelled(self) -> Self::Output

Turns the current HList into an unlabelled one.

Effectively extracts the values held inside the individual Field

Examples

use frunk::labelled::chars::*;
use frunk::labelled::IntoUnlabelled;
use frunk_core::{field, hlist};

let labelled_hlist = hlist![
    field!((n, a, m, e), "joe"),
    field!((a, g, e), 3)
];

let unlabelled = labelled_hlist.into_unlabelled();

assert_eq!(unlabelled, hlist!["joe", 3])

Implementors

impl IntoUnlabelled for HNil

Implementation for HNil

type Output = HNil

impl<Label, Value, Tail> IntoUnlabelled for HCons<Field<Label, Value>, Tail>

where Tail: IntoUnlabelled,

Implementation when we have a non-empty HCons holding a label in its head

type Output = HCons<Value, <Tail as IntoUnlabelled>::Output>