libretto-examples/libretto.examples.supermarket/SupermarketInterface

SupermarketInterface

trait SupermarketInterface
class Object
trait Matchable
class Any

Type members

Types

type Shopping[Items]

Value members

Abstract methods

def addBeerToBasket[Items]: Shopping[Items] -⚬ Shopping[Beer |*| Items]
def addToiletPaperToBasket[Items]: Shopping[Items] -⚬ Shopping[ToiletPaper |*| Items]
def payForBeer[Items]: Coin |*| Shopping[Beer |*| Items] -⚬ Beer |*| Shopping[Items]
def payForToiletPaper[Items]: Coin |*| Shopping[ToiletPaper |*| Items] -⚬ ToiletPaper |*| Shopping[Items]
def returnBasketAndLeave: Shopping[One] -⚬ One

Abstract fields

Implicits

Implicits

implicit
def basketReadiness[Items]: Positive[Shopping[Items]]
implicit
def comonoidSupermarket: Comonoid[Supermarket]