tonymorris

import java.util.function.Function;
import java.util.function.BiFunction;
import java.util.Scanner;

abstract class TerminalOperation<A> {
  // this ensures that there are no subclasses of TerminalOperation
  // outside of this class
  private TerminalOperation() {

  }

ms-tg

/**
 * ```
 * Does JDK8's Optional class satisfy the Monad laws?
 * =================================================
 *   1.  Left identity:  true
 *   2.  Right identity: true
 *   3.  Associativity:  true
 *
 * Yes, it does. 
 * ```

briancavalier

//-------------------------------------------------------------
//
// Hypothesis:
//
// Promises/A is a Monad
//
// To be a Monad, it must provide at least:
// - A unit (aka return or mreturn) operation that creates a corresponding
//   monadic value from a non-monadic value.
// - A bind operation that applies a function to a monadic value