| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ledger.Scripts
Synopsis
- module Plutus.V1.Ledger.Scripts
- module Plutus.Script.Utils.Scripts
- examplePlutusScriptAlwaysSucceeds :: WitCtx witctx -> PlutusScript PlutusScriptV1
- examplePlutusScriptAlwaysFails :: WitCtx witctx -> PlutusScript PlutusScriptV1
- examplePlutusScriptAlwaysSucceedsHash :: WitCtx ctx -> BuiltinByteString
- examplePlutusScriptAlwaysFailsHash :: WitCtx ctx -> BuiltinByteString
- data WitCtx witctx where
Documentation
module Plutus.V1.Ledger.Scripts
module Plutus.Script.Utils.Scripts
examplePlutusScriptAlwaysSucceeds :: WitCtx witctx -> PlutusScript PlutusScriptV1 Source #
An example Plutus script that always succeeds, irrespective of inputs.
For example, if one were to use this for a payment address then it would allow anyone to spend from it.
The exact script depends on the context in which it is to be used.
examplePlutusScriptAlwaysFails :: WitCtx witctx -> PlutusScript PlutusScriptV1 Source #
An example Plutus script that always fails, irrespective of inputs.
For example, if one were to use this for a payment address then it would be impossible for anyone to ever spend from it.
The exact script depends on the context in which it is to be used.
data WitCtx witctx where Source #
This GADT provides a value-level representation of all the witness contexts. This enables pattern matching on the context to allow them to be treated in a non-uniform way.
Constructors
| WitCtxTxIn :: WitCtx WitCtxTxIn | |
| WitCtxMint :: WitCtx WitCtxMint | |
| WitCtxStake :: WitCtx WitCtxStake |