Interface AffineP<P extends K2,Mu extends AffineP.Mu>
- All Superinterfaces:
App<Mu,
,P> Cartesian<P,
,Mu> Cocartesian<P,
,Mu> Kind2<P,
,Mu> Profunctor<P,
Mu>
- 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.Mu>
extends Cartesian<P,Mu>, Cocartesian<P,Mu>