PureScript bindings to the Solidity contracts are generated here
