This pull request changes the deposit wallet implementation in Cardano.Wallet.Deposit.Pure to use the AddressState type from the customer-deposit-wallet-pure. This type was generated from Agda code using agda2hs.
Comments
The AddressState type uses ByteString to represent addresses. We currently cannot depend on cardano-wallet-read in the other repository, because this would cause a circular dependency between the two repositories. This is not an issue for very basic types like Address, but will be more complicated for more complex types such as UTxO or TxBody. That said, in order to prove something about functions involving those types, the cardano-wallet-agda repository will need to have access to them. The interim solution will be to move cardano-wallet-read to the cardano-wallet-agda repository.
This pull request changes the deposit wallet implementation in
Cardano.Wallet.Deposit.Pureto use theAddressStatetype from the customer-deposit-wallet-pure. This type was generated from Agda code usingagda2hs.Comments
AddressStatetype usesByteStringto represent addresses. We currently cannot depend oncardano-wallet-readin the other repository, because this would cause a circular dependency between the two repositories. This is not an issue for very basic types likeAddress, but will be more complicated for more complex types such asUTxOorTxBody. That said, in order to prove something about functions involving those types, thecardano-wallet-agdarepository will need to have access to them. The interim solution will be to movecardano-wallet-readto thecardano-wallet-agdarepository.Issue Number
ADP-3244