com.mojang.datafixers.optics.profunctors

Interface FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor<T> _>

Type Parameters:

T - The functor type.

P - The profunctor type.

Mu - The witness type for this FunctorProfunctor.

All Superinterfaces:

Mu<P>, Kind2 P

public interface FunctorProfunctor<T extends K1,P extends K2,Mu extends FunctorProfunctor<T> _>
extends Kind2 P

A type class that defines a method distribute(App, App2) that wraps the input and output of a profunctor into an effect defined via a functor.

Note that this interface does not extend Profunctor.

Type Shape:

%.Type.[%0] %1

See Also:

Profunctor, Functor

Method Summary

Modifier and Type	Method and Description
<A,B,F extends K1> P<F<A>,F<B>>	distribute(? extends T<F> proof, P<A,B> input) Wraps the input and output of the given transformation in the given functor.

Method Detail

distribute

<A,B,F extends K1> P<F<A>,F<B>> distribute(? extends T<F> proof,
                                           P<A,B> input)

Wraps the input and output of the given transformation in the given functor.

This method is equivalent to Functor.map(Function, App), but generalized to operate on any Profunctor.

API Note:

This method distributes the functor F across the arguments of the profunctor P, hence the name distribute.

Type Parameters:

A - The input type of the transformation.

B - The output type of the transformation.

F - The type of functor.

Parameters:

proof - The type class instance for the desired functor.

input - The transformation.

Returns:

A transformation between types wrapped in the given functor.

See Also:

Functor.map(Function, App)