purescript-web3 is a library for interacting with an ethereum node in purescript.
Using purescript-web3-generator or chanterelle it is also possible (and recommended) to generate a library from a set of smart contract abis which is capable of templating transactions and event filters/watchers. The README has instructions for getting started.
To see an example project, it is recommended to look at the tests repository (which uses Chanterelle)
> npm install
> npm run build
> docker run -d -p 8545:8545 -e ACCOUNTS_TO_CREATE=10 foamspace/cliquebait:v1.9.12
> npm run test
Module documentation is published on Pursuit.
Suppose we have the following solidity smart contract:
contract TupleStorage {
uint x;
uint y;
event TupleSet(uint newX, uint newY);
function setTuple(uint _x, uint _y) public {
x = _x;
y = _y;
TupleSet(_x, _y);
}
}If we used purescript-web3-generator, we are given a function with the following signature:
setTuple :: forall e.
TransactionOptions NoPay
-> {_x :: UIntN 256, _y :: UIntN 256}
-> Web3 HexString It's pretty clear what this function is doing, but let's look at the TransactionOptions. This record keeps track of, for example, who is the transaction from, what contract address is it going to, is there ether being sent, etc. In this case, the function is not "payable", so this is indicated in the type of the TransactionOptions. It is set using lenses like:
setTupleOpts :: TransactionOptions NoPay
setTupleOpts = defaultTransactionOptions
# _from ?~ myAddress
# _to ?~ tupleStorageAddressNow for the TupleSet event. In order to start an event watcher, we need to establish the Filter, which specifies things like the range of blocks we are interested in, and how to find that particular contract and topic. Again, if you're using web3-generator, things are a lot simpler:
tupleFilter :: Filter TupleSet
tupleFilter = eventFilter (Proxy :: Proxy TupleSet) tupleStorageAddress
# _fromBlock .~ BN 100We also need to pass a callback to the event watcher that performs some action and decides whether or not to unregister the filter. For example, we could set up an event monitor starting from block 100 and continuing until the two coordinates that are set are equal:
event tupleFilter $ \(TupleSet {newX,newY} -> do
log $ "Received New Tuple : " <> show (Tuple newX newY)
if newX == newY
then pure TerminateEvent
else do
_ <- performAction newX newY
pure ContinueEvent