make hlint happy
This commit is contained in:
parent
770ce12337
commit
85e304d781
3 changed files with 4 additions and 3 deletions
|
|
@ -1,4 +1,4 @@
|
|||
name,cpu,mem,size
|
||||
full_scripts:authorityTokenPolicy,1399431,4800,421
|
||||
full_scripts:authorityTokenPolicy,1756707,6000,841
|
||||
full_scripts:stakePolicy,3751498,12700,1610
|
||||
full_scripts:stakeValidator,3126265,10600,1500
|
||||
|
|
|
|||
|
|
|
@ -76,7 +76,8 @@ authorityTokensValidIn = phoistAcyclic $
|
|||
PScriptCredential ((pfromData . (pfield @"_0" #)) -> cred) -> P.do
|
||||
PMap tokenMap <- pmatch tokenMap'
|
||||
pall
|
||||
# ( plam $ \pair ->
|
||||
# plam
|
||||
( \pair ->
|
||||
pforgetData (pfstBuiltin # pair) #== pforgetData (pdata cred)
|
||||
)
|
||||
# tokenMap
|
||||
|
|
|
|||
|
|
@ -301,7 +301,7 @@ allOutputs = phoistAcyclic $
|
|||
PDJust dh <- pmatch txOut.datumHash
|
||||
pmatch (pfindDatum' @datum # (pfield @"_0" # dh) # txInfo') $ \case
|
||||
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
|
||||
)
|
||||
# pfromData txInfo.outputs
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue