run formatter and linter

This commit is contained in:
fanghr 2022-05-03 18:51:30 +08:00
parent 473deeb08f
commit 41da2dd534
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
3 changed files with 12 additions and 12 deletions

View file

@ -38,14 +38,17 @@ module Spec.Sample.Shared (
proposalValidatorAddress,
-- ** Authority
authorityToken ,
authorityToken,
authorityTokenSymbol,
) where
import Agora.AuthorityToken
import Agora.Governor (
Governor (Governor),
)
import Agora.Governor.Scripts (
authorityTokenFromGovernor,
authorityTokenSymbolFromGovernor,
governorPolicy,
governorSTAssetClassFromGovernor,
governorValidator,
@ -56,9 +59,7 @@ import Agora.Governor.Scripts (
stakeFromGovernor,
stakeSTAssetClassFromGovernor,
stakeSTSymbolFromGovernor,
stakeValidatorHashFromGovernor,
authorityTokenFromGovernor,
authorityTokenSymbolFromGovernor,
stakeValidatorHashFromGovernor,
)
import Agora.Proposal (
Proposal (..),
@ -84,7 +85,6 @@ import Plutus.V1.Ledger.Api (
import Plutus.V1.Ledger.Scripts (Validator, ValidatorHash)
import Plutus.V1.Ledger.Value (AssetClass)
import Plutus.V1.Ledger.Value qualified as Value
import Agora.AuthorityToken
--------------------------------------------------------------------------------
@ -170,5 +170,5 @@ withMinAda v = v <> minAda
authorityToken :: AuthorityToken
authorityToken = authorityTokenFromGovernor governor
authorityTokenSymbol :: CurrencySymbol
authorityTokenSymbol = authorityTokenSymbolFromGovernor governor
authorityTokenSymbol :: CurrencySymbol
authorityTokenSymbol = authorityTokenSymbolFromGovernor governor