Moved samples to PCB

* Cleaner imports

agora-specs/Spec/AuthorityToken.hs

@@ -9,14 +9,8 @@ Tests for Authority token functions
 -}
 module Spec.AuthorityToken (specs) where
 
---------------------------------------------------------------------------------
-
 import Agora.AuthorityToken (singleAuthorityTokenBurned)
-import Plutarch
-import Prelude
-
---------------------------------------------------------------------------------
-
+import Plutarch (ClosedTerm, POpaque, compile, perror, popaque)
 import PlutusLedgerApi.V1 (
   Address (Address),
   Credential (PubKeyCredential, ScriptCredential),
@@ -29,15 +23,27 @@ import PlutusLedgerApi.V1 (
   ValidatorHash (ValidatorHash),
   Value,
  )
-import PlutusLedgerApi.V1.Interval qualified as Interval
-import PlutusLedgerApi.V1.Value qualified as Value
-import PlutusTx.AssocMap qualified as AssocMap
+import PlutusLedgerApi.V1.Interval qualified as Interval (always)
+import PlutusLedgerApi.V1.Value qualified as Value (
+  Value (Value),
+  singleton,
+ )
+import PlutusTx.AssocMap qualified as AssocMap (empty)
 import Test.Specification (
   SpecificationTree,
   group,
   scriptFails,
   scriptSucceeds,
  )
+import Prelude (
+  Functor (fmap),
+  Maybe (Nothing),
+  PBool,
+  Semigroup ((<>)),
+  pconstant,
+  pconstantData,
+  pif,
+ )
 
 currencySymbol :: CurrencySymbol
 currencySymbol = "deadbeef"

agora-specs/Spec/Governor.hs

@@ -26,8 +26,6 @@ import Test.Specification (
   validatorSucceedsWith,
  )
 
---------------------------------------------------------------------------------
-
 -- | The SpecificationTree exported by this module.
 specs :: [SpecificationTree]
 specs =

agora-specs/Spec/Proposal.hs

@@ -9,8 +9,6 @@ Tests for Proposal policy and validator
 -}
 module Spec.Proposal (specs) where
 
---------------------------------------------------------------------------------
-
 import Agora.Proposal (
   Proposal (..),
   ProposalDatum (..),
@@ -28,11 +26,10 @@ import Agora.Proposal (
   thresholds,
   votes,
  )
-import Agora.Proposal.Scripts (
-  proposalPolicy,
-  proposalValidator,
+import Agora.Proposal.Scripts (proposalPolicy, proposalValidator)
+import Agora.Proposal.Time (
+  ProposalStartingTime (ProposalStartingTime),
  )
-import Agora.Proposal.Time (ProposalStartingTime (ProposalStartingTime))
 import Agora.Stake (
   ProposalLock (ProposalLock),
   StakeDatum (StakeDatum),
@@ -42,10 +39,27 @@ import Agora.Stake.Scripts (stakeValidator)
 import Data.Default.Class (Default (def))
 import Data.Tagged (Tagged (Tagged), untag)
 import PlutusLedgerApi.V1 (ScriptContext (..), ScriptPurpose (..))
-import PlutusTx.AssocMap qualified as AssocMap
-import Sample.Proposal qualified as Proposal
+import PlutusTx.AssocMap qualified as AssocMap (empty, fromList)
+import Sample.Proposal qualified as Proposal (
+  TransitionParameters (
+    TransitionParameters,
+    initialProposalStatus,
+    proposalStartingTime
+  ),
+  VotingParameters (VotingParameters, voteCount, voteFor),
+  advanceFinishedPropsoal,
+  advanceProposalFailureTimeout,
+  advanceProposalInsufficientVotes,
+  advanceProposalSuccess,
+  advancePropsoalWithsStake,
+  cosignProposal,
+  proposalCreation,
+  proposalRef,
+  stakeRef,
+  voteOnProposal,
+ )
 import Sample.Shared (signer, signer2)
-import Sample.Shared qualified as Shared
+import Sample.Shared qualified as Shared (proposal, stake)
 import Test.Specification (
   SpecificationTree,
   group,
@@ -54,8 +68,6 @@ import Test.Specification (
   validatorSucceedsWith,
  )
 
---------------------------------------------------------------------------------
-
 -- | Stake specs.
 specs :: [SpecificationTree]
 specs =

agora-specs/Spec/Stake.hs

@@ -9,19 +9,27 @@ Tests for Stake policy and validator
 -}
 module Spec.Stake (specs) where
 
---------------------------------------------------------------------------------
-
-import Prelude
-
---------------------------------------------------------------------------------
-
-import Agora.Stake (Stake (..), StakeDatum (StakeDatum), StakeRedeemer (DepositWithdraw))
+import Agora.Stake (
+  Stake (..),
+  StakeDatum (StakeDatum),
+  StakeRedeemer (DepositWithdraw),
+ )
 import Agora.Stake.Scripts (stakePolicy, stakeValidator)
-
---------------------------------------------------------------------------------
-
-import Sample.Stake (DepositWithdrawExample (DepositWithdrawExample, delta, startAmount), signer)
-import Sample.Stake qualified as Stake
+import Sample.Stake (
+  DepositWithdrawExample (
+    DepositWithdrawExample,
+    delta,
+    startAmount
+  ),
+  signer,
+ )
+import Sample.Stake qualified as Stake (
+  stake,
+  stakeCreation,
+  stakeCreationUnsigned,
+  stakeCreationWrongDatum,
+  stakeDepositWithdraw,
+ )
 import Test.Specification (
   SpecificationTree,
   group,
@@ -31,8 +39,7 @@ import Test.Specification (
   validatorSucceedsWith,
  )
 import Test.Util (toDatum)
-
---------------------------------------------------------------------------------
+import Prelude (Num (negate), ($))
 
 -- | The SpecificationTree exported by this module.
 specs :: [SpecificationTree]

agora-specs/Spec/Treasury.hs

@@ -25,9 +25,7 @@ import Agora.Treasury (
   TreasuryRedeemer (SpendTreasuryGAT),
   treasuryValidator,
  )
-import PlutusLedgerApi.V1 (
-  DCert (DCertDelegRegKey),
- )
+import PlutusLedgerApi.V1 (DCert (DCertDelegRegKey))
 import PlutusLedgerApi.V1.Contexts (
   ScriptContext (scriptContextPurpose, scriptContextTxInfo),
   ScriptPurpose (Certifying, Rewarding, Spending),
@@ -36,10 +34,8 @@ import PlutusLedgerApi.V1.Contexts (
 import PlutusLedgerApi.V1.Credential (
   StakingCredential (StakingHash),
  )
-import PlutusLedgerApi.V1.Value qualified as Value
-import Sample.Shared (
-  trCredential,
- )
+import PlutusLedgerApi.V1.Value qualified as Value (singleton)
+import Sample.Shared (trCredential)
 import Sample.Treasury (
   gatCs,
   gatTn,

agora-specs/Spec/Utils.hs

@@ -9,7 +9,5 @@ module Spec.Utils (tests) where
 
 import Test.Tasty (TestTree)
 
---------------------------------------------------------------------------------
-
 tests :: [TestTree]
 tests = []