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

run linter

Browse source
This commit is contained in:
fanghr 2022-05-06 14:06:27 +08:00
parent a14d98e077
commit f92d5a6d78
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
agora/Agora/Utils.hs
View file

@ -45,7 +45,11 @@ module Agora.Utils (
--------------------------------------------------------------------------------
import Plutus.V1.Ledger.Api (TokenName (..), ValidatorHash (..))
import Plutus.V1.Ledger.Api (
CurrencySymbol,
TokenName (..),
ValidatorHash (..),
)
import Plutus.V1.Ledger.Value (AssetClass (..))
--------------------------------------------------------------------------------
@ -78,7 +82,6 @@ import Plutarch.Builtin (ppairDataBuiltin)
import Plutarch.Map.Extra (pkeys)
import Plutarch.Monadic qualified as P
import Plutarch.TryFrom (PTryFrom, ptryFrom)
import Plutus.V1.Ledger.Api (CurrencySymbol)
--------------------------------------------------------------------------------
-- Validator-level utility functions