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: Done -⚬ Basket
def makeBaskets(n: Int): Done -⚬ LList1[Basket]
def receiveBasket: One -⚬ -[Basket] |*| Basket
def returnBasket: Basket |*| -[Basket] -⚬ One

Implicits

Implicits

implicit def signalingJunctionBasket: Positive[Basket]