Trait frunk_core::hlist::Sculptor[−][src]

pub trait Sculptor<Target, Indices> {
    type Remainder;
    fn sculpt(self) -> (Target, Self::Remainder);
}

Trait for pulling out some subset of an HList, using type inference.

This trait is part of the implementation of the inherent method HCons::sculpt. Please see that method for more information.

You only need to import this trait when working with generic HLists of unknown type. If you have an HList of known type, then list.sculpt() should "just work" even without the trait.

Associated Types

`type Remainder`

Required Methods

`fn sculpt(self) -> (Target, Self::Remainder)`

Consumes the current HList and returns an HList with the requested shape.

Please see the inherent method for more information.

The only difference between that inherent method and this trait method is the location of the type parameters. (here, they are on the trait rather than the method)

Implementors

impl<Source> Sculptor<HNil, HNil> for Source type Remainder = Source;
[src]

impl<THead, TTail, SHead, STail, IndexHead, IndexTail> Sculptor<HCons<THead, TTail>, HCons<IndexHead, IndexTail>> for HCons<SHead, STail> where
    HCons<SHead, STail>: Plucker<THead, IndexHead>,
    <HCons<SHead, STail> as Plucker<THead, IndexHead>>::Remainder: Sculptor<TTail, IndexTail>,   type Remainder = <<HCons<SHead, STail> as Plucker<THead, IndexHead>>::Remainder as Sculptor<TTail, IndexTail>>::Remainder;

[src]