libretto-examples/libretto.examples.supermarket/money

money

object money
class Object
trait Matchable
class Any
money.type

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]