Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 c67a4ea81b
commit 70d79e8971
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 <- inputsFromStakeValidatorWithStateToken <-
plet $ plet $
pfilter pfilter
# ( phoistAcyclic $ # phoistAcyclic
plam ( plam $
( \((pfield @"resolved" #) -> txOut') -> P.do \((pfield @"resolved" #) -> txOut') -> P.do
txOut <- pletFields @'["address", "value"] txOut' txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pstakeValidatorAddress txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1 #&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
) )
# pfromData txInfo.inputs # pfromData txInfo.inputs
@ -449,14 +448,13 @@ governorValidator gov =
outputsToProposalValidatorWithStateToken <- outputsToProposalValidatorWithStateToken <-
plet $ plet $
pfilter pfilter
# ( phoistAcyclic $ # phoistAcyclic
plam ( plam $
( \txOut' -> P.do \txOut' -> P.do
txOut <- pletFields @'["address", "value"] txOut' txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pproposalValidatorAddress txOut.address #== pdata pproposalValidatorAddress
#&& psymbolValueOf # pproposalSymbol # txOut.value #== 1 #&& psymbolValueOf # pproposalSymbol # txOut.value #== 1
)
) )
# pfromData txInfo.outputs # pfromData txInfo.outputs
@ -507,14 +505,13 @@ governorValidator gov =
outputToStakeValidatorWithStateToken <- outputToStakeValidatorWithStateToken <-
plet $ plet $
pfilter pfilter
# ( phoistAcyclic $ # phoistAcyclic
plam ( plam $
( \(txOut') -> P.do \txOut' -> P.do
txOut <- pletFields @'["address", "value"] txOut' txOut <- pletFields @'["address", "value"] txOut'
txOut.address #== pdata pstakeValidatorAddress txOut.address #== pdata pstakeValidatorAddress
#&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1 #&& psymbolValueOf # pstakeStateSymbol # txOut.value #== 1
)
) )
# pfromData txInfo.outputs # pfromData txInfo.outputs
@ -654,7 +651,7 @@ governorValidator gov =
votesList = pto $ pto $ pfromData inputProposalDatum.votes votesList = pto $ pto $ pfromData inputProposalDatum.votes
winner' = winner' =
pfoldr # highestVoteFolder # (pcon PNothing) # votesList pfoldr # highestVoteFolder # pcon PNothing # votesList
winner <- plet $ mustBePJust # "Empty votes" # winner' 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 plam $ \vs -> P.do
let ps = pconstant as let ps = pconstant as
hasOnlyOneTokenOfCurrencySymbol # ps # vs hasOnlyOneTokenOfCurrencySymbol # ps # vs
#&& passetClassValueOf' ac # vs #== 1 #&& passetClassValueOf' ac # vs #== 1
-- | The entire value only contains one token of the specific currency symbol. -- | The entire value only contains one token of the specific currency symbol.
@ -547,9 +547,13 @@ hasOnlyOneTokenOfCurrencySymbol = phoistAcyclic $
mustFindDatum' :: mustFindDatum' ::
forall (datum :: PType). forall (datum :: PType).
PIsData datum => PIsData datum =>
forall s. Term s (PMaybeData PDatumHash :--> forall s.
(PBuiltinList (PAsData (PTuple PDatumHash PDatum))) Term
:--> datum) s
( PMaybeData PDatumHash
:--> (PBuiltinList (PAsData (PTuple PDatumHash PDatum)))
:--> datum
)
mustFindDatum' = phoistAcyclic $ mustFindDatum' = phoistAcyclic $
plam $ \mdh datums -> P.do plam $ \mdh datums -> P.do
PDJust ((pfield @"_0" #) -> dh) <- pmatch mdh PDJust ((pfield @"_0" #) -> dh) <- pmatch mdh