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

apply hlint suggestions

Browse source
This commit is contained in:
fanghr 2022-04-29 21:37:12 +08:00
parent 926b1f3727
commit 8ef9506cd6
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora/Agora/Governor/Scripts.hs
View file

@ -601,7 +601,7 @@ governorValidator gov =
passert "Output GATs is more than minted GATs" $ passert "Output GATs is more than minted GATs" $
plength # outputsWithGAT #== gatCount plength # outputsWithGAT #== gatCount
let gatOutputValidator' :: Term s ((PMap PValidatorHash PDatumHash) :--> (PAsData PTxOut) :--> PUnit :--> PUnit) let gatOutputValidator' :: Term s (PMap PValidatorHash PDatumHash :--> PAsData PTxOut :--> PUnit :--> PUnit)
gatOutputValidator' = gatOutputValidator' =
phoistAcyclic $ phoistAcyclic $
plam plam

2
agora/Agora/Utils.hs
View file

@ -533,7 +533,7 @@ mustFindDatum' ::
Term Term
s s
( PMaybeData PDatumHash ( PMaybeData PDatumHash
:--> (PBuiltinList (PAsData (PTuple PDatumHash PDatum))) :--> PBuiltinList (PAsData (PTuple PDatumHash PDatum))
:--> datum :--> datum
) )
mustFindDatum' = phoistAcyclic $ mustFindDatum' = phoistAcyclic $