write script to file

README.md

@@ -3,7 +3,7 @@
 ## Building
 
 ```sh
-nix build .#tornadano:exe:tornadano
+nix build .#tornadano:exe:dump-script
 ```
 
 ## Development shell
@@ -13,3 +13,17 @@ You can use cabal, haskell-language-server and other dev tools inside.
 ```sh
 nix develop
 ```
+
+## Usage
+
+Example in nix dev shell:
+
+```sh
+cabal run dump-script -- -s d1ce83174feeb6ae11d95fd47cac403642cb616b244dbb32a2ca0bda -t "mixer thread" -n 100000000
+```
+
+Example if exe is build:
+
+```sh
+result/bin/dump-script -s d1ce83174feeb6ae11d95fd47cac403642cb616b244dbb32a2ca0bda -t "mixer thread" -n 100000000
+```

app/Main.hs

@@ -13,6 +13,11 @@ import Options.Applicative (execParser)
 import PlutusLedgerApi.V1.Bytes (LedgerBytes (..), fromHex)
 import PlutusLedgerApi.V1.Value (CurrencySymbol (CurrencySymbol), TokenName, assetClass)
 import PlutusLedgerApi.V2 (toData)
+import Plutarch.Script (serialiseScript)
+import Data.ByteString.Short (ShortByteString)
+import qualified Data.ByteString.Short as SBS
+import Data.ByteString.Builder (byteStringHex, hPutBuilder)
+import System.IO (IOMode(WriteMode), withFile)
 
 main :: IO ()
 main = do
@@ -28,3 +33,9 @@ main = do
   let (script, budget, log) = either (error . T.unpack) id $ evalWithArgsT validatorLogic [config]
   putStrLn $ "Script budget: " <> show budget
   putStrLn $ "Compilation log: " <> show log
+  writeShortByteStringToFile scriptPath $ serialiseScript script
+
+writeShortByteStringToFile :: FilePath -> ShortByteString -> IO ()
+writeShortByteStringToFile filePath shortByteString =
+  withFile filePath WriteMode $ \handle ->
+    hPutBuilder handle (byteStringHex (SBS.fromShort shortByteString))

tornadano.cabal

@@ -112,6 +112,7 @@ executable dump-script
     , plutus-ledger-api
     , text
     , tornadano
+    , plutarch
 
 -- LANGUAGE extensions used by modules in this package.
 -- other-extensions: