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

Goods

libretto.examples.supermarket.Goods$
opaque object Goods extends GoodsProducer with GoodsConsumer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Goods.type

Members list

Concise view

Type members

Types

override opaque type Beer
override opaque type ToiletPaper

Value members

Concrete methods

def drinkBeer: Beer -⚬ Done
override def produceBeer: Done -⚬ Beer

Attributes

Definition Classes
override def produceToiletPaper: Done -⚬ ToiletPaper

Attributes

Definition Classes

Implicits

Implicits

implicit override def signalingJunctionBeer: Positive[Beer]

Attributes

Definition Classes
implicit override def signalingJunctionToiletPaper: Positive[ToiletPaper]

Attributes

Definition Classes
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL