Sulkta-OSS/agora
2
0
Fork 0
Code Issues 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 45d91b5aeb
commit 2210722c2a
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
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" $
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' =
phoistAcyclic $
plam

2
agora/Agora/Utils.hs
View file

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