Bicontravariant (NeoForge 26.1)

All Superinterfaces:: App<Mu,P>, Kind2<P,Mu>

All Known Subinterfaces:: GetterP<P,Mu>

All Known Implementing Classes:: Getter.Instance

interface Bicontravariant<P extends K2, Mu extends Bicontravariant.Mu> extends Kind2<P,Mu>

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

Bicontravariant.Mu
Method Summary

Modifier and Type

Method

Description

<A,B,C,D> FunctionType<Supplier<App2<P,A,B>>, App2<P,C,D>>

cimap(Function<C,A> g, Function<D,B> h)

default <A,B,C,D> App2<P,C,D>

cimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<D,B> h)

static <P extends K2, Proof extends Bicontravariant.Mu> Bicontravariant<P,Proof>

unbox(App<Proof,P> proofBox)

Method Details
- unbox
  
  static <P extends K2, Proof extends Bicontravariant.Mu> Bicontravariant<P,Proof> unbox(App<Proof,P> proofBox)
- cimap
  
  <A,B,C,D> FunctionType<Supplier<App2<P,A,B>>, App2<P,C,D>> cimap(Function<C,A> g, Function<D,B> h)
- cimap
  
  default <A,B,C,D> App2<P,C,D> cimap(Supplier<App2<P,A,B>> arg, Function<C,A> g, Function<D,B> h)