Class Choice8._B<A,B,C,D,E,F,G,H>

java.lang.Object
com.jnape.palatable.lambda.adt.choice.Choice8<A,B,C,D,E,F,G,H>
com.jnape.palatable.lambda.adt.choice.Choice8._B<A,B,C,D,E,F,G,H>
All Implemented Interfaces:
CoProduct8<A,B,C,D,E,F,G,H,Choice8<A,B,C,D,E,F,G,H>>, Applicative<H,Choice8<A,B,C,D,E,F,G,?>>, Bifunctor<G,H,Choice8<A,B,C,D,E,F,?,?>>, BoundedBifunctor<G,H,Object,Object,Choice8<A,B,C,D,E,F,?,?>>, Functor<H,Choice8<A,B,C,D,E,F,G,?>>, Monad<H,Choice8<A,B,C,D,E,F,G,?>>, MonadRec<H,Choice8<A,B,C,D,E,F,G,?>>, Traversable<H,Choice8<A,B,C,D,E,F,G,?>>
Enclosing class:
Choice8<A,B,C,D,E,F,G,H>

private static final class Choice8._B<A,B,C,D,E,F,G,H> extends Choice8<A,B,C,D,E,F,G,H>
  • Field Details

    • b

      private final B b
  • Constructor Details

    • _B

      private _B(B b)
  • Method Details

    • match

      public <R> R match(Fn1<? super A,? extends R> aFn, Fn1<? super B,? extends R> bFn, Fn1<? super C,? extends R> cFn, Fn1<? super D,? extends R> dFn, Fn1<? super E,? extends R> eFn, Fn1<? super F,? extends R> fFn, Fn1<? super G,? extends R> gFn, Fn1<? super H,? extends R> hFn)
      Description copied from interface: CoProduct8
      Type-safe convergence requiring a match against all potential types.
      Type Parameters:
      R - result type
      Parameters:
      aFn - morphism A -> R
      bFn - morphism B -> R
      cFn - morphism C -> R
      dFn - morphism D -> R
      eFn - morphism E -> R
      fFn - morphism F -> R
      gFn - morphism G -> R
      hFn - morphism H -> R
      Returns:
      the result of applying the appropriate morphism from whichever type is represented by this coproduct to R
      See Also:
    • equals

      public boolean equals(Object other)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object