qualified imports

This commit is contained in:
fanghr 2022-05-10 22:13:31 +08:00
parent 057da75101
commit 710aa14e9a
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870

View file

@ -46,15 +46,42 @@ import PlutusTx.AssocMap qualified as AssocMap
--------------------------------------------------------------------------------
import Agora.Effect.NoOp
import Agora.Governor
import Agora.Proposal
import Agora.Effect.NoOp (noOpValidator)
import Agora.Governor (GovernorDatum (..), getNextProposalId)
import Agora.Proposal (
ProposalDatum (..),
ProposalId (..),
ProposalStatus (..),
ProposalVotes (..),
ResultTag (..),
emptyVotesFor,
)
import Agora.Proposal qualified as P
import Agora.Stake
import Agora.Stake (
ProposalLock (..),
Stake (..),
StakeDatum (..),
)
--------------------------------------------------------------------------------
import Spec.Sample.Shared
import Spec.Sample.Shared (
authorityTokenSymbol,
defaultProposalThresholds,
govAssetClass,
govSymbol,
govValidatorAddress,
gstUTXORef,
minAda,
proposalPolicySymbol,
proposalValidatorAddress,
signer,
signer2,
stake,
stakeAddress,
stakeAssetClass,
withMinAda,
)
import Spec.Util (datumPair, toDatumHash)
--------------------------------------------------------------------------------