Index Propose and Vote redeemers

Author: errfrom

packages.dhall

@@ -175,19 +175,23 @@ let additions =
           , "argonaut"
           , "bifunctors"
           , "bytearrays"
+          , "console"
           , "effect"
           , "either"
+          , "enums"
           , "maybe"
           , "nullable"
           , "ordered-collections"
+          , "partial"
           , "prelude"
           , "profunctor"
           , "tuples"
+          , "unsafe-coerce"
           ]
         , repo =
             "https://github.com/mlabs-haskell/purescript-cardano-serialization-lib"
-        , version = "c66afbb9c572db096690ec1dd786c9ec96105c0d"
-        }
+        , version = "v1.0.0"
+        }     
       , cardano-plutus-data-schema =
         { dependencies = [ "prelude" ]
         , repo =
@@ -221,14 +225,15 @@ let additions =
       , cardano-types =
         { dependencies =
           [ "aeson"
+          , "aff"
           , "arraybuffer-types"
           , "arrays"
           , "bifunctors"
           , "bytearrays"
           , "cardano-plutus-data-schema"
           , "cardano-serialization-lib"
-          , "console"
           , "control"
+          , "datetime"
           , "effect"
           , "either"
           , "encoding"
@@ -242,18 +247,21 @@ let additions =
           , "literals"
           , "maybe"
           , "monad-logger"
+          , "mote"
+          , "mote-testplan"
           , "newtype"
           , "nonempty"
           , "nullable"
           , "ordered-collections"
           , "partial"
           , "prelude"
           , "profunctor"
+          , "profunctor-lenses"
           , "quickcheck"
           , "rationals"
           , "record"
           , "safe-coerce"
-          , "strings"
+          , "spec"
           , "these"
           , "tuples"
           , "typelevel-prelude"
@@ -262,7 +270,7 @@ let additions =
           , "unsafe-coerce"
           ]
         , repo = "https://github.com/mlabs-haskell/purescript-cardano-types"
-        , version = "40d9468a4712ad2bf57ebede19fae92208f082a0"
+        , version = "941bf45aa2b91a012873769d252645f9187d685e"
         }
       }
 

spago-packages.nix

@@ -175,23 +175,23 @@ let
 
     "cardano-serialization-lib" = pkgs.stdenv.mkDerivation {
         name = "cardano-serialization-lib";
-        version = "c66afbb9c572db096690ec1dd786c9ec96105c0d";
+        version = "v1.0.0";
         src = pkgs.fetchgit {
           url = "https://github.com/mlabs-haskell/purescript-cardano-serialization-lib";
-          rev = "c66afbb9c572db096690ec1dd786c9ec96105c0d";
-          sha256 = "1pi5q45nx1varl2pjpd60vfxv2cjvlg1ms7xnsfwb2acl216lmr5";
+          rev = "903bf0adeefedc4d065ad6523ad079433bdd8e32";
+          sha256 = "0jlfxrx037hyd4v0j7l2b16yxlm6nw6qlnr992hj9nzip36vbpfg";
         };
         phases = "installPhase";
         installPhase = "ln -s $src $out";
       };
 
     "cardano-types" = pkgs.stdenv.mkDerivation {
         name = "cardano-types";
-        version = "40d9468a4712ad2bf57ebede19fae92208f082a0";
+        version = "941bf45aa2b91a012873769d252645f9187d685e";
         src = pkgs.fetchgit {
           url = "https://github.com/mlabs-haskell/purescript-cardano-types";
-          rev = "40d9468a4712ad2bf57ebede19fae92208f082a0";
-          sha256 = "1iawinsrsipqgjrcgv650x3i2iad1z2vlwlhvlcx9880qmv0m9gc";
+          rev = "941bf45aa2b91a012873769d252645f9187d685e";
+          sha256 = "1fwmhgj4bh683w5xwpw3nagsfqy9crld4qfdfr6ljrkfl74npb22";
         };
         phases = "installPhase";
         installPhase = "ln -s $src $out";

src/Cardano/Transaction/Builder.purs

@@ -77,9 +77,7 @@ import Cardano.Types.Certificate
       , PoolRegistration
       , PoolRetirement
       , StakeDeregistration
-      , GenesisKeyDelegation
       , StakeDelegation
-      , MoveInstantaneousRewardsCert
       )
   )
 import Cardano.Types.Credential
@@ -460,8 +458,7 @@ useCertificateWitness cert mbWitness = do
     StakeRegistration _ -> pure unit
     PoolRegistration _ -> pure unit
     PoolRetirement _ -> pure unit
-    GenesisKeyDelegation _ -> pure unit
-    MoveInstantaneousRewardsCert _ -> pure unit
+    _ -> pure unit -- TODO
 
 useCredentialWitness
   :: CredentialAction -> StakeCredential -> Maybe CredentialWitness -> BuilderM Unit

src/Cardano/Transaction/Edit.purs

