| Copyright | (c) 2023 GYELD GMBH |
|---|---|
| License | Apache 2.0 |
| Maintainer | [email protected] |
| Stability | develop |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
GeniusYield.Examples.Limbo
Description
Synopsis
- limboValidatorV1 ∷ GYValidator 'PlutusV1
- limboValidatorV2 ∷ GYValidator 'PlutusV2
- getRefInfos ∷ GYTxQueryMonad m ⇒ m (Map (Some GYScript) GYTxOutRef)
- addRefScript ∷ GYTxMonad m ⇒ GYScript 'PlutusV2 → m (Either GYTxOutRef (GYTxSkeleton v))
- addRefScript' ∷ GYTxMonad m ⇒ GYScript 'PlutusV2 → m (GYTxSkeleton v)
- findRefScriptsInBody ∷ GYTxBody → Map (Some GYScript) GYTxOutRef
Scripts
API
getRefInfos ∷ GYTxQueryMonad m ⇒ m (Map (Some GYScript) GYTxOutRef) #
Find reference scripts at limboValidatorV2 address.
addRefScript ∷ GYTxMonad m ⇒ GYScript 'PlutusV2 → m (Either GYTxOutRef (GYTxSkeleton v)) #
Create UTxO with a reference script.
This is optimized version. First it checks whether there is an UTxO already with a script. Only if there aren't the new transaction skeleton is constructed.
addRefScript' ∷ GYTxMonad m ⇒ GYScript 'PlutusV2 → m (GYTxSkeleton v) #
Create UTxO with a reference script.
findRefScriptsInBody ∷ GYTxBody → Map (Some GYScript) GYTxOutRef #
Find reference scripts in transaction body.