libretto-examples/libretto.examples.coffeemachine/Protocol/CoffeeMachine

CoffeeMachine

object CoffeeMachine
class Object
trait Matchable
class Any

Value members

Concrete methods

def chooseEspresso: CoffeeMachine -⚬ EspressoOptions =⚬ Val[Beverage] |*| CoffeeMachine

Destructors *

Destructors *

def chooseQuit: CoffeeMachine -⚬ Done
def create(espresso: Done -⚬ EspressoOptions =⚬ Val[Beverage] |*| CoffeeMachine, latte: Done -⚬ LatteOptions =⚬ Val[Beverage] |*| CoffeeMachine): Done -⚬ CoffeeMachine

Constructor

Constructor