Acme.Money

A monad to handle economic transactions between computations

Documentation

data Money u t

Instances

Monad (Money u)

lift' :: IO t -> Money u t

Lift an IO computation into the Money monad

charge :: Float -> Money u ()

Charge n simoleons from the purchasing computation

purchase :: Int -> Money u u

Purchase the ith computation from the list

runMoneys :: [(IORef Float, Money a a)] -> [IO a]

Run several computations, where the computations may purchase the use of one another