@@ -23,7 +23,7 @@ module Cardano.Transaction.Edit
   , toEditableTransaction
   , fromEditableTransactionSafe
   , fromEditableTransaction
-  , RedeemerPurpose(ForSpend, ForMint, ForReward, ForCert)
+  , RedeemerPurpose(ForSpend, ForMint, ForReward, ForCert, ForPropose, ForVote)
   , redeemerPurposeToRedeemerTag
   , DetachedRedeemer
   , EditableTransaction
@@ -36,21 +36,12 @@ module Cardano.Transaction.Edit
 
 import Prelude
 
-import Cardano.Types
-  ( Certificate
-  , Redeemer(Redeemer)
-  , RedeemerTag(Mint, Spend, Reward, Cert)
-  , RewardAddress
-  , ScriptHash
-  , Transaction(Transaction)
-  , TransactionBody(TransactionBody)
-  , TransactionInput
-  , _redeemers
-  , _witnessSet
-  )
+import Cardano.Types (Certificate, Redeemer(Redeemer), RedeemerTag(Mint, Spend, Reward, Cert, Propose, Vote), RewardAddress, ScriptHash, Transaction(Transaction), TransactionBody(TransactionBody), TransactionInput, _redeemers, _witnessSet)
 import Cardano.Types.BigNum as BigNum
 import Cardano.Types.ExUnits as ExUnits
 import Cardano.Types.RedeemerDatum (RedeemerDatum)
+import Cardano.Types.Voter (Voter)
+import Cardano.Types.VotingProposal (VotingProposal)
 import Data.Array (catMaybes, findIndex, nub)
 import Data.Array as Array
 import Data.Either (Either, blush, hush, note)
@@ -80,6 +71,8 @@ data RedeemerPurpose
   | ForMint ScriptHash
   | ForReward RewardAddress
   | ForCert Certificate
+  | ForVote Voter
+  | ForPropose VotingProposal
 
 derive instance Generic RedeemerPurpose _
 derive instance Eq RedeemerPurpose
@@ -95,6 +88,8 @@ redeemerPurposeToRedeemerTag = case _ of
   ForMint _ -> Mint
   ForReward _ -> Reward
   ForCert _ -> Cert
+  ForPropose _ -> Propose
+  ForVote _ -> Vote
 
 -- | Contains parts of a transaction that are important for redeemer processing.
 -- | Used to avoid re-computing.
@@ -103,18 +98,21 @@ type RedeemersContext =
   , mintingPolicyHashes :: Array ScriptHash
   , rewardAddresses :: Array RewardAddress
   , certs :: Array Certificate
+  , proposals :: Array VotingProposal
+  , voters :: Array Voter
   }
 
 mkRedeemersContext :: Transaction -> RedeemersContext
-mkRedeemersContext
-  (Transaction { body: TransactionBody { inputs, mint, withdrawals, certs } }) =
-  { inputs: Set.toUnfoldable $ Set.fromFoldable inputs
+mkRedeemersContext (Transaction { body: TransactionBody txBody }) =
+  { inputs: Set.toUnfoldable $ Set.fromFoldable txBody.inputs
   , mintingPolicyHashes:
       Set.toUnfoldable $ Map.keys $ unwrap $ fromMaybe
         (wrap Map.empty)
-        mint
-  , rewardAddresses: Set.toUnfoldable $ Map.keys $ withdrawals
-  , certs
+        txBody.mint
+  , rewardAddresses: Set.toUnfoldable $ Map.keys $ txBody.withdrawals
+  , certs: txBody.certs
+  , proposals: txBody.votingProposals
+  , voters: Set.toUnfoldable $ Map.keys $ unwrap txBody.votingProcedures
   }
 
 detachRedeemer :: RedeemersContext -> Redeemer -> Maybe DetachedRedeemer
@@ -129,6 +127,10 @@ detachRedeemer ctx (Redeemer { tag, index, data: datum, exUnits: _ }) = do
       ForReward <$> Array.index ctx.rewardAddresses indexInt
     Cert ->
       ForCert <$> Array.index ctx.certs indexInt
+    Propose ->
+      ForPropose <$> Array.index ctx.proposals indexInt
+    Vote ->
+      ForVote <$> Array.index ctx.voters indexInt
   pure { datum, purpose }
 
 attachRedeemers
@@ -149,6 +151,10 @@ attachRedeemer ctx { purpose, datum } = do
       { tag: Reward, index }
     ForCert cert -> findIndex (eq cert) ctx.certs <#> \index ->
       { tag: Cert, index }
+    ForPropose proposal -> findIndex (eq proposal) ctx.proposals <#> \index ->
+      { tag: Propose, index }
+    ForVote voter -> findIndex (eq voter) ctx.voters <#> \index ->
+      { tag: Vote, index }
   pure $
     Redeemer { tag, index: BigNum.fromInt index, data: datum, exUnits: ExUnits.empty }