Struct naan::fun::curry2::Curry2

pub struct Curry2<F, A, B, C> { /* private fields */ }

A curried function that accepts 2 arguments

Implementations

impl<F, A, B, C> Curry2<F, Nothing<A>, Nothing<B>, C>where F: F2Once<A, B, Ret = C>,

pub fn curry(f: F) -> Self

Curry a binary function

pub fn uncurry(self) -> F

Unwrap the Curry2 wrapper, getting the inner function

Trait Implementations

impl<A, B, C, F> Clone for Curry2<F, A, B, C>where A: Arg + Clone, B: Arg, F: Clone + Fn(A::T, B::T) -> C,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A, B, const N: usize> Traversable<ArrayVec<N>, A, B, Curry2<fn(_: B, _: ArrayVec<[Option<B>; N]>) -> ArrayVec<[Option<B>; N]>, Just<B>, Nothing<ArrayVec<[Option<B>; N]>>, ArrayVec<[Option<B>; N]>>> for ArrayVec<[Option<A>; N]>where ArrayVec<N>: HKT1<T<B> = ArrayVec<[Option<B>; N]>>,

fn traversem1<Ap, AtoApOfB>( self, f: AtoApOfB ) -> Ap::T<ArrayVec<[Option<B>; N]>>where Ap: HKT1, Self: Foldable<ArrayVec<N>, A>, Ap::T<B>: Applicative<Ap, B> + ApplyOnce<Ap, B>, Ap::T<append1<N, B>>: Applicative<Ap, append1<N, B>> + ApplyOnce<Ap, append1<N, B>>, Ap::T<ArrayVec<[Option<B>; N]>>: Applicative<Ap, ArrayVec<[Option<B>; N]>> + ApplyOnce<Ap, ArrayVec<[Option<B>; N]>>, AtoApOfB: F1<A, Ret = Ap::T<B>>, ArrayVec<N>: HKT1<T<A> = Self>,

Traverse a structure with 0 or more elements, collecting into an Applicative of 0 or 1 elements.

fn traversemm<Ap, AtoApOfB>( self, f: AtoApOfB ) -> Ap::T<ArrayVec<[Option<B>; N]>>where Ap: HKT1, Self: Foldable<ArrayVec<N>, A>, B: Clone, Ap::T<B>: Applicative<Ap, B>, Ap::T<append1<N, B>>: Applicative<Ap, append1<N, B>>, Ap::T<ArrayVec<[Option<B>; N]>>: Applicative<Ap, ArrayVec<[Option<B>; N]>>, AtoApOfB: F1<A, Ret = Ap::T<B>>, ArrayVec<N>: HKT1<T<A> = Self>,

Traverse a structure with 0 or more elements, collecting into an Applicative of 0 or more elements.

impl<A, B> Traversable<Vec, A, B, Curry2<fn(_: B, _: Vec<B, Global>) -> Vec<B, Global>, Just<B>, Nothing<Vec<B, Global>>, Vec<B, Global>>> for Vec<A>

fn traversem1<Ap, AtoApOfB>(self, f: AtoApOfB) -> Ap::T<Vec<B>>where Ap: HKT1, Self: Foldable<Vec, A>, Ap::T<B>: Applicative<Ap, B> + ApplyOnce<Ap, B>, Ap::T<append1<B>>: Applicative<Ap, append1<B>> + ApplyOnce<Ap, append1<B>>, Ap::T<Vec<B>>: Applicative<Ap, Vec<B>> + ApplyOnce<Ap, Vec<B>>, AtoApOfB: F1<A, Ret = Ap::T<B>>, Vec: HKT1<T<A> = Self>,

Traverse a structure with 0 or more elements, collecting into an Applicative of 0 or 1 elements.

fn traversemm<Ap, AtoApOfB>(self, f: AtoApOfB) -> Ap::T<Vec<B>>where Ap: HKT1, Self: Foldable<Vec, A>, B: Clone, Ap::T<B>: Applicative<Ap, B>, Ap::T<append1<B>>: Applicative<Ap, append1<B>>, Ap::T<Vec<B>>: Applicative<Ap, Vec<B>>, AtoApOfB: F1<A, Ret = Ap::T<B>>, Vec: HKT1<T<A> = Self>,

Traverse a structure with 0 or more elements, collecting into an Applicative of 0 or more elements.

fn traverse<Ap, AtoApOfB>(self, f: AtoApOfB) -> Ap::T<F::T<B>>where Ap: HKT1, Self: Sized + Foldable<F, A>, Ap::T<B>: Applicative<Ap, B> + ApplyOnce<Ap, B>, Ap::T<TF>: Applicative<Ap, TF> + ApplyOnce<Ap, TF>, Ap::T<F::T<B>>: Applicative<Ap, F::T<B>> + ApplyOnce<Ap, F::T<B>>, AtoApOfB: F1<A, Ret = Ap::T<B>>, F: HKT1<T<A> = Self>,

Aliases Traversable::traversem1

impl<A, B, C, F> Copy for Curry2<F, A, B, C>where A: Arg + Copy, B: Arg, F: Copy + Fn(A::T, B::T) -> C,