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

make hlint happy

Browse source
This commit is contained in:
Emily Martins 2022-03-08 13:22:37 +01:00
parent 92b3375f5e
commit 81927ad9ff
3 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bench.csv
View file

@ -1,4 +1,4 @@
name,cpu,mem,size name,cpu,mem,size
full_scripts:authorityTokenPolicy,1399431,4800,421 full_scripts:authorityTokenPolicy,1756707,6000,841
full_scripts:stakePolicy,3751498,12700,1610 full_scripts:stakePolicy,3751498,12700,1610
full_scripts:stakeValidator,3126265,10600,1500 full_scripts:stakeValidator,3126265,10600,1500

1 name cpu mem size
2 full_scripts:authorityTokenPolicy 1399431 1756707 4800 6000 421 841
3 full_scripts:stakePolicy 3751498 12700 1610
4 full_scripts:stakeValidator 3126265 10600 1500

3
src/Agora/AuthorityToken.hs
View file

@ -76,7 +76,8 @@ authorityTokensValidIn = phoistAcyclic $
PScriptCredential ((pfromData . (pfield @"_0" #)) -> cred) -> P.do PScriptCredential ((pfromData . (pfield @"_0" #)) -> cred) -> P.do
PMap tokenMap <- pmatch tokenMap' PMap tokenMap <- pmatch tokenMap'
pall pall
# ( plam $ \pair -> # plam
( \pair ->
pforgetData (pfstBuiltin # pair) #== pforgetData (pdata cred) pforgetData (pfstBuiltin # pair) #== pforgetData (pdata cred)
) )
# tokenMap # tokenMap

2
src/Agora/Utils.hs
View file

@ -301,7 +301,7 @@ allOutputs = phoistAcyclic $
PDJust dh <- pmatch txOut.datumHash PDJust dh <- pmatch txOut.datumHash
pmatch (pfindDatum' @datum # (pfield @"_0" # dh) # txInfo') $ \case pmatch (pfindDatum' @datum # (pfield @"_0" # dh) # txInfo') $ \case
PJust datum -> P.do PJust datum -> P.do
predicate # (pfromData txOut'') # txOut.value # txOut.address # pfromData datum predicate # pfromData txOut'' # txOut.value # txOut.address # pfromData datum
PNothing -> pcon PFalse PNothing -> pcon PFalse
) )
# pfromData txInfo.outputs # pfromData txInfo.outputs