Type Alias Distributive<G>

Distributive: TypeClass.Functor.Functor<G> & {
    distribute: <F>(
        functor: TypeClass.Functor.Functor<F>,
    ) => <A>(fga: Get1<F, Get1<G, A>>) => Get1<G, Get1<F, A>>;
}

The dual of traversable functor, allows zipping a nested structure efficiently.

All instances of the distributive functor g must satisfy the following laws:

Identity: For all functor f and data x; distribute(f)(x) equals to distribute(f)(map(id)(x)),
Reversibility: For all distributive functor f and data x; g.distribute(f)(f.distribute(g)(x)) equals to x.

Type Parameters

G

Type Declaration

Readonlydistribute: <F>(
functor: TypeClass.Functor.Functor<F>,
) => <A>(fga: Get1<F, Get1<G, A>>) => Get1<G, Get1<F, A>>
The dual of sequenceA of traversable functor.