Struct ArrayW 

pub struct ArrayW<const N: usize>(/* private fields */);

Trait Implementations

impl<const N: usize> Applicable for ArrayW<N>

fn liftA2<A, B, C>(f: impl Fn(A, B) -> C, a: [A; N], b: [B; N]) -> [C; N]

fn ap<A, B>(f: Self::H<impl Fn(A) -> B>, a: Self::H<A>) -> Self::H<B>

impl<const N: usize> ApplicableMut for ArrayW<N>

fn liftA2_mut<A, B, C>(f: impl FnMut(A, B) -> C, a: [A; N], b: [B; N]) -> [C; N]

fn ap_mut<A, B>(f: Self::H<impl FnMut(A) -> B>, a: Self::H<A>) -> Self::H<B>

impl<const N: usize> Endofunctor for ArrayW<N>

fn map<A, B>(f: impl Fn(A) -> B, a: [A; N]) -> [B; N]

impl<const N: usize> EndofunctorMut for ArrayW<N>

fn map_mut<A, B>(f: impl FnMut(A) -> B, a: [A; N]) -> [B; N]

impl EndofunctorOnce for ArrayW<1>

fn map_once<A, B>(f: impl FnOnce(A) -> B, [a]: [A; 1]) -> [B; 1]

impl<const N: usize> H1 for ArrayW<N>

type H<A> = [A; N]

impl Pointed for ArrayW<1>

fn point<A>(a: A) -> [A; 1]

impl<const N: usize> Semimonad for ArrayW<N>

fn join<A>(a: [[A; N]; N]) -> [A; N]

impl<const N: usize> Traversable for ArrayW<N>

fn traverse<A, B, P: Pointed + Applicable>( f: impl Fn(A) -> P::H<B>, a: [A; N], ) -> P::H<[B; N]>

impl<const N: usize> TraversableMut for ArrayW<N>

fn traverse_mut<A, B, P: Pointed + Applicable>( f: impl FnMut(A) -> P::H<B>, a: [A; N], ) -> P::H<[B; N]>