{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}

module Cardano.Ledger.Plutus.Preprocessor.Binary.V3 where

import Cardano.Ledger.Plutus.Language (PlutusBinary (..))
import Cardano.Ledger.Plutus.Preprocessor.Source.V3
import Language.Haskell.TH
import qualified PlutusLedgerApi.V3 as PV3
import qualified PlutusTx as P (compile)

-- ==========================================================================
-- Turn the Template Haskell Declarations into real haskell functions

$BuiltinData -> BuiltinUnit
alwaysSucceedsNoDatumQ
$BuiltinData -> BuiltinUnit
alwaysSucceedsWithDatumQ
$BuiltinData -> BuiltinUnit
alwaysFailsNoDatumQ
$BuiltinData -> BuiltinUnit
alwaysFailsWithDatumQ
$BuiltinData -> BuiltinUnit
redeemerSameAsDatumQ
$BuiltinData -> BuiltinUnit
evenDatumQ
$BuiltinData -> BuiltinUnit
evenRedeemerNoDatumQ
$BuiltinData -> BuiltinUnit
evenRedeemerWithDatumQ
$BuiltinData -> BuiltinUnit
purposeIsWellformedNoDatumQ
$BuiltinData -> BuiltinUnit
purposeIsWellformedWithDatumQ
$BuiltinData -> BuiltinUnit
datumIsWellformedQ
$BuiltinData -> BuiltinUnit
inputsOutputsAreNotEmptyNoDatumQ
$BuiltinData -> BuiltinUnit
inputsOutputsAreNotEmptyWithDatumQ

-- ================================================================
-- Compile and serialize the real functions as Plutus scripts.
-- Here is where we depend on plutus-plugin.

alwaysSucceedsNoDatumBytes :: (Q [Dec], PlutusBinary)
alwaysSucceedsNoDatumBytes :: (Q [Dec], PlutusBinary)
alwaysSucceedsNoDatumBytes =
  ( Q [Dec]
alwaysSucceedsNoDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||alwaysSucceedsNoDatum||])
  )

alwaysSucceedsWithDatumBytes :: (Q [Dec], PlutusBinary)
alwaysSucceedsWithDatumBytes :: (Q [Dec], PlutusBinary)
alwaysSucceedsWithDatumBytes =
  ( Q [Dec]
alwaysSucceedsWithDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||alwaysSucceedsWithDatum||])
  )

alwaysFailsNoDatumBytes :: (Q [Dec], PlutusBinary)
alwaysFailsNoDatumBytes :: (Q [Dec], PlutusBinary)
alwaysFailsNoDatumBytes =
  ( Q [Dec]
alwaysFailsNoDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||alwaysFailsNoDatum||])
  )

alwaysFailsWithDatumBytes :: (Q [Dec], PlutusBinary)
alwaysFailsWithDatumBytes :: (Q [Dec], PlutusBinary)
alwaysFailsWithDatumBytes =
  ( Q [Dec]
alwaysFailsWithDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||alwaysFailsWithDatum||])
  )

redeemerSameAsDatumBytes :: (Q [Dec], PlutusBinary)
redeemerSameAsDatumBytes :: (Q [Dec], PlutusBinary)
redeemerSameAsDatumBytes =
  ( Q [Dec]
redeemerSameAsDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||redeemerSameAsDatum||])
  )

evenDatumBytes :: (Q [Dec], PlutusBinary)
evenDatumBytes :: (Q [Dec], PlutusBinary)
evenDatumBytes =
  ( Q [Dec]
evenDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||evenDatum||])
  )

evenRedeemerNoDatumBytes :: (Q [Dec], PlutusBinary)
evenRedeemerNoDatumBytes :: (Q [Dec], PlutusBinary)
evenRedeemerNoDatumBytes =
  ( Q [Dec]
evenRedeemerNoDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||evenRedeemerNoDatum||])
  )

evenRedeemerWithDatumBytes :: (Q [Dec], PlutusBinary)
evenRedeemerWithDatumBytes :: (Q [Dec], PlutusBinary)
evenRedeemerWithDatumBytes =
  ( Q [Dec]
evenRedeemerWithDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||evenRedeemerWithDatum||])
  )

purposeIsWellformedNoDatumBytes :: (Q [Dec], PlutusBinary)
purposeIsWellformedNoDatumBytes :: (Q [Dec], PlutusBinary)
purposeIsWellformedNoDatumBytes =
  ( Q [Dec]
purposeIsWellformedNoDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||purposeIsWellformedNoDatum||])
  )

purposeIsWellformedWithDatumBytes :: (Q [Dec], PlutusBinary)
purposeIsWellformedWithDatumBytes :: (Q [Dec], PlutusBinary)
purposeIsWellformedWithDatumBytes =
  ( Q [Dec]
purposeIsWellformedWithDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||purposeIsWellformedWithDatum||])
  )

datumIsWellformedBytes :: (Q [Dec], PlutusBinary)
datumIsWellformedBytes :: (Q [Dec], PlutusBinary)
datumIsWellformedBytes =
  ( Q [Dec]
datumIsWellformedQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||datumIsWellformed||])
  )

inputsOutputsAreNotEmptyNoDatumBytes :: (Q [Dec], PlutusBinary)
inputsOutputsAreNotEmptyNoDatumBytes :: (Q [Dec], PlutusBinary)
inputsOutputsAreNotEmptyNoDatumBytes =
  ( Q [Dec]
inputsOutputsAreNotEmptyNoDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||inputsOutputsAreNotEmptyNoDatum||])
  )

inputsOutputsAreNotEmptyWithDatumBytes :: (Q [Dec], PlutusBinary)
inputsOutputsAreNotEmptyWithDatumBytes :: (Q [Dec], PlutusBinary)
inputsOutputsAreNotEmptyWithDatumBytes =
  ( Q [Dec]
inputsOutputsAreNotEmptyWithDatumQ
  , ShortByteString -> PlutusBinary
PlutusBinary (ShortByteString -> PlutusBinary)
-> ShortByteString -> PlutusBinary
forall a b. (a -> b) -> a -> b
$ CompiledCode (BuiltinData -> BuiltinUnit) -> ShortByteString
forall a. CompiledCode a -> ShortByteString
PV3.serialiseCompiledCode $$(P.compile [||inputsOutputsAreNotEmptyWithDatum||])
  )