remove redundant imports

This commit is contained in:
Hongrui Fang 2022-11-10 21:16:18 +08:00
parent 7dfd7373e1
commit 3c10617244
5 changed files with 6 additions and 8 deletions

View file

@ -9,10 +9,13 @@
module Main (main) where module Main (main) where
import Agora.Bootstrap qualified as Bootstrap import Agora.Bootstrap qualified as Bootstrap
import Agora.Linker import Agora.Linker (linker)
import Data.Default (def) import Data.Default (def)
import ScriptExport.Export import ScriptExport.Export (exportMain)
import ScriptExport.Types import ScriptExport.Types (
Builders,
insertScriptExportWithLinker,
)
main :: IO () main :: IO ()
main = exportMain builders main = exportMain builders

View file

@ -25,7 +25,6 @@ import Agora.Governor (
PGovernorDatum, PGovernorDatum,
PGovernorRedeemer, PGovernorRedeemer,
) )
import Agora.Plutarch.Orphans ()
import Agora.SafeMoney (AuthorityTokenTag, GovernorSTTag) import Agora.SafeMoney (AuthorityTokenTag, GovernorSTTag)
import Agora.Utils (psymbolValueOfT) import Agora.Utils (psymbolValueOfT)
import Plutarch.Api.V1 (PCurrencySymbol, PValidatorHash) import Plutarch.Api.V1 (PCurrencySymbol, PValidatorHash)

View file

@ -8,12 +8,10 @@ A dumb effect that only burns its GAT.
module Agora.Effect.NoOp (noOpValidator, PNoOp) where module Agora.Effect.NoOp (noOpValidator, PNoOp) where
import Agora.Effect (makeEffect) import Agora.Effect (makeEffect)
import Agora.Plutarch.Orphans ()
import Agora.SafeMoney (AuthorityTokenTag) import Agora.SafeMoney (AuthorityTokenTag)
import Plutarch.Api.V1 (PCurrencySymbol) import Plutarch.Api.V1 (PCurrencySymbol)
import Plutarch.Api.V2 (PValidator) import Plutarch.Api.V2 (PValidator)
import Plutarch.Extra.Tagged (PTagged) import Plutarch.Extra.Tagged (PTagged)
import Plutarch.Orphans ()
{- | Dummy datum for NoOp effect. {- | Dummy datum for NoOp effect.

View file

@ -14,7 +14,6 @@ module Agora.Effect.TreasuryWithdrawal (
) where ) where
import Agora.Effect (makeEffect) import Agora.Effect (makeEffect)
import Agora.Plutarch.Orphans ()
import Agora.SafeMoney (AuthorityTokenTag) import Agora.SafeMoney (AuthorityTokenTag)
import Plutarch.Api.V1 ( import Plutarch.Api.V1 (
PCredential, PCredential,

View file

@ -81,7 +81,6 @@ import Plutarch.Extra.Tagged (PTagged)
import Plutarch.Extra.Traversable (pfoldMap) import Plutarch.Extra.Traversable (pfoldMap)
import Plutarch.Extra.Value (passetClassValueOfT) import Plutarch.Extra.Value (passetClassValueOfT)
import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (PLifted)) import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (PLifted))
import Plutarch.Orphans ()
import PlutusLedgerApi.V2 (Credential) import PlutusLedgerApi.V2 (Credential)
import PlutusTx qualified import PlutusTx qualified