Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- headTokensFromValue :: PlutusScript -> Value -> [(AssetName, Quantity)]
- mkHydraHeadV1TxName :: Text -> TxMetadata
- addMetadata :: TxMetadata -> Tx -> AlonzoTx (ConwayEra StandardCrypto) -> AlonzoTx (ConwayEra StandardCrypto)
- hydraHeadV1AssetName :: AssetName
- onChainIdToAssetName :: OnChainId -> AssetName
- adaOnly :: TxOut CtxUTxO -> TxOut CtxUTxO
- hydraMetadataLabel :: Word64
- assetNameToOnChainId :: AssetName -> OnChainId
- findFirst :: Foldable t => (a -> Maybe b) -> t a -> Maybe b
- verificationKeyToOnChainId :: VerificationKey PaymentKey -> OnChainId
- splitUTxO :: UTxO -> (UTxO, UTxO)
- dummyValidatorScript :: SerialisedScript
Documentation
headTokensFromValue :: PlutusScript -> Value -> [(AssetName, Quantity)] Source #
mkHydraHeadV1TxName :: Text -> TxMetadata Source #
Create a transaction metadata entry to identify Hydra transactions (for informational purposes).
addMetadata :: TxMetadata -> Tx -> AlonzoTx (ConwayEra StandardCrypto) -> AlonzoTx (ConwayEra StandardCrypto) Source #
hydraHeadV1AssetName :: AssetName Source #
onChainIdToAssetName :: OnChainId -> AssetName Source #
hydraMetadataLabel :: Word64 Source #
The metadata label used for identifying Hydra protocol transactions. As suggested by a friendly large language model: The number most commonly associated with Hydra is 5, as in the mythological creature Hydra, which had multiple heads, and the number 5 often symbolizes multiplicity or diversity. However, there is no specific numerical association for Hydra smaller than 10000 beyond this mythological reference.
assetNameToOnChainId :: AssetName -> OnChainId Source #
findFirst :: Foldable t => (a -> Maybe b) -> t a -> Maybe b Source #
Find first occurrence including a transformation.
verificationKeyToOnChainId :: VerificationKey PaymentKey -> OnChainId Source #
Derive the OnChainId
from a Cardano PaymentKey
. The on-chain identifier
is the public key hash as it is also availble to plutus validators.
splitUTxO :: UTxO -> (UTxO, UTxO) Source #
Split a given UTxO into two, such that the second UTxO is non-empty. This is useful to pick a UTxO to decommit.
dummyValidatorScript :: SerialisedScript #