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 dsl.-⚬ (EspressoOptions dsl.=⚬ (dsl.Val[Beverage] dsl.|*| CoffeeMachine))

Destructors *

Destructors *

Attributes

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

Constructor

Constructor

Attributes

Generated with