Add vasil features

Makefile

@@ -101,8 +101,11 @@ nixpkgsfmt: requires_nix_shell
 nixpkgsfmt_check: requires_nix_shell
 	nixpkgs-fmt --check $(NIX_SOURCES)
 
-# Check with hlint, currently I couldn't get --refactor to work
+# Check with hlint
 lint: requires_nix_shell
+	echo "$(FORMAT_SOURCES)" | xargs -n 1 -t hlint --refactor --refactor-options="--inplace"
+
+lint_check: requires_nix_shell
 	hlint $(FORMAT_SOURCES)
 
 readme_contents:

bot-plutus-interface.cabal

@@ -86,11 +86,13 @@ library
     BotPlutusInterface.CoinSelection
     BotPlutusInterface.Collateral
     BotPlutusInterface.Config
+    BotPlutusInterface.Constraints
     BotPlutusInterface.Contract
     BotPlutusInterface.Effects
     BotPlutusInterface.ExBudget
     BotPlutusInterface.Files
     BotPlutusInterface.Helpers
+    BotPlutusInterface.Metadata
     BotPlutusInterface.Server
     BotPlutusInterface.TimeSlot
     BotPlutusInterface.Types
@@ -105,15 +107,20 @@ library
   build-depends:
     , aeson
     , attoparsec                 >=0.13.2.2
+    , base16
+    , basement
     , bytestring                 ^>=0.10.12.0
     , cardano-api
     , cardano-crypto
+    , cardano-crypto-class
+    , cardano-crypto-wrapper
     , cardano-ledger-alonzo
     , cardano-ledger-babbage
     , cardano-ledger-core
     , cardano-ledger-shelley
     , cardano-prelude
     , cardano-slotting
+    , cborg
     , config-schema
     , config-value
     , containers
@@ -200,6 +207,8 @@ test-suite bot-plutus-interface-test
     , bytestring                 ^>=0.10.12.0
     , cardano-api
     , cardano-crypto-class
+    , cardano-prelude
+    , cardano-slotting
     , containers
     , data-default
     , data-default-class
@@ -241,6 +250,7 @@ test-suite bot-plutus-interface-test
     , tasty-quickcheck
     , temporary
     , text                       ^>=1.2.4.0
+    , transformers-either
     , utf8-string
     , uuid
     , vector

examples/plutus-nft/plutus-nft.cabal

@@ -77,6 +77,7 @@ library
     , aeson
     , attoparsec                 >=0.13.2.2
     , base16-bytestring
+    , bot-plutus-interface
     , bytestring                 ^>=0.10.12.0
     , cardano-api
     , cardano-crypto

examples/plutus-nft/src/Cardano/PlutusExample/NFT.hs

@@ -3,7 +3,9 @@
 
 module Cardano.PlutusExample.NFT where
 
-import Cardano.Api.Shelley (PlutusScript (..), PlutusScriptV1)
+import BotPlutusInterface.Constraints (mustIncludeMetadata, submitBpiTxConstraintsWith)
+import BotPlutusInterface.Metadata (NftMetadata (NftMetadata), NftMetadataToken (NftMetadataToken), TxMetadata (TxMetadata))
+import Cardano.Api.Shelley (PlutusScript (PlutusScriptSerialised), PlutusScriptV1)
 import Codec.Serialise (serialise)
 import Control.Monad (void)
 import Data.Aeson.TH (defaultOptions, deriveJSON)
@@ -31,7 +33,7 @@ import Ledger.Constraints as Constraints
 import Ledger.Scripts qualified as Scripts
 import Ledger.Typed.Scripts qualified as TypedScripts
 import Ledger.Value (flattenValue, singleton)
-import Plutus.Contract (Contract, Endpoint, submitTxConstraintsWith, tell, utxosAt)
+import Plutus.Contract (Contract, Endpoint, tell, utxosAt)
 import Plutus.Contract qualified as Contract
 import Plutus.Script.Utils.V1.Scripts qualified as ScriptUtils
 import PlutusTx qualified
@@ -100,8 +102,6 @@ mintNft MintParams {..} = do
       tell $ Last $ Just $ "Using oref:" Hask.<> Text.pack (Hask.show oref)
       let cs = curSymbol oref mpTokenName
           val = singleton cs mpTokenName 1
-          -- TODO: Add metadata in the tx.
-          --       Currently this is not possible, as metadata is not supported.
           lookups =
             Hask.mconcat
               [ Constraints.plutusV1MintingPolicy (policy oref mpTokenName)
@@ -113,6 +113,10 @@ mintNft MintParams {..} = do
               , Constraints.mustSpendPubKeyOutput oref
               , Constraints.mustPayToPubKeyAddress mpPubKeyHash mpStakeHash val
               ]
-      void $ submitTxConstraintsWith @Void lookups tx
+          tokenMetadata = NftMetadataToken mpName mpImage (Just "image/jpeg") mpDescription Hask.mempty Hask.mempty
+          txMetadata = TxMetadata (Just $ NftMetadata $ Map.singleton cs $ Map.singleton mpTokenName tokenMetadata) Hask.mempty
+          bpiConstraints = mustIncludeMetadata txMetadata
+
+      void $ submitBpiTxConstraintsWith @Void lookups tx bpiConstraints
       Contract.logInfo @Hask.String $ printf "forged %s" (Hask.show val)
       tell $ Last $ Just "Finished"

flake.nix

@@ -77,10 +77,6 @@
       url = "github:input-output-hk/hedgehog-extras/714ee03a5a786a05fc57ac5d2f1c2edce4660d85";
       flake = false;
     };
-    hysterical-screams = {
-      url = "github:raduom/hysterical-screams/4c523469e9efd3f0d10d17da3304923b7b0e0674";
-      flake = false;
-    };
     hw-aeson = {
       url = "github:haskell-works/hw-aeson/b5ef03a7d7443fcd6217ed88c335f0c411a05408";
       flake = false;
@@ -105,14 +101,14 @@
         "github:input-output-hk/ouroboros-network/cb9eba406ceb2df338d8384b35c8addfe2067201";
       flake = false;
     };
-    plutus = {
+    plutus-core = {
       url =
         "github:input-output-hk/plutus/a56c96598b4b25c9e28215214d25189331087244";
       flake = false;
     };
     plutus-apps = {
       url =
-        "github:mlabs-haskell/plutus-apps/31bfd4c7fff5158c9f2618b76b68dbbae410221d";
+        "github:input-output-hk/plutus-apps/a2045141fc0b4f14470ebf4679c6abe40aac4db7";
       flake = false;
     };
     purescript-bridge = {
@@ -290,10 +286,6 @@
           src = inputs.hedgehog-extras;
           subdirs = [ "." ];
         }
-        {
-          src = inputs.hysterical-screams;
-          subdirs = [ "." ];
-        }
         {
           src = inputs.hw-aeson;
           subdirs = [ "." ];
@@ -339,7 +331,7 @@
           ];
         }
         {
-          src = inputs.plutus;
+          src = inputs.plutus-core;
           subdirs = [
             "plutus-core"
             "plutus-ledger-api"
@@ -353,22 +345,27 @@
         {
           src = inputs.plutus-apps;
           subdirs = [
+            "cardano-streaming"
             "doc"
             "freer-extras"
+            "marconi"
+            "marconi-mamba"
             "playground-common"
+            "pab-blockfrost"
             "plutus-chain-index"
             "plutus-chain-index-core"
-            "plutus-hysterical-screams"
             "plutus-contract"
             "plutus-contract-certification"
+            "plutus-example"
             "plutus-ledger"
             "plutus-ledger-constraints"
             "plutus-pab"
+            "plutus-pab-executables"
             "plutus-playground-server"
             "plutus-script-utils"
-            "plutus-streaming"
             "plutus-tx-constraints"
             "plutus-use-cases"
+            "rewindable-index"
             "web-ghc"
           ];
         }
@@ -402,33 +399,36 @@
         let
           pkgs = nixpkgsFor system;
           pkgs' = nixpkgsFor' system;
-        in
-        pkgs.haskell-nix.cabalProject' {
-          src = ./.;
-          inherit cabalProjectLocal extraSources;
-          name = "bot-plutus-interface";
-          compiler-nix-name = "ghc8107";
-          shell = {
-            additional = ps: [
-              ps.plutus-pab
-            ];
-            withHoogle = true;
-            tools.haskell-language-server = { };
-            exactDeps = true;
-            nativeBuildInputs = with pkgs'; [
-              cabal-install
-              haskellPackages.cabal-fmt
-              haskellPackages.implicit-hie
-              haskellPackages.fourmolu
-              hlint
-              jq
-              websocat
-              fd
-              nixpkgs-fmt
-            ];
+          project = pkgs.haskell-nix.cabalProject' {
+            src = ./.;
+            inherit cabalProjectLocal extraSources;
+            name = "bot-plutus-interface";
+            compiler-nix-name = "ghc8107";
+            shell = {
+              additional = ps: [
+                ps.plutus-pab
+              ];
+              withHoogle = true;
+              tools.haskell-language-server = { };
+              exactDeps = true;
+              nativeBuildInputs = with pkgs'; [
+                cabal-install
+                haskellPackages.cabal-fmt
+                haskellPackages.implicit-hie
+                haskellPackages.fourmolu
+                haskellPackages.apply-refact
+                hlint
+                jq
+                websocat
+                fd
+                nixpkgs-fmt
+                project.hsPkgs.cardano-cli.components.exes.cardano-cli
+              ];
+            };
+            modules = haskellModules;
           };
-          modules = haskellModules;
-        };
+        in
+        project;
 
       formatCheckFor = system:
         let
@@ -441,7 +441,7 @@
           export LC_ALL=C.UTF-8
           export LANG=C.UTF-8
           export IN_NIX_SHELL='pure'
-          make format_check cabalfmt_check nixpkgsfmt_check lint
+          make format_check cabalfmt_check nixpkgsfmt_check lint_check
           mkdir $out
         '';
 
@@ -475,5 +475,11 @@
       checks = perSystem (system: self.flake.${system}.checks // {
         formatCheck = formatCheckFor system;
       });
+
+      hydraJobs = {
+        checks = { inherit (self.checks) x86_64-linux; };
+        packages = { inherit (self.packages) x86_64-linux; };
+        devShells = { inherit (self.devShells) x86_64-linux; };
+      };
     };
 }