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§

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

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



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>