Merge pull request #1 from mlabs-haskell/dshuiski/auction-metadata-validator

Implement auction metadata validator

Author: errfrom

.gitattributes

@@ -0,0 +1,2 @@
+flake.lock linguist-generated=true
+compiled/* linguist-generated=true

Makefile

@@ -1,4 +1,4 @@
-.PHONY: build, repl, format
+.PHONY: build, repl, format, hoogle, all_scripts, auction_metadata_validator, standing_bid_validator
 
 hs-sources := $(shell fd --no-ignore-parent -ehs)
 cabal-sources := $(shell fd --no-ignore-parent -ecabal)
@@ -7,7 +7,19 @@ build:
 	cabal v2-build all
 
 repl:
-	cabal v2-repl hydra-auction-onchain 
+	cabal v2-repl hydra-auction-onchain --ghc-options '-Wno-missing-import-lists'
 
 format:
 	fourmolu -m inplace ${hs-sources} && cabal-fmt -i ${cabal-sources} && nix run '.#nixFormat'
+
+hoogle:
+	hoogle server --local --port=8070 > /dev/null &
+
+all_scripts:
+	cabal v2-run hydra-auction-onchain-exe -- --script all
+
+auction_metadata_validator:
+	cabal v2-run hydra-auction-onchain-exe -- --script metadata
+
+standing_bid_validator:
+	cabal v2-run hydra-auction-onchain-exe -- --script standing_bid

app/Main.hs

@@ -1,4 +1,66 @@
 module Main (main) where
 
+import HydraAuctionOnchain.Scripts
+  ( auctionMetadataValidatorUntyped
+  , standingBidValidatorUntyped
+  , writeScript
+  )
+import Options.Applicative
+  ( Parser
+  , execParser
+  , fullDesc
+  , help
+  , helper
+  , info
+  , long
+  , maybeReader
+  , metavar
+  , option
+  )
+
 main :: IO ()
-main = return ()
+main =
+  execParser (info (helper <*> scriptToCompile) fullDesc) >>= \case
+    AllScripts -> do
+      writeAuctionMetadataValidator
+      writeStandingBidValidator
+    AuctionMetadataValidator ->
+      writeAuctionMetadataValidator
+    StandingBidValidator ->
+      writeStandingBidValidator
+
+writeAuctionMetadataValidator :: IO ()
+writeAuctionMetadataValidator =
+  writeScript
+    "Auction metadata validator"
+    "compiled/auction_metadata_validator.plutus"
+    auctionMetadataValidatorUntyped
+
+writeStandingBidValidator :: IO ()
+writeStandingBidValidator =
+  writeScript
+    "Standing bid validator"
+    "compiled/standing_bid_validator.plutus"
+    standingBidValidatorUntyped
+
+data ScriptToCompile
+  = AllScripts
+  | AuctionMetadataValidator
+  | StandingBidValidator
+  deriving stock (Show, Eq)
+
+toScript :: String -> Maybe ScriptToCompile
+toScript = \case
+  "all" -> Just AllScripts
+  "metadata" -> Just AuctionMetadataValidator
+  "standing_bid" -> Just StandingBidValidator
+  _ -> Nothing
+
+scriptToCompile :: Parser ScriptToCompile
+scriptToCompile =
+  option
+    (maybeReader toScript)
+    ( long "script"
+        <> metavar "SCRIPT"
+        <> help "Name of the Plutarch script to compile"
+    )