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

SupermarketInterface

libretto.examples.supermarket.SupermarketInterface
trait SupermarketInterface

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

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]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL