libretto-examples
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto-examples/libretto.examples.canteen

libretto.examples.canteen

package libretto.examples.canteen

Members list

Concise view

Type members

Classlikes

object Customer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Main extends StarterApp

Attributes

Graph
Supertypes
class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any
Self type
Main.type
opaque object Protocol

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Provider

A simplistic canteen facility that serves only one customer and prepares everything on demand.

A simplistic canteen facility that serves only one customer and prepares everything on demand.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL