Sulkta-Coop/agora
2
0
Fork 0
Code Issues 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 97d6051adf
commit 1a5bea39f4
No known key found for this signature in database
GPG key ID: F2D0D08AF77AC599
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" $