Class Choice6._B<A,B,C,D,E,F>

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

private static final class Choice6._B<A,B,C,D,E,F> extends Choice6<A,B,C,D,E,F>
  • 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)
      Description copied from interface: CoProduct6
      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
      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