Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Contract.Commit

Description

Datum and redeemer types, as well as helper functions for the commit validator implemented in aiken.

Synopsis

data Commit = Commit {
- input :: TxOutRef
- preSerializedOutput :: BuiltinByteString
}
serializeCommit :: (TxIn, TxOut CtxUTxO) -> Maybe Commit
deserializeCommit :: Network -> Commit -> Maybe (TxIn, TxOut CtxUTxO)
type DatumType = (Party, [Commit], CurrencySymbol)
data CommitRedeemer
- = ViaCollectCom
- | ViaAbort
type RedeemerType = CommitRedeemer
datum :: DatumType -> Datum
redeemer :: RedeemerType -> Redeemer

Documentation

data Commit Source #

A data type representing committed outputs on-chain. Besides recording the original TxOutRef, it also stores a binary representation compatible between on- and off-chain code to be hashed in the validators.

Constructors

Commit
Fields input :: TxOutRef preSerializedOutput :: BuiltinByteString

Instances

Instances details

Show Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods showsPrec :: Int -> Commit -> ShowS Source # show :: Commit -> String Source # showList :: [Commit] -> ShowS Source #
Eq Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods (==) :: Commit -> Commit -> Bool Source # (/=) :: Commit -> Commit -> Bool Source #
Ord Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods compare :: Commit -> Commit -> Ordering Source # (<) :: Commit -> Commit -> Bool Source # (<=) :: Commit -> Commit -> Bool Source # (>) :: Commit -> Commit -> Bool Source # (>=) :: Commit -> Commit -> Bool Source # max :: Commit -> Commit -> Commit Source # min :: Commit -> Commit -> Commit Source #
Eq Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods (==) :: Commit -> Commit -> Bool
FromData Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods fromBuiltinData :: BuiltinData -> Maybe Commit
ToData Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods toBuiltinData :: Commit -> BuiltinData
UnsafeFromData Commit Source #
Instance details Defined in Hydra.Contract.Commit Methods unsafeFromBuiltinData :: BuiltinData -> Commit

serializeCommit :: (TxIn, TxOut CtxUTxO) -> Maybe Commit Source #

Record an off-chain TxOut as a Commit on-chain. NOTE: Depends on the Serialise instance for Plutus' Data.

deserializeCommit :: Network -> Commit -> Maybe (TxIn, TxOut CtxUTxO) Source #

Decode an on-chain SerializedTxOut back into an off-chain TxOut. NOTE: Depends on the Serialise instance for Plutus' Data.

type DatumType = (Party, [Commit], CurrencySymbol) Source #

data CommitRedeemer Source #

Constructors

ViaCollectCom
ViaAbort

Instances

Instances details

FromData CommitRedeemer Source #
Instance details Defined in Hydra.Contract.Commit Methods fromBuiltinData :: BuiltinData -> Maybe CommitRedeemer
ToData CommitRedeemer Source #
Instance details Defined in Hydra.Contract.Commit Methods toBuiltinData :: CommitRedeemer -> BuiltinData
UnsafeFromData CommitRedeemer Source #
Instance details Defined in Hydra.Contract.Commit Methods unsafeFromBuiltinData :: BuiltinData -> CommitRedeemer

type RedeemerType = CommitRedeemer Source #

datum :: DatumType -> Datum Source #

redeemer :: RedeemerType -> Redeemer Source #