libretto-examples/libretto.examples.supermarket/money

money

object money
class Object
trait Matchable
class Any

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]