compile script

app/Main.hs

@@ -1,5 +1,30 @@
+{-# LANGUAGE RecordWildCards #-}
+
 module Main where
 
+import Control.Exception (throw)
+import Data.String (IsString (fromString))
+import qualified Data.Text as T
+import Ext.Plutarch.Extra.Run (evalWithArgsT)
+import Mixer.Datum.Plutus (MixerConfig (..))
+import Mixer.Script (validatorLogic)
+import Options (MixerOpts (..), mixerOpts)
+import Options.Applicative (execParser)
+import PlutusLedgerApi.V1.Bytes (LedgerBytes (..), fromHex)
+import PlutusLedgerApi.V1.Value (CurrencySymbol (CurrencySymbol), TokenName, assetClass)
+import PlutusLedgerApi.V2 (toData)
+
 main :: IO ()
 main = do
-  putStrLn "Hello, Haskell!"
+  MixerOpts {..} <- execParser mixerOpts
+  let ledgerTokenName :: TokenName = fromString tokenName
+  ledgerCurrSymbol :: CurrencySymbol <- either throw (pure . CurrencySymbol . getLedgerBytes) $ fromHex currencySymbol
+  let config =
+        toData
+          MixerConfig
+            { protocolToken = assetClass ledgerCurrSymbol ledgerTokenName
+            , poolNominal = poolNominal
+            }
+  let (script, budget, log) = either (error . T.unpack) id $ evalWithArgsT validatorLogic [config]
+  putStrLn $ "Script budget: " <> show budget
+  putStrLn $ "Compilation log: " <> show log

app/Options.hs

@@ -2,10 +2,11 @@
 
 module Options where
 
+import Data.ByteString (ByteString)
 import Options.Applicative
 
 data MixerOpts = MixerOpts
-  { currencySymbol :: String
+  { currencySymbol :: ByteString
   , tokenName :: String
   , poolNominal :: Integer
   , scriptPath :: FilePath

src/Mixer/Datum/Plutus.hs

@@ -0,0 +1,19 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module Mixer.Datum.Plutus where
+
+import GHC.Generics (Generic)
+import PlutusLedgerApi.V1.Value (AssetClass)
+import qualified PlutusTx
+
+data MixerConfig = MixerConfig
+  { protocolToken :: AssetClass
+  , poolNominal :: Integer
+  }
+  deriving stock (Generic, Show, Eq)
+
+PlutusTx.makeLift ''MixerConfig
+
+PlutusTx.makeIsDataIndexed
+  ''MixerConfig
+  [('MixerConfig, 0)]

tornadano.cabal

@@ -76,16 +76,20 @@ library
     Ext.Plutarch.Api.V2.Value
     Ext.Plutarch.Extra.Run
     Mixer.Datum
+    Mixer.Datum.Plutus
     Mixer.Script
 
   hs-source-dirs:  src
   build-depends:
+    , aeson
     , bytestring
     , data-default
     , lens
     , plutarch
     , plutarch-extra
     , plutus-core
+    , plutus-ledger-api
+    , plutus-tx
     , text
 
 -- Modules included in this library but not exported.
@@ -103,7 +107,10 @@ executable dump-script
   hs-source-dirs: app
   ghc-options:    -threaded -rtsopts -with-rtsopts=-N
   build-depends:
+    , bytestring
     , optparse-applicative
+    , plutus-ledger-api
+    , text
     , tornadano
 
 -- LANGUAGE extensions used by modules in this package.