Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

fix typos

Browse source
This commit is contained in:
Hongrui Fang 2023-03-27 19:51:44 +08:00
parent 9d76deece8
commit 6fab47ea6b
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
agora/Agora/Effect/TreasuryWithdrawal.hs
View file

@ -140,7 +140,7 @@ instance PTryFrom PData (PAsData PTreasuryWithdrawalDatum)
The output order should be:
1. Reciever outputs. They should be in the same order as the 'receivers' field of the datum.
1. Receiver outputs. They should be in the same order as the 'receivers' field of the datum.
2. Other outputs: treasury outputs, colleteral outputs, etc.
@ -206,9 +206,9 @@ treasuryWithdrawalValidator = plam $
# datumF.receivers
# txInfoF.outputs
extractTeasuryOutputValue ::
extractTreasuryOutputValue ::
Term _ (PTxOut :--> PValue 'Sorted 'Positive)
extractTeasuryOutputValue = plam $
extractTreasuryOutputValue = plam $
flip (pletFields @'["address", "value"]) $ \outputF ->
let cred = pfield @"credential" # outputF.address
@ -222,7 +222,7 @@ treasuryWithdrawalValidator = plam $
-- Return the value if it'll be sent to one of the treasuries.
treasuryOutputAmount =
pfoldMap
# extractTeasuryOutputValue
# extractTreasuryOutputValue
# remainingOutputs
pguardC "Unused treasury should stay at treasury validators" $