| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TrustlessSidechain.AlwaysPassingScripts
Contents
Description
This module provides Plutus scripts (validator and minting policy) that always succeed. These scripts are useful for integration testing in mock chains, where validation success needs to be ensured regardless of inputs.
Synopsis
- mkAlwaysPassingValidator :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinData -> Bool
- mkAlwaysPassingValidatorUntyped :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
- serialisableAlwaysPassingValidator :: SerialisedScript
- mkAlwaysPassingPolicy :: BuiltinData -> BuiltinData -> BuiltinData -> Bool
- mkAlwaysPassingPolicyUntyped :: BuiltinData -> BuiltinData -> BuiltinData -> BuiltinUnit
- serialisableAlwaysPassingPolicy :: SerialisedScript
Validator
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Datum (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> Bool | Always returns True |
A typed validator function that always passes.
All arguments are ignored. The function always returns True.
mkAlwaysPassingValidatorUntyped #
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Datum (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> BuiltinUnit | Always succeeds |
An untyped version of mkAlwaysPassingValidator conforming to the Plutus script interface.
Wraps the result in check, which succeeds when the result is True.
serialisableAlwaysPassingValidator :: SerialisedScript #
A serialised version of the always-passing validator script.
Minting Policy
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> Bool | Always returns True |
A typed minting policy that always allows minting.
All arguments are ignored. The policy always returns True.
mkAlwaysPassingPolicyUntyped #
Arguments
| :: BuiltinData | Arbitrary seed/parameter (ignored) |
| -> BuiltinData | Redeemer (ignored) |
| -> BuiltinData | Script context (ignored) |
| -> BuiltinUnit | Always succeeds |
An untyped version of mkAlwaysPassingPolicy, suitable for Plutus compilation.
Wraps the result in check, which passes when the result is True.
serialisableAlwaysPassingPolicy :: SerialisedScript #
A serialised version of the always-passing minting policy.