libretto-examples
API
Generated with
libretto-examples/libretto.examples/libretto.examples.coffeemachine/Protocol/CoffeeMachine

CoffeeMachine

libretto.examples.coffeemachine.Protocol$.CoffeeMachine$
object CoffeeMachine

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Destructors *

Destructors *

Attributes

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

Constructor

Constructor

Attributes

Generated with