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

apply hlint suggestions; format

Browse source
This commit is contained in:
fanghr 2022-04-26 20:00:29 +08:00
parent 5ee0a40435
commit d3b5f6c416
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 27 additions and 26 deletions
Download patch file Download diff file Expand all files Collapse all files

41
agora/Agora/Governor.hs
View file

@ -410,14 +410,13 @@ governorValidator gov =
inputsFromStakeValidatorWithStateToken <-
plet $
pfilter
# ( phoistAcyclic $
plam
( \((pfield @"resolved" #) -> txOut') -> P.do
txOut <- pletFields @'["address", "value"] txOut'
# phoistAcyclic
( plam $
\((pfield @"resolved" #) -> txOut') -> P.do
txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
# pfromData txInfo.inputs
@ -449,14 +448,13 @@ governorValidator gov =
outputsToProposalValidatorWithStateToken <-
plet $
pfilter
# ( phoistAcyclic $
plam
( \txOut' -> P.do
txOut <- pletFields @'["address", "value"] txOut'
# phoistAcyclic
( plam $
\txOut' -> P.do
txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pproposalValidatorAddress
#&& psymbolValueOf # pproposalSymbol # txOut.value #== 1
)
txOut.address #== pdata pproposalValidatorAddress
#&& psymbolValueOf # pproposalSymbol # txOut.value #== 1
)
# pfromData txInfo.outputs
@ -507,14 +505,13 @@ governorValidator gov =
outputToStakeValidatorWithStateToken <-
plet $
pfilter
# ( phoistAcyclic $
plam
( \(txOut') -> P.do
txOut <- pletFields @'["address", "value"] txOut'
# phoistAcyclic
( plam $
\txOut' -> P.do
txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
# pfromData txInfo.outputs
@ -654,7 +651,7 @@ governorValidator gov =
votesList = pto $ pto $ pfromData inputProposalDatum.votes
winner' =
pfoldr # highestVoteFolder # (pcon PNothing) # votesList
pfoldr # highestVoteFolder # pcon PNothing # votesList
winner <- plet $ mustBePJust # "Empty votes" # winner'

12
agora/Agora/Utils.hs
View file

@ -530,7 +530,7 @@ hasOnlyOneTokenOfAssetClass' ac@(AssetClass (as, _)) = phoistAcyclic $
plam $ \vs -> P.do
let ps = pconstant as
hasOnlyOneTokenOfCurrencySymbol # ps # vs
hasOnlyOneTokenOfCurrencySymbol # ps # vs
#&& passetClassValueOf' ac # vs #== 1
-- | The entire value only contains one token of the specific currency symbol.
@ -547,9 +547,13 @@ hasOnlyOneTokenOfCurrencySymbol = phoistAcyclic $
mustFindDatum' ::
forall (datum :: PType).
PIsData datum =>
forall s. Term s (PMaybeData PDatumHash :-->
(PBuiltinList (PAsData (PTuple PDatumHash PDatum)))
:--> datum)
forall s.
Term
s
( PMaybeData PDatumHash
:--> (PBuiltinList (PAsData (PTuple PDatumHash PDatum)))
:--> datum
)
mustFindDatum' = phoistAcyclic $
plam $ \mdh datums -> P.do
PDJust ((pfield @"_0" #) -> dh) <- pmatch mdh