qualified imports

This commit is contained in:
fanghr 2022-05-10 22:13:31 +08:00
parent a4ba8501a2
commit a6e78a51fb

View file

@ -46,15 +46,42 @@ import PlutusTx.AssocMap qualified as AssocMap
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
import Agora.Effect.NoOp import Agora.Effect.NoOp (noOpValidator)
import Agora.Governor import Agora.Governor (GovernorDatum (..), getNextProposalId)
import Agora.Proposal import Agora.Proposal (
ProposalDatum (..),
ProposalId (..),
ProposalStatus (..),
ProposalVotes (..),
ResultTag (..),
emptyVotesFor,
)
import Agora.Proposal qualified as P 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) import Spec.Util (datumPair, toDatumHash)
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------