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

Added linting suggestions

Browse source
This commit is contained in:
Jack Hodgkinson 2022-03-04 09:30:53 +00:00
parent 08b8dd1c46
commit 46344b8bd9
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Agora/Treasury.hs
View file

@ -60,7 +60,7 @@ newtype PTreasuryDatum (s :: S)
{- | Plutarch level type representing valid redeemers of the {- | Plutarch level type representing valid redeemers of the
treasury. treasury.
-} -}
data PTreasuryRedeemer (s :: S) newtype PTreasuryRedeemer (s :: S)
= -- | Alters treasury parameters (subject to the burning of a = -- | Alters treasury parameters (subject to the burning of a
-- governance authority token). -- governance authority token).
PAlterTrParams (Term s (PDataRecord '[])) PAlterTrParams (Term s (PDataRecord '[]))

2
src/Agora/Utils/Value.hs
View file

@ -27,7 +27,7 @@ pmapAll ::
(PUnsafeLiftDecl v, PIsData v) => (PUnsafeLiftDecl v, PIsData v) =>
Term s ((v :--> PBool) :--> PMap k v :--> PBool) Term s ((v :--> PBool) :--> PMap k v :--> PBool)
pmapAll = plam $ \f m -> P.do pmapAll = plam $ \f m -> P.do
PMap builtinMap <- pmatch $ m PMap builtinMap <- pmatch m
let getV = plam $ \bip -> P.do let getV = plam $ \bip -> P.do
let tuple = pfromData $ ptupleFromBuiltin (pdata bip) let tuple = pfromData $ ptupleFromBuiltin (pdata bip)