libretto-examples/libretto.examples/Supermarket/goods

goods

object goods
class Object
trait Matchable
class Any

Type members

Types

opaque type Beer
opaque type ToiletPaper

Value members

Concrete methods

def drinkBeer(who: String): Beer -⚬ Done
def produceBeer: Done -⚬ Beer
def useToiletPaper(who: String): ToiletPaper -⚬ Done

Implicits

Implicits

implicit def signalingJunctionBeer: Positive[Beer]