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.type

Implicits

Implicits

implicit override def comonoidSupermarket: Comonoid[Supermarket]
Definition Classes