libretto-examples
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto-examples/libretto.examples.supermarket/SupermarketProvider

SupermarketProvider

libretto.examples.supermarket.SupermarketProvider$
opaque object SupermarketProvider extends SupermarketInterface

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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]

Attributes

Definition Classes
override def addToiletPaperToBasket[Items]: Shopping[Items] -⚬ Shopping[ToiletPaper |*| Items]

Attributes

Definition Classes
override def basketReadiness[Items]: Positive[Shopping[Items]]

Attributes

Definition Classes
override def enterAndObtainBasket: Supermarket -⚬ Shopping[One]

Attributes

Definition Classes
def openSupermarket(capacity: Int): Done -⚬ Supermarket |*| CoinBank
override def payForBeer[Items]: Coin |*| Shopping[Beer |*| Items] -⚬ Beer |*| Shopping[Items]

Attributes

Definition Classes
override def payForToiletPaper[Items]: Coin |*| Shopping[ToiletPaper |*| Items] -⚬ ToiletPaper |*| Shopping[Items]

Attributes

Definition Classes
override def returnBasketAndLeave: Shopping[One] -⚬ One

Attributes

Definition Classes

Concrete fields

override val goods: Goods.type

Implicits

Implicits

implicit override def comonoidSupermarket: Comonoid[Supermarket]

Attributes

Definition Classes
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL