Trait frunk::labelled::IntoUnlabelled

pub trait IntoUnlabelled {
    type Output;
    fn into_unlabelled(self) -> Self::Output;
}

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

Associated Types

type Output

Loading content...

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;

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])

Loading content...

Implementors

impl IntoUnlabelled for HNil

Implementation for HNil

type Output = HNil

fn into_unlabelled(self) -> <HNil as IntoUnlabelled>::Output

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>

fn into_unlabelled(
    self
) -> <HCons<Field<Label, Value>, Tail> as IntoUnlabelled>::Output

Loading content...