libretto-examples/libretto.examples/Supermarket/money

money

object money
class Object
trait Matchable
class Any

Type members

Types

opaque type CashDrawer
opaque type Coin

Value members

Concrete methods

def destroyCashDrawer: CashDrawer -⚬ Val[Int]
def forgeCoin(who: String): Done -⚬ Coin
def newCashDrawer: Done -⚬ CashDrawer
def receiveCoin: One -⚬ -[Coin] |*| Coin
def sendCoin: Coin |*| -[Coin] -⚬ One

Implicits

Implicits

implicit def junctionCashDrawer: Positive[CashDrawer]
implicit def semigroupCashDrawer: Semigroup[CashDrawer]
implicit def signalingJunctionCoin: Positive[Coin]