| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TrustlessSidechain.AlwaysFailingScripts
Contents
Description
This module defines always-failing Plutus validator and minting policy scripts. These are useful for testing scenarios where script validation must fail deliberately.
Synopsis
- mkAlwaysFailingValidator :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinData -> Bool
- mkAlwaysFailingValidatorUntyped :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
- serialisableAlwaysFailingValidator :: SerialisedScript
- mkAlwaysFailingPolicy :: BuiltinData -> BuiltinData -> BuiltinData -> Bool
- mkAlwaysFailingPolicyUntyped :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
- serialisableAlwaysFailingPolicy :: SerialisedScript
Validator
Arguments
| :: BuiltinData | Arbitrary seed (ignored) |
| -> BuiltinData | Datum (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> Bool | Always returns false |
A typed validator function that always fails.
All arguments are ignored. The function always returns False. Intended for testing validation failure paths.
mkAlwaysFailingValidatorUntyped #
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Datum (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> BuiltinUnit | Always fails via |
An untyped version of mkAlwaysFailingValidator that conforms to the Plutus
script interface.
serialisableAlwaysFailingValidator :: SerialisedScript #
A compiled and serialised version of the always-failing validator script.
MintingPolicy
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> Bool | Always returns False |
A typed minting policy function that always fails.
All arguments (a parameter, redeemer, and script context) are ignored.
Always returns False, causing the minting policy to fail.
Useful for testing failure conditions in minting transactions.
mkAlwaysFailingPolicyUntyped #
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> BuiltinUnit | Always fails via |
An untyped version of mkAlwaysFailingPolicy, suitable for Plutus script compilation.
serialisableAlwaysFailingPolicy :: SerialisedScript #
A compiled and serialised version of the always-failing minting policy.
Useful for producing minting policies in tests where validation is expected to fail.