remove purescript-bridge generated files
This commit is contained in:
Emily Martins
parent
fecd84848d
commit
58c0896bb6
8 changed files with 0 additions and 520 deletions
|
|
@ -1,24 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.AuthorityToken where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import PlutusLedgerApi.V1.Value (AssetClass)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype AuthorityToken = AuthorityToken { authority :: AssetClass }
|
||||
|
||||
derive instance Generic AuthorityToken _
|
||||
|
||||
derive instance Newtype AuthorityToken _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_AuthorityToken :: Iso' AuthorityToken {authority :: AssetClass}
|
||||
_AuthorityToken = _Newtype
|
||||
|
|
@ -1,28 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Effect.GovernorMutation where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Agora.Governor (GovernorDatum)
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import PlutusLedgerApi.V1.Tx (TxOutRef)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype MutateGovernorDatum = MutateGovernorDatum
|
||||
{ governorRef :: TxOutRef
|
||||
, newDatum :: GovernorDatum
|
||||
}
|
||||
|
||||
derive instance Generic MutateGovernorDatum _
|
||||
|
||||
derive instance Newtype MutateGovernorDatum _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_MutateGovernorDatum :: Iso' MutateGovernorDatum {governorRef :: TxOutRef, newDatum :: GovernorDatum}
|
||||
_MutateGovernorDatum = _Newtype
|
||||
|
|
@ -1,29 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Effect.TreasuryWithdrawal where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import Data.Tuple (Tuple)
|
||||
import PlutusLedgerApi.V1.Credential (Credential)
|
||||
import PlutusLedgerApi.V1.Value (Value)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype TreasuryWithdrawalDatum = TreasuryWithdrawalDatum
|
||||
{ receivers :: Array (Tuple Credential Value)
|
||||
, treasuries :: Array Credential
|
||||
}
|
||||
|
||||
derive instance Generic TreasuryWithdrawalDatum _
|
||||
|
||||
derive instance Newtype TreasuryWithdrawalDatum _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_TreasuryWithdrawalDatum :: Iso' TreasuryWithdrawalDatum {receivers :: Array (Tuple Credential Value), treasuries :: Array Credential}
|
||||
_TreasuryWithdrawalDatum = _Newtype
|
||||
|
|
@ -1,89 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Governor where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Agora.Proposal (ProposalId, ProposalThresholds)
|
||||
import Agora.Proposal.Time (MaxTimeRangeWidth, ProposalTimingConfig)
|
||||
import Agora.SafeMoney (GTTag)
|
||||
import Data.Bounded.Generic (genericBottom, genericTop)
|
||||
import Data.Enum (class Enum)
|
||||
import Data.Enum.Generic (genericPred, genericSucc)
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import Data.Tagged (Tagged)
|
||||
import GHC.Num.Integer (Integer)
|
||||
import PlutusLedgerApi.V1.Tx (TxOutRef)
|
||||
import PlutusLedgerApi.V1.Value (AssetClass)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype GovernorDatum = GovernorDatum
|
||||
{ proposalThresholds :: ProposalThresholds
|
||||
, nextProposalId :: ProposalId
|
||||
, proposalTimings :: ProposalTimingConfig
|
||||
, createProposalTimeRangeMaxWidth :: MaxTimeRangeWidth
|
||||
}
|
||||
|
||||
derive instance Generic GovernorDatum _
|
||||
|
||||
derive instance Newtype GovernorDatum _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_GovernorDatum :: Iso' GovernorDatum {proposalThresholds :: ProposalThresholds, nextProposalId :: ProposalId, proposalTimings :: ProposalTimingConfig, createProposalTimeRangeMaxWidth :: MaxTimeRangeWidth}
|
||||
_GovernorDatum = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
data GovernorRedeemer
|
||||
= CreateProposal
|
||||
| MintGATs
|
||||
| MutateGovernor
|
||||
|
||||
derive instance Generic GovernorRedeemer _
|
||||
|
||||
instance Enum GovernorRedeemer where
|
||||
succ = genericSucc
|
||||
pred = genericPred
|
||||
|
||||
instance Bounded GovernorRedeemer where
|
||||
bottom = genericBottom
|
||||
top = genericTop
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_CreateProposal :: Prism' GovernorRedeemer Unit
|
||||
_CreateProposal = prism' (const CreateProposal) case _ of
|
||||
CreateProposal -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_MintGATs :: Prism' GovernorRedeemer Unit
|
||||
_MintGATs = prism' (const MintGATs) case _ of
|
||||
MintGATs -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_MutateGovernor :: Prism' GovernorRedeemer Unit
|
||||
_MutateGovernor = prism' (const MutateGovernor) case _ of
|
||||
MutateGovernor -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype Governor = Governor
|
||||
{ gstOutRef :: TxOutRef
|
||||
, gtClassRef :: Tagged GTTag AssetClass
|
||||
, maximumCosigners :: Integer
|
||||
}
|
||||
|
||||
derive instance Generic Governor _
|
||||
|
||||
derive instance Newtype Governor _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_Governor :: Iso' Governor {gstOutRef :: TxOutRef, gtClassRef :: Tagged GTTag AssetClass, maximumCosigners :: Integer}
|
||||
_Governor = _Newtype
|
||||
|
|
@ -1,28 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.MultiSig where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import GHC.Num.Integer (Integer)
|
||||
import PlutusLedgerApi.V1.Crypto (PubKeyHash)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype MultiSig = MultiSig
|
||||
{ keys :: Array PubKeyHash
|
||||
, minSigs :: Integer
|
||||
}
|
||||
|
||||
derive instance Generic MultiSig _
|
||||
|
||||
derive instance Newtype MultiSig _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_MultiSig :: Iso' MultiSig {keys :: Array PubKeyHash, minSigs :: Integer}
|
||||
_MultiSig = _Newtype
|
||||
|
|
@ -1,188 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Proposal where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Agora.Proposal.Time (ProposalStartingTime, ProposalTimingConfig)
|
||||
import Agora.SafeMoney (GTTag)
|
||||
import Data.Bounded.Generic (genericBottom, genericTop)
|
||||
import Data.Enum (class Enum)
|
||||
import Data.Enum.Generic (genericPred, genericSucc)
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import Data.Tagged (Tagged)
|
||||
import GHC.Num.Integer (Integer)
|
||||
import PlutusLedgerApi.V1.Crypto (PubKeyHash)
|
||||
import PlutusLedgerApi.V1.Scripts (DatumHash, ValidatorHash)
|
||||
import PlutusLedgerApi.V1.Value (AssetClass)
|
||||
import PlutusTx.AssocMap (Map)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype ProposalId = ProposalId { proposalTag :: Integer }
|
||||
|
||||
derive instance Generic ProposalId _
|
||||
|
||||
derive instance Newtype ProposalId _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ProposalId :: Iso' ProposalId {proposalTag :: Integer}
|
||||
_ProposalId = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype ResultTag = ResultTag { getResultTag :: Integer }
|
||||
|
||||
derive instance Generic ResultTag _
|
||||
|
||||
derive instance Newtype ResultTag _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ResultTag :: Iso' ResultTag {getResultTag :: Integer}
|
||||
_ResultTag = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
data ProposalStatus
|
||||
= Draft
|
||||
| VotingReady
|
||||
| Locked
|
||||
| Finished
|
||||
|
||||
derive instance Generic ProposalStatus _
|
||||
|
||||
instance Enum ProposalStatus where
|
||||
succ = genericSucc
|
||||
pred = genericPred
|
||||
|
||||
instance Bounded ProposalStatus where
|
||||
bottom = genericBottom
|
||||
top = genericTop
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_Draft :: Prism' ProposalStatus Unit
|
||||
_Draft = prism' (const Draft) case _ of
|
||||
Draft -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_VotingReady :: Prism' ProposalStatus Unit
|
||||
_VotingReady = prism' (const VotingReady) case _ of
|
||||
VotingReady -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_Locked :: Prism' ProposalStatus Unit
|
||||
_Locked = prism' (const Locked) case _ of
|
||||
Locked -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_Finished :: Prism' ProposalStatus Unit
|
||||
_Finished = prism' (const Finished) case _ of
|
||||
Finished -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype ProposalThresholds = ProposalThresholds
|
||||
{ countVoting :: Tagged GTTag Integer
|
||||
, create :: Tagged GTTag Integer
|
||||
, startVoting :: Tagged GTTag Integer
|
||||
}
|
||||
|
||||
derive instance Generic ProposalThresholds _
|
||||
|
||||
derive instance Newtype ProposalThresholds _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ProposalThresholds :: Iso' ProposalThresholds {countVoting :: Tagged GTTag Integer, create :: Tagged GTTag Integer, startVoting :: Tagged GTTag Integer}
|
||||
_ProposalThresholds = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype ProposalVotes = ProposalVotes { getProposalVotes :: Map ResultTag Integer }
|
||||
|
||||
derive instance Generic ProposalVotes _
|
||||
|
||||
derive instance Newtype ProposalVotes _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ProposalVotes :: Iso' ProposalVotes {getProposalVotes :: Map ResultTag Integer}
|
||||
_ProposalVotes = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype ProposalDatum = ProposalDatum
|
||||
{ proposalId :: ProposalId
|
||||
, effects :: Map ResultTag (Map ValidatorHash DatumHash)
|
||||
, status :: ProposalStatus
|
||||
, cosigners :: Array PubKeyHash
|
||||
, thresholds :: ProposalThresholds
|
||||
, votes :: ProposalVotes
|
||||
, timingConfig :: ProposalTimingConfig
|
||||
, startingTime :: ProposalStartingTime
|
||||
}
|
||||
|
||||
derive instance Generic ProposalDatum _
|
||||
|
||||
derive instance Newtype ProposalDatum _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ProposalDatum :: Iso' ProposalDatum {proposalId :: ProposalId, effects :: Map ResultTag (Map ValidatorHash DatumHash), status :: ProposalStatus, cosigners :: Array PubKeyHash, thresholds :: ProposalThresholds, votes :: ProposalVotes, timingConfig :: ProposalTimingConfig, startingTime :: ProposalStartingTime}
|
||||
_ProposalDatum = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
data ProposalRedeemer
|
||||
= Vote ResultTag
|
||||
| Cosign (Array PubKeyHash)
|
||||
| Unlock ResultTag
|
||||
| AdvanceProposal
|
||||
|
||||
derive instance Generic ProposalRedeemer _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_Vote :: Prism' ProposalRedeemer ResultTag
|
||||
_Vote = prism' Vote case _ of
|
||||
(Vote a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_Cosign :: Prism' ProposalRedeemer (Array PubKeyHash)
|
||||
_Cosign = prism' Cosign case _ of
|
||||
(Cosign a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_Unlock :: Prism' ProposalRedeemer ResultTag
|
||||
_Unlock = prism' Unlock case _ of
|
||||
(Unlock a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_AdvanceProposal :: Prism' ProposalRedeemer Unit
|
||||
_AdvanceProposal = prism' (const AdvanceProposal) case _ of
|
||||
AdvanceProposal -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype Proposal = Proposal
|
||||
{ governorSTAssetClass :: AssetClass
|
||||
, stakeSTAssetClass :: AssetClass
|
||||
, maximumCosigners :: Integer
|
||||
}
|
||||
|
||||
derive instance Generic Proposal _
|
||||
|
||||
derive instance Newtype Proposal _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_Proposal :: Iso' Proposal {governorSTAssetClass :: AssetClass, stakeSTAssetClass :: AssetClass, maximumCosigners :: Integer}
|
||||
_Proposal = _Newtype
|
||||
|
|
@ -1,103 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Stake where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Agora.Proposal (ProposalId, ResultTag)
|
||||
import Agora.SafeMoney (GTTag)
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Data.Newtype (class Newtype)
|
||||
import Data.Tagged (Tagged)
|
||||
import GHC.Num.Integer (Integer)
|
||||
import PlutusLedgerApi.V1.Crypto (PubKeyHash)
|
||||
import PlutusLedgerApi.V1.Value (AssetClass)
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
newtype Stake = Stake
|
||||
{ gtClassRef :: Tagged GTTag AssetClass
|
||||
, proposalSTClass :: AssetClass
|
||||
}
|
||||
|
||||
derive instance Generic Stake _
|
||||
|
||||
derive instance Newtype Stake _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_Stake :: Iso' Stake {gtClassRef :: Tagged GTTag AssetClass, proposalSTClass :: AssetClass}
|
||||
_Stake = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype ProposalLock = ProposalLock
|
||||
{ vote :: ResultTag
|
||||
, proposalId :: ProposalId
|
||||
}
|
||||
|
||||
derive instance Generic ProposalLock _
|
||||
|
||||
derive instance Newtype ProposalLock _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_ProposalLock :: Iso' ProposalLock {vote :: ResultTag, proposalId :: ProposalId}
|
||||
_ProposalLock = _Newtype
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
data StakeRedeemer
|
||||
= DepositWithdraw (Tagged GTTag Integer)
|
||||
| Destroy
|
||||
| PermitVote ProposalLock
|
||||
| RetractVotes (Array ProposalLock)
|
||||
| WitnessStake
|
||||
|
||||
derive instance Generic StakeRedeemer _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_DepositWithdraw :: Prism' StakeRedeemer (Tagged GTTag Integer)
|
||||
_DepositWithdraw = prism' DepositWithdraw case _ of
|
||||
(DepositWithdraw a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_Destroy :: Prism' StakeRedeemer Unit
|
||||
_Destroy = prism' (const Destroy) case _ of
|
||||
Destroy -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
_PermitVote :: Prism' StakeRedeemer ProposalLock
|
||||
_PermitVote = prism' PermitVote case _ of
|
||||
(PermitVote a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_RetractVotes :: Prism' StakeRedeemer (Array ProposalLock)
|
||||
_RetractVotes = prism' RetractVotes case _ of
|
||||
(RetractVotes a) -> Just a
|
||||
_ -> Nothing
|
||||
|
||||
_WitnessStake :: Prism' StakeRedeemer Unit
|
||||
_WitnessStake = prism' (const WitnessStake) case _ of
|
||||
WitnessStake -> Just unit
|
||||
_ -> Nothing
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
newtype StakeDatum = StakeDatum
|
||||
{ stakedAmount :: Tagged GTTag Integer
|
||||
, owner :: PubKeyHash
|
||||
, lockedBy :: Array ProposalLock
|
||||
}
|
||||
|
||||
derive instance Generic StakeDatum _
|
||||
|
||||
derive instance Newtype StakeDatum _
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_StakeDatum :: Iso' StakeDatum {stakedAmount :: Tagged GTTag Integer, owner :: PubKeyHash, lockedBy :: Array ProposalLock}
|
||||
_StakeDatum = _Newtype
|
||||
|
|
@ -1,31 +0,0 @@
|
|||
-- File auto generated by purescript-bridge! --
|
||||
module Agora.Treasury where
|
||||
|
||||
import Prelude
|
||||
|
||||
import Data.Bounded.Generic (genericBottom, genericTop)
|
||||
import Data.Enum (class Enum)
|
||||
import Data.Enum.Generic (genericPred, genericSucc)
|
||||
import Data.Generic.Rep (class Generic)
|
||||
import Data.Lens (Iso', Lens', Prism', iso, prism')
|
||||
import Data.Lens.Iso.Newtype (_Newtype)
|
||||
import Data.Lens.Record (prop)
|
||||
import Data.Maybe (Maybe(..))
|
||||
import Type.Proxy (Proxy(Proxy))
|
||||
|
||||
data TreasuryRedeemer = SpendTreasuryGAT
|
||||
|
||||
derive instance Generic TreasuryRedeemer _
|
||||
|
||||
instance Enum TreasuryRedeemer where
|
||||
succ = genericSucc
|
||||
pred = genericPred
|
||||
|
||||
instance Bounded TreasuryRedeemer where
|
||||
bottom = genericBottom
|
||||
top = genericTop
|
||||
|
||||
--------------------------------------------------------------------------------
|
||||
|
||||
_SpendTreasuryGAT :: Iso' TreasuryRedeemer Unit
|
||||
_SpendTreasuryGAT = iso (const unit) (const SpendTreasuryGAT)
|
||||
Loading…
Add table
Add a link
Reference in a new issue