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

baskets

libretto.examples.supermarket.baskets$
opaque object baskets

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
baskets.type

Members list

Concise view

Type members

Types

opaque type Basket

Value members

Concrete methods

def destroyBasket: Basket -⚬ Done
def destroyBaskets: LList1[Basket] -⚬ Done
def makeBasket(sn: Int): Done -⚬ Basket
def makeBaskets(n: Int): Done -⚬ LList1[Basket]
def serialNumber: Basket -⚬ Val[Int] |*| Basket

Implicits

Implicits

implicit def signalingJunctionBasket: Positive[Basket]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL