plutus-ledger-api-1.60.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V1.Data.DCert

Description

Digests of certificates that are included in transactions.

Synopsis

Documentation

data DCert #

A representation of the ledger DCert. Some information is digested, and not included

Instances

Instances details
RepIsStuckError DCert :: Type -> Type) (Rep DCert)))

pattern DCertGenesis :: DCert #

pattern DCertMir :: DCert #

matchDCert :: forall r. DCert -> (StakingCredential -> r) -> (StakingCredential -> r) -> (StakingCredential -> PubKeyHash -> r) -> (PubKeyHash -> PubKeyHash -> r) -> (PubKeyHash -> Integer -> r) -> r -> r -> r #