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

GoodsProducer

libretto.examples.supermarket.GoodsProducer
trait GoodsProducer extends AbstractGoods

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Goods.type

Members list

Concise view

Type members

Inherited types

type Beer

Attributes

Inherited from:
AbstractGoods
type ToiletPaper

Attributes

Inherited from:
AbstractGoods

Value members

Abstract methods

def produceBeer: Done -⚬ Beer

Implicits

Inherited implicits

implicit def signalingJunctionBeer: Positive[Beer]

Attributes

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

Attributes

Inherited from:
AbstractGoods
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL