Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

explicit imports for core agora modules

Browse source
This commit is contained in:
Emily Martins 2022-08-17 18:13:44 +02:00
parent b32ae8ca57
commit 2f1e04b4f7
14 changed files with 57 additions and 57 deletions
Download patch file Download diff file Expand all files Collapse all files

14
agora/Agora/Proposal.hs
View file

@ -61,14 +61,14 @@ import Plutarch.Api.V2 (
PScriptHash,
PTuple,
)
import Plutarch.DataRepr (DerivePConstantViaData (..), PDataFields)
import Plutarch.DataRepr (DerivePConstantViaData (DerivePConstantViaData), PDataFields)
import Plutarch.Extra.Comonad (pextract)
import Plutarch.Extra.Field (pletAllC)
import Plutarch.Extra.Function (pbuiltinUncurry)
import Plutarch.Extra.IsData (
DerivePConstantViaDataList (..),
DerivePConstantViaEnum (..),
EnumIsData (..),
DerivePConstantViaDataList (DerivePConstantViaDataList),
DerivePConstantViaEnum (DerivePConstantEnum),
EnumIsData (EnumIsData),
PlutusTypeEnumData,
ProductIsData (ProductIsData),
)
@ -78,12 +78,12 @@ import Plutarch.Extra.Map.Unsorted qualified as PUM
import Plutarch.Extra.Maybe (pfromJust)
import Plutarch.Extra.TermCont (pguardC, pletC, pmatchC)
import Plutarch.Lift (
DerivePConstantViaNewtype (..),
DerivePConstantViaNewtype (DerivePConstantViaNewtype),
PConstantDecl,
PUnsafeLiftDecl (..),
PUnsafeLiftDecl (type PLifted),
)
import Plutarch.Orphans ()
import Plutarch.SafeMoney (PDiscrete (..))
import Plutarch.SafeMoney (PDiscrete (PDiscrete))
import PlutusLedgerApi.V2 (Credential, DatumHash, ScriptHash, ValidatorHash)
import PlutusTx qualified
import PlutusTx.AssocMap qualified as AssocMap