plutus-preprocessor-9.9.9.9: A preproceesor for creating plutus scripts as bytestrings and equivalents
Safe HaskellSafe-Inferred
LanguageHaskell98

Cardano.Ledger.Plutus.Preprocessor.Source.V2

Documentation

alwaysSucceedsNoDatumQ ∷ Q [Dec] Source #

alwaysSucceedsWithDatumQ ∷ Q [Dec] Source #

alwaysFailsNoDatumQ ∷ Q [Dec] Source #

alwaysFailsWithDatumQ ∷ Q [Dec] Source #

redeemerSameAsDatumQ ∷ Q [Dec] Source #

evenDatumQ ∷ Q [Dec] Source #

evenRedeemerNoDatumQ ∷ Q [Dec] Source #

evenRedeemerWithDatumQ ∷ Q [Dec] Source #

purposeIsWellformedNoDatumQ ∷ Q [Dec] Source #

purposeIsWellformedWithDatumQ ∷ Q [Dec] Source #

datumIsWellformedQ ∷ Q [Dec] Source #

inputsOutputsAreNotEmptyNoDatumQ ∷ Q [Dec] Source #

inputsOutputsAreNotEmptyWithDatumQ ∷ Q [Dec] Source #

inputsOverlapsWithRefInputsQ ∷ Q [Dec] Source #