Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
Language	GHC2021

GeniusYield.Types.TxCert.Internal

Description

Synopsis

data GYTxCert (v :: PlutusVersion) = GYTxCert {
- gyTxCertCertificate :: !GYCertificatePreBuild
- gyTxCertWitness :: !(Maybe (GYTxBuildWitness v))
}
data GYTxCert' (v :: PlutusVersion) = GYTxCert' {
- gyTxCertCertificate' :: !GYCertificate
- gyTxCertWitness' :: !(Maybe (GYTxBuildWitness v))
}
finaliseTxCert :: forall (v :: PlutusVersion). ApiProtocolParameters -> GYTxCert v -> GYTxCert' v
type GYTxCertWitness (v :: PlutusVersion) = GYTxBuildWitness v
pattern GYTxCertWitnessKey :: GYTxCertWitness v
pattern GYTxCertWitnessScript :: GYBuildPlutusScript v -> GYRedeemer -> GYTxCertWitness v
txCertToApi :: forall (v :: PlutusVersion). GYTxCert' v -> (Certificate ApiEra, Maybe (StakeCredential, Witness WitCtxStake ApiEra))

Documentation

data GYTxCert (v :: PlutusVersion) #

A transaction certificate.

The parameter v indicates the minimum version of scripts allowed to witness certificates in the transaction.

Note that witness is not required for registering a stake address and for moving instantaneous rewards. Thus, we provide helper utilities to interact with GYTxCert sanely and thus keep it's representation opaque.

Constructors

GYTxCert
Fields gyTxCertCertificate :: !GYCertificatePreBuild gyTxCertWitness :: !(Maybe (GYTxBuildWitness v))

Instances

Instances details

Show (GYTxCert v) #
Instance details Defined in GeniusYield.Types.TxCert.Internal Methods showsPrec :: Int -> GYTxCert v -> ShowS # show :: GYTxCert v -> String # showList :: [GYTxCert v] -> ShowS #
Eq (GYTxCert v) #
Instance details Defined in GeniusYield.Types.TxCert.Internal Methods (==) :: GYTxCert v -> GYTxCert v -> Bool # (/=) :: GYTxCert v -> GYTxCert v -> Bool #

data GYTxCert' (v :: PlutusVersion) #

Constructors

GYTxCert'
Fields gyTxCertCertificate' :: !GYCertificate gyTxCertWitness' :: !(Maybe (GYTxBuildWitness v))

Instances

Instances details

Show (GYTxCert' v) #
Instance details Defined in GeniusYield.Types.TxCert.Internal Methods showsPrec :: Int -> GYTxCert' v -> ShowS # show :: GYTxCert' v -> String # showList :: [GYTxCert' v] -> ShowS #
Eq (GYTxCert' v) #
Instance details Defined in GeniusYield.Types.TxCert.Internal Methods (==) :: GYTxCert' v -> GYTxCert' v -> Bool # (/=) :: GYTxCert' v -> GYTxCert' v -> Bool #

finaliseTxCert :: forall (v :: PlutusVersion). ApiProtocolParameters -> GYTxCert v -> GYTxCert' v #

type GYTxCertWitness (v :: PlutusVersion) = GYTxBuildWitness v #

pattern GYTxCertWitnessKey :: GYTxCertWitness v #

pattern GYTxCertWitnessScript :: GYBuildPlutusScript v -> GYRedeemer -> GYTxCertWitness v #

txCertToApi :: forall (v :: PlutusVersion). GYTxCert' v -> (Certificate ApiEra, Maybe (StakeCredential, Witness WitCtxStake ApiEra)) #