Class Choice5._C<A,B,C,D,E>

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

private static final class Choice5._C<A,B,C,D,E> extends Choice5<A,B,C,D,E>
  • Field Details

    • c

      private final C c
  • Constructor Details

    • _C

      private _C(C c)
  • 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)
      Description copied from interface: CoProduct5
      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
      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