libretto-examples
libretto-examples
API
libretto.examples
canteen
Customer
Main
Protocol
PaymentCard
SectionMain
SectionSoup
Session
Provider
coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
Beverage
CoffeeMachine
Flavor
ShotCount
Size
diningPhilosophers
DiningPhilosophers
Forks
ForksProvider
Philosophers
Philosophers
dogTreatsFactory
Biscuit
Bone
Large
Small
Bone
DogTreatsFactory
Main
Toy
TreatsPack
LargeBone
SmallBone
TreatsPack
interactionNets.unaryArithmetic
Result
Succ
Plus
Times
Dup
Link
Result
Wire
Auxiliary
Outlet
Redirect
Proper
libraryOfAlexandria
vendor
Connection
Connector
Connector
Page
ResultSet
ScrollDatabase
ScrollId
ConnectorModule
ConnectorModuleImpl
shareableConnector
Downloader
Downloader
Main
santa
solution1
SantaClaus
EGroup
Group
RGroup
solution2
SantaClaus
ElfGroup
ReindeerGroup
sunflowers
Main
OilBottle
SeedsPack
Sunflower
SunflowerProcessingFacility
supermarket
AbstractGoods
Customers
Customers
Goods
GoodsConsumer
GoodsProducer
Supermarket
SupermarketInterface
SupermarketProvider
baskets
money
given_Semigroup_CoinBank
tv
Main
TvBroadcaster
TvChannel
Cooking
Discovery
Sport
TvInterface
Tv
TvViewer
VideoFrame
CoffeeMachine
Beverage
CoffeeMachine
Flavor
ShotCount
Size
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
BorrowedMicroscope
Name
libretto-examples
/
libretto.examples
/
libretto.examples.canteen
/
Protocol
/
PaymentCard
PaymentCard
libretto.examples.canteen.Protocol.PaymentCard
object
PaymentCard
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
PaymentCard
.
type
Members list
Clear all
Value members
Concrete methods
def
issue
:
Done
dsl.
-⚬
PaymentCard
def
shred
:
PaymentCard
dsl.
-⚬
Done
Givens
Givens
given
given_Positive_PaymentCard
:
Positive
[
PaymentCard
]
In this article
Attributes
Members list
Value members
Concrete methods
Givens
Givens