SCP-2771: Plutus V2 interface (IntersectMBO#3952)

* Init v2

* Use AssocMap in V2 TxInfo

* Include redeemers in V2 TxInfo

* Transfer over functions that need to operate on the new context types

* Fix nix

Author: michaelpj

nix/pkgs/haskell/materialized-darwin/.plan.nix/plutus-ledger-api.nix

@@ -37,6 +37,7 @@ library
         Data.Aeson.Extras
         Data.Either.Extras
         Data.Text.Prettyprint.Doc.Extras
+
         Plutus.V1.Ledger.Address
         Plutus.V1.Ledger.Ada
         Plutus.V1.Ledger.Api
@@ -54,6 +55,9 @@ library
         Plutus.V1.Ledger.TxId
         Plutus.V1.Ledger.Time
         Plutus.V1.Ledger.Value
+
+        Plutus.V2.Ledger.Api
+        Plutus.V2.Ledger.Contexts
     build-depends:
         base >=4.9 && <5,
         aeson -any,

nix/pkgs/haskell/materialized-linux/.plan.nix/plutus-ledger-api.nix

@@ -275,7 +275,7 @@ instance BA.ByteArrayAccess Datum where
 -- | 'Redeemer' is a wrapper around 'Data' values that are used as redeemers in transaction inputs.
 newtype Redeemer = Redeemer { getRedeemer :: BuiltinData }
   deriving stock (Generic, Haskell.Show)
-  deriving newtype (Haskell.Eq, Haskell.Ord, Eq)
+  deriving newtype (Haskell.Eq, Haskell.Ord, Eq, ToData, FromData, UnsafeFromData)
   deriving (ToJSON, FromJSON, Serialise, NFData, Pretty) via PLC.Data
 
 instance BA.ByteArrayAccess Redeemer where
@@ -439,3 +439,5 @@ makeLift ''DatumHash
 makeLift ''RedeemerHash
 
 makeLift ''Datum
+
+makeLift ''Redeemer

nix/pkgs/haskell/materialized-windows/.plan.nix/plutus-ledger-api.nix

@@ -0,0 +1,118 @@
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE OverloadedStrings  #-}
+{-# LANGUAGE TypeApplications   #-}
+{- |
+The interface to Plutus V2 for the ledger.
+-}
+module Plutus.V2.Ledger.Api (
+    -- * Scripts
+    SerializedScript
+    , Script
+    , fromCompiledCode
+    -- * Validating scripts
+    , validateScript
+    -- * Running scripts
+    , evaluateScriptRestricting
+    , evaluateScriptCounting
+    -- ** Verbose mode and log output
+    , VerboseMode (..)
+    , LogOutput
+    -- * Serialising scripts
+    , plutusScriptEnvelopeType
+    , plutusDatumEnvelopeType
+    , plutusRedeemerEnvelopeType
+    -- * Costing-related types
+    , ExBudget (..)
+    , ExCPU (..)
+    , ExMemory (..)
+    , SatInt
+    -- ** Cost model
+    , validateCostModelParams
+    , defaultCostModelParams
+    , CostModelParams
+    -- * Context types
+    , ScriptContext(..)
+    , ScriptPurpose(..)
+    -- ** Supporting types used in the context types
+    -- *** ByteStrings
+    , BuiltinByteString
+    , toBuiltin
+    , fromBuiltin
+    -- *** Bytes
+    , LedgerBytes (..)
+    , fromBytes
+    -- *** Certificates
+    , DCert(..)
+    -- *** Credentials
+    , StakingCredential(..)
+    , Credential(..)
+    -- *** Value
+    , Value (..)
+    , CurrencySymbol (..)
+    , TokenName (..)
+    , singleton
+    , unionWith
+    , adaSymbol
+    , adaToken
+    -- *** Time
+    , POSIXTime (..)
+    , POSIXTimeRange
+    -- *** Types for representing transactions
+    , Address (..)
+    , PubKeyHash (..)
+    , TxId (..)
+    , TxInfo (..)
+    , TxOut(..)
+    , TxOutRef(..)
+    , TxInInfo(..)
+    -- *** Intervals
+    , Interval (..)
+    , Extended (..)
+    , Closure
+    , UpperBound (..)
+    , LowerBound (..)
+    , always
+    , from
+    , to
+    , lowerBound
+    , upperBound
+    , strictLowerBound
+    , strictUpperBound
+    -- *** Newtypes for script/datum types and hash types
+    , Validator (..)
+    , mkValidatorScript
+    , unValidatorScript
+    , ValidatorHash (..)
+    , MintingPolicy (..)
+    , mkMintingPolicyScript
+    , unMintingPolicyScript
+    , MintingPolicyHash (..)
+    , StakeValidator (..)
+    , mkStakeValidatorScript
+    , unStakeValidatorScript
+    , StakeValidatorHash (..)
+    , Redeemer (..)
+    , RedeemerHash (..)
+    , Datum (..)
+    , DatumHash (..)
+    -- * Data
+    , Data (..)
+    , BuiltinData (..)
+    , ToData (..)
+    , FromData (..)
+    , UnsafeFromData (..)
+    , toData
+    , fromData
+    , dataToBuiltinData
+    , builtinDataToData
+    -- * Errors
+    , EvaluationError (..)
+) where
+
+import           Data.Text                 (Text)
+
+import           Plutus.V1.Ledger.Api      hiding (ScriptContext (..), TxInfo (..), plutusScriptEnvelopeType)
+import           Plutus.V2.Ledger.Contexts
+
+plutusScriptEnvelopeType :: Text
+plutusScriptEnvelopeType = "PlutusV2Script"