| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Plutus.Examples
Description
This file is generated by "plutus-preprocessor:plutus-preprocessor"
Synopsis
- alwaysSucceedsNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- alwaysSucceedsWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- alwaysFailsNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- alwaysFailsWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- redeemerSameAsDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- evenDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- evenRedeemerNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- evenRedeemerWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- purposeIsWellformedNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- purposeIsWellformedWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- datumIsWellformed ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- inputsOutputsAreNotEmptyNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- inputsOutputsAreNotEmptyWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
- inputsOverlapsWithRefInputs ∷ ∀ (l ∷ Language). SLanguage l → Plutus l
Documentation
alwaysSucceedsNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that always succeeds, unless arguments are malformed or context contains a datum
alwaysSucceedsWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that always succeeds, unless arguments are malformed or context does not contain a datum
alwaysFailsNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that always fails, unless arguments are malformed or context contains a datum
alwaysFailsWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that always fails, unless arguments are malformed or context does not contain a datum
redeemerSameAsDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds whenever redeemer equals to the datum Fails on malformed arguments
evenDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds whenever Integer datum is supplied and it's value is even. Fails on malformed arguments
evenRedeemerNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds whenever Integer redeemer is supplied and it's value is even Fails on malformed arguments or whenever datum is present in the context
evenRedeemerWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds whenever Integer redeemer is supplied and it's value is even Fails on malformed arguments or whenever datum is missing from the context
purposeIsWellformedNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds when datum is not expected and purpose arguments are validated against txInfo Fails on malformed arguments
purposeIsWellformedWithDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds when datum is expected and purpose arguments are validated against txInfo Fails on malformed arguments
datumIsWellformed ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds when datum is expected and datum is validated against txInfo Fails on malformed arguments
inputsOutputsAreNotEmptyNoDatum ∷ ∀ (l ∷ Language). SLanguage l → Plutus l Source #
Script that succeeds when inputs and outputs are not empty validated against txInfo Fails on malformed arguments and also if inputs or outputs are empty