libretto-examples/libretto.examples.supermarket/baskets

baskets

object baskets
class Object
trait Matchable
class Any

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]