Class Choice7._F<A,B,C,D,E,F,G>

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

private static final class Choice7._F<A,B,C,D,E,F,G> extends Choice7<A,B,C,D,E,F,G>
  • Field Details

    • f

      private final F f
  • Constructor Details

    • _F

      private _F(F f)
  • 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)
      Description copied from interface: CoProduct7
      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
      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