com.mojang.datafixers.optics.profunctors

Interface AffineP<P extends K2,Mu extends AffineP _>

Type Parameters:

P - The type of transformation.

Mu - The witness type for this profunctor.

All Superinterfaces:

Mu<P>, Cartesian P, Cocartesian P, Kind2 P, Profunctor P

All Known Subinterfaces:

Mapping<P,Mu>, TraversalP<P,Mu>

All Known Implementing Classes:

Affine.Instance, ForgetOpt.Instance, FunctionType.Instance, ReForgetC.Instance, Traversal.Instance

public interface AffineP<P extends K2,Mu extends AffineP _>
extends Cartesian P, Cocartesian P

An interface combining the Cartesian and Cocartesian type classes. The Affine optic requires these profunctor type classes to implement its behavior.

Type Shape:

%.Type. %0

Method Summary

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Cartesian

first, second, toFP2

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Cocartesian

left, right, toFP

Methods inherited from interface com.mojang.datafixers.optics.profunctors.Profunctor

dimap, dimap, dimap, lmap, rmap