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

money

libretto.examples.supermarket.money$
opaque object money

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
money.type

Members list

Concise view

Type members

Types

opaque type Coin
opaque type CoinBank

Value members

Concrete methods

def forgeCoin: Done -⚬ Coin
def newCoinBank: Done -⚬ CoinBank
def openCoinBank: CoinBank -⚬ Val[Int]
def receiveCoin: One -⚬ -[Coin] |*| Coin
def sendCoin: Coin |*| -[Coin] -⚬ One

Implicits

Implicits

implicit def junctionCoinBank: Positive[CoinBank]
implicit def semigroupCoinBank: Semigroup[CoinBank]
implicit def signalingJunctionCoin: Positive[Coin]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL