atlas-cardano-0.5.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Types.TxCert

Description

 
Synopsis

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.

Instances

Instances details
Show (GYTxCert v) # 
Instance details

Defined in GeniusYield.Types.TxCert.Internal

Methods

showsPrecIntGYTxCert v → ShowS #

showGYTxCert 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 GYTxCertWitness v #

Represents witness type and associated information for a certificate.

Constructors

GYTxCertWitnessKey

Key witness.

GYTxCertWitnessScript !(GYStakeValScript v) !GYRedeemer

Script witness with associated script and redeemer.

Instances

Instances details
Show (GYTxCertWitness v) # 
Instance details

Defined in GeniusYield.Types.TxCert.Internal

Eq (GYTxCertWitness v) # 
Instance details

Defined in GeniusYield.Types.TxCert.Internal

mkStakeAddressDeregistrationCertificateGYStakeCredentialGYTxCertWitness v → GYTxCert v #

Note that deregistration certificate requires following preconditions:

  1. The stake address must be registered.
  2. The corresponding rewards balance is zero.