libretto-examples/libretto.examples.supermarket/GoodsConsumer

GoodsConsumer

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

Type members

Inherited types

type Beer
Inherited from
AbstractGoods
type ToiletPaper
Inherited from
AbstractGoods

Value members

Abstract methods

def drinkBeer: Beer -⚬ Done
def useToiletPaper: ToiletPaper -⚬ Done

Implicits

Inherited implicits

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