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

GeniusYield.Types.TxCert.Internal

Description

Synopsis

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

Documentation

data GYTxCert v #

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 #

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 ∷ ApiProtocolParameters → GYTxCert v → GYTxCert' v #

type GYTxCertWitness v = GYTxBuildWitness v #

pattern GYTxCertWitnessKey ∷ GYTxCertWitness v #

pattern GYTxCertWitnessScript ∷ GYBuildPlutusScript v → GYRedeemer → GYTxCertWitness v #

txCertToApi ∷ GYTxCert' v → (Certificate ApiEra, Maybe (StakeCredential, Witness WitCtxStake ApiEra)) #