generate purescript stuff

agora-purescript-bridge/src/Agora/AuthorityToken.purs

@@ -0,0 +1,24 @@
+-- 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 Plutus.V1.Ledger.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

agora-purescript-bridge/src/Agora/Effect/TreasuryWithdrawal.purs

@@ -0,0 +1,29 @@
+-- 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 Plutus.V1.Ledger.Credential (Credential)
+import Plutus.V1.Ledger.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

agora-purescript-bridge/src/Agora/Governor.purs

@@ -0,0 +1,77 @@
+-- File auto generated by purescript-bridge! --
+module Agora.Governor where
+
+import Prelude
+
+import Agora.Proposal (ProposalId, ProposalThresholds)
+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 Type.Proxy (Proxy(Proxy))
+
+newtype GovernorDatum = GovernorDatum
+  { proposalThresholds :: ProposalThresholds
+  , nextProposalId :: ProposalId
+  }
+
+derive instance Generic GovernorDatum _
+
+derive instance Newtype GovernorDatum _
+
+--------------------------------------------------------------------------------
+
+_GovernorDatum :: Iso' GovernorDatum {proposalThresholds :: ProposalThresholds, nextProposalId :: ProposalId}
+_GovernorDatum = _Newtype
+
+--------------------------------------------------------------------------------
+
+data GovernorRedeemer
+  = CreateProposal
+  | MintGATs
+
+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
+
+--------------------------------------------------------------------------------
+
+data Governor = Governor
+
+derive instance Generic Governor _
+
+instance Enum Governor where
+  succ = genericSucc
+  pred = genericPred
+
+instance Bounded Governor where
+  bottom = genericBottom
+  top = genericTop
+
+--------------------------------------------------------------------------------
+
+_Governor :: Iso' Governor Unit
+_Governor = iso (const unit) (const Governor)

agora-purescript-bridge/src/Agora/MultiSig.purs

@@ -0,0 +1,28 @@
+-- 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 Plutus.V1.Ledger.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

agora-purescript-bridge/src/Agora/Proposal.purs

@@ -0,0 +1,186 @@
+-- File auto generated by purescript-bridge! --
+module Agora.Proposal where
+
+import Prelude
+
+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 Data.Tuple (Tuple)
+import GHC.Num.Integer (Integer)
+import Plutus.V1.Ledger.Crypto (PubKeyHash)
+import Plutus.V1.Ledger.Scripts (DatumHash, ValidatorHash)
+import Plutus.V1.Ledger.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 (Array (Tuple ValidatorHash DatumHash))
+  , status :: ProposalStatus
+  , cosigners :: Array PubKeyHash
+  , thresholds :: ProposalThresholds
+  , votes :: ProposalVotes
+  }
+
+derive instance Generic ProposalDatum _
+
+derive instance Newtype ProposalDatum _
+
+--------------------------------------------------------------------------------
+
+_ProposalDatum :: Iso' ProposalDatum {proposalId :: ProposalId, effects :: Map ResultTag (Array (Tuple ValidatorHash DatumHash)), status :: ProposalStatus, cosigners :: Array PubKeyHash, thresholds :: ProposalThresholds, votes :: ProposalVotes}
+_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

agora-purescript-bridge/src/Agora/Stake.purs

@@ -0,0 +1,103 @@
+-- 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 Plutus.V1.Ledger.Crypto (PubKeyHash)
+import Plutus.V1.Ledger.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

agora-purescript-bridge/src/Agora/Treasury.purs

@@ -0,0 +1,31 @@
+-- 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)