libretto-examples/libretto.examples.supermarket/Goods

Goods

object Goods extends GoodsProducer with GoodsConsumer
class Object
trait Matchable
class Any
Goods.type

Type members

Types

override opaque type Beer
override opaque type ToiletPaper

Value members

Concrete methods

def drinkBeer: Beer -⚬ Done
override def produceBeer: Done -⚬ Beer
Definition Classes
override def produceToiletPaper: Done -⚬ ToiletPaper
Definition Classes

Implicits

Implicits

implicit override def signalingJunctionBeer: Positive[Beer]
Definition Classes
implicit override def signalingJunctionToiletPaper: Positive[ToiletPaper]
Definition Classes