Class Maybe.Nothing<A>

java.lang.Object
com.jnape.palatable.lambda.adt.Maybe<A>
com.jnape.palatable.lambda.adt.Maybe.Nothing<A>
All Implemented Interfaces:
CoProduct2<Unit,A,Maybe<A>>, Applicative<A,Maybe<?>>, Functor<A,Maybe<?>>, Monad<A,Maybe<?>>, MonadError<Unit,A,Maybe<?>>, MonadRec<A,Maybe<?>>, Traversable<A,Maybe<?>>
Enclosing class:
Maybe<A>

private static final class Maybe.Nothing<A> extends Maybe<A>
  • Field Details

  • Constructor Details

    • Nothing

      private Nothing()
  • Method Details

    • match

      public <R> R match(Fn1<? super Unit,? extends R> aFn, Fn1<? super A,? extends R> bFn)
      Description copied from interface: CoProduct2
      Type-safe convergence requiring a match against all potential types.
      Type Parameters:
      R - result type
      Parameters:
      aFn - morphism A -> R
      bFn - morphism B -> R
      Returns:
      the result of applying the appropriate morphism to this coproduct's unwrapped value
    • toString

      public String toString()
      Overrides:
      toString in class Object