libretto-examples/libretto.examples.supermarket/GoodsConsumer

GoodsConsumer

trait GoodsConsumer extends AbstractGoods
class Object
trait Matchable
class Any
object Goods.type

Type members

Inherited types

type Beer
Inherited from:
AbstractGoods
type ToiletPaper
Inherited from:
AbstractGoods

Value members

Abstract methods

def drinkBeer: Beer -⚬ Done

Implicits

Inherited implicits

implicit def signalingJunctionBeer: Positive[Beer]
Inherited from:
AbstractGoods
implicit def signalingJunctionToiletPaper: Positive[ToiletPaper]
Inherited from:
AbstractGoods