libretto-examples/libretto.examples.supermarket/SupermarketProvider

SupermarketProvider

object SupermarketProvider extends SupermarketInterface
class Object
trait Matchable
class Any

Type members

Types

override
opaque type Shopping[ItemsInBasket]
override
opaque type Supermarket

Value members

Concrete methods

override
def addBeerToBasket[Items]: Shopping[Items] -⚬ Shopping[Beer |*| Items]
Definition Classes
override
def addToiletPaperToBasket[Items]: Shopping[Items] -⚬ Shopping[ToiletPaper |*| Items]
Definition Classes
override
def basketReadiness[Items]: Positive[Shopping[Items]]
Definition Classes
override
def enterAndObtainBasket: Supermarket -⚬ Shopping[One]
Definition Classes
def openSupermarket(capacity: Int): Done -⚬ Supermarket |*| CoinBank
override
def payForBeer[Items]: Coin |*| Shopping[Beer |*| Items] -⚬ Beer |*| Shopping[Items]
Definition Classes
override
def payForToiletPaper[Items]: Coin |*| Shopping[ToiletPaper |*| Items] -⚬ ToiletPaper |*| Shopping[Items]
Definition Classes
override
def returnBasketAndLeave: Shopping[One] -⚬ One
Definition Classes

Concrete fields

override
val goods: Goods

Implicits

Implicits

implicit override
def comonoidSupermarket: Comonoid[Supermarket]
Definition Classes