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

remove anyInput

Browse source
This commit is contained in:
fanghr 2022-05-23 18:11:32 +08:00
parent 03c514c88e
commit f18b0992e7
2 changed files with 15 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

23
agora/Agora/Stake/Scripts.hs
View file

@ -11,8 +11,8 @@ import Agora.Record (mkRecordConstr, (.&), (.=))
import Agora.SafeMoney (GTTag)
import Agora.Stake
import Agora.Utils (
anyInput,
anyOutput,
mustFindDatum',
paddValue,
pfindTxInByTxOutRef,
pgeqByClass,
@ -77,7 +77,7 @@ stakePolicy gtClassRef =
txInfo <- tclet $ ctx.txInfo
let _a :: Term _ PTxInfo
_a = txInfo
txInfoF <- tcont $ pletFields @'["mint", "inputs", "outputs", "signatories"] txInfo
txInfoF <- tcont $ pletFields @'["mint", "inputs", "outputs", "signatories", "datums"] txInfo
PMinting ownSymbol' <- tcmatch $ pfromData ctx.purpose
ownSymbol <- tclet $ pfield @"_0" # ownSymbol'
@ -92,12 +92,19 @@ stakePolicy gtClassRef =
mintedST #== -1
tcassert "An unlocked input existed containing an ST" $
anyInput @PStakeDatum # txInfo
#$ plam
$ \value _ stakeDatum' ->
let hasST = psymbolValueOf # ownSymbol # value #== 1
unlocked = pnot # (stakeLocked # stakeDatum')
in hasST #&& unlocked
pany
# plam
( \((pfield @"resolved" #) -> txOut) -> unTermCont $ do
txOutF <- tcont $ pletFields @'["value", "datumHash"] txOut
pure $
pif
(psymbolValueOf # ownSymbol # txOutF.value #== 1)
( let datum = mustFindDatum' @PStakeDatum # txOutF.datumHash # txInfoF.datums
in pnot # (stakeLocked # datum)
)
(pconstant False)
)
# pfromData txInfoF.inputs
pure $ popaque (pconstant ())