pub trait IntoUnlabelled {
    type Output;

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

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

Required Associated Types§

Required Methods§

source

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

Implementors§

source§

impl IntoUnlabelled for HNil

Implementation for HNil

§

type Output = HNil

source§

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>