Struct frunk::traits::Poly

pub struct Poly<T>(pub T);

Wrapper type around a function for polymorphic maps and folds.

This is a thin generic wrapper type that is used to differentiate between single-typed generic closures F that implements, say, Fn(i8) -> bool, and a Poly-typed F that implements multiple Function types via the Func trait. (say, Func<i8, Output=bool> and Func<bool, Output=f32>)

This is needed because there are completely generic impls for many of the HList traits that take a simple unwrapped closure.

Tuple Fields

0: T

Trait Implementations

impl<T> Clone for Poly<T>

where T: Clone,

fn clone(&self) -> Poly<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P, R, CH, CTail> CoproductFoldable<Poly<P>, R> for Coproduct<CH, CTail>

where P: Func<CH, Output = R>, CTail: CoproductFoldable<Poly<P>, R>,

fn fold(self, f: Poly<P>) -> R

Use functions to fold a coproduct into a single value.

impl<'a, P, CH, CTail> CoproductMappable<&'a Poly<P>> for Coproduct<CH, CTail>

where P: Func<CH>, CTail: CoproductMappable<&'a Poly<P>>,

Implementation for mapping a Coproduct using a &poly_fn!.

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<&'a Poly<P>>>::Output>

fn map( self, poly: &'a Poly<P> ) -> <Coproduct<CH, CTail> as CoproductMappable<&'a Poly<P>>>::Output

Use functions to map each variant of a coproduct.

impl<'a, P, CH, CTail> CoproductMappable<&'a mut Poly<P>> for Coproduct<CH, CTail>

where P: Func<CH>, CTail: CoproductMappable<&'a mut Poly<P>>,

Implementation for mapping a Coproduct using a &mut poly_fn!.

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<&'a mut Poly<P>>>::Output>

fn map( self, poly: &'a mut Poly<P> ) -> <Coproduct<CH, CTail> as CoproductMappable<&'a mut Poly<P>>>::Output

Use functions to map each variant of a coproduct.

impl<P, CH, CTail> CoproductMappable<Poly<P>> for Coproduct<CH, CTail>

where P: Func<CH>, CTail: CoproductMappable<Poly<P>>,

Implementation for mapping a Coproduct using a poly_fn!.

type Output = Coproduct<<P as Func<CH>>::Output, <CTail as CoproductMappable<Poly<P>>>::Output>

fn map( self, poly: Poly<P> ) -> <Coproduct<CH, CTail> as CoproductMappable<Poly<P>>>::Output

Use functions to map each variant of a coproduct.

impl<T> Debug for Poly<T>

where T: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Default for Poly<T>

where T: Default,

fn default() -> Poly<T>

Returns the “default value” for a type.

impl<P, R, H, Tail, Acc> HFoldLeftable<Poly<P>, Acc> for HCons<H, Tail>

where Tail: HFoldLeftable<Poly<P>, R>, P: Func<(Acc, H), Output = R>,

type Output = <Tail as HFoldLeftable<Poly<P>, R>>::Output

fn foldl( self, poly: Poly<P>, acc: Acc ) -> <HCons<H, Tail> as HFoldLeftable<Poly<P>, Acc>>::Output

Perform a left fold over an HList.

impl<P, R, H, Tail, Init> HFoldRightable<Poly<P>, Init> for HCons<H, Tail>

where Tail: HFoldRightable<Poly<P>, Init>, P: Func<(<Tail as HFoldRightable<Poly<P>, Init>>::Output, H), Output = R>,

type Output = R

fn foldr( self, poly: Poly<P>, init: Init ) -> <HCons<H, Tail> as HFoldRightable<Poly<P>, Init>>::Output

Perform a right fold over an HList.

impl<P, H, Tail> HMappable<Poly<P>> for HCons<H, Tail>

where P: Func<H>, Tail: HMappable<Poly<P>>,

type Output = HCons<<P as Func<H>>::Output, <Tail as HMappable<Poly<P>>>::Output>

fn map(self, poly: Poly<P>) -> <HCons<H, Tail> as HMappable<Poly<P>>>::Output

Apply a function to each element of an HList.

impl<T> Copy for Poly<T>

where T: Copy,