libretto-examples
libretto-examples
API
libretto.examples
CoffeeMachine
Beverage
CoffeeMachine
Flavor
ShotCount
Size
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
BorrowedMicroscope
Name
libretto.examples.canteen
Customer
Main
Protocol
PaymentCard
SectionMain
SectionSoup
Session
Provider
libretto.examples.coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
Beverage
CoffeeMachine
Flavor
ShotCount
Size
libretto.examples.diningPhilosophers
DiningPhilosophers
Forks
ForksProvider
Philosophers
Philosophers
libretto.examples.dogTreatsFactory
Biscuit
Bone
Large
Small
Bone
DogTreatsFactory
Main
Toy
TreatsPack
LargeBone
SmallBone
TreatsPack
libretto.examples.supermarket
AbstractGoods
Customers
Customers
Goods
GoodsConsumer
GoodsProducer
Supermarket
SupermarketInterface
SupermarketProvider
baskets
money
libretto-examples
/
libretto.examples.supermarket
/
GoodsConsumer
GoodsConsumer
libretto.examples.supermarket.GoodsConsumer
trait
GoodsConsumer
extends
AbstractGoods
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
AbstractGoods
class
Object
trait
Matchable
class
Any
Known subtypes
object
Goods
.type
Clear all
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
drinkBeer
:
Beer
-⚬
Done
def
useToiletPaper
:
ToiletPaper
-⚬
Done
Implicits
Inherited implicits
implicit
def
signalingJunctionBeer
:
Positive
[
Beer
]
Attributes
Inherited from:
AbstractGoods
implicit
def
signalingJunctionToiletPaper
:
Positive
[
ToiletPaper
]
Attributes
Inherited from:
AbstractGoods