plutus-ledger-api-1.39.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 Source #

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

Instances

Instances details
Generic DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Associated Types

type Rep DCertTypeType Source #

Methods

fromDCertRep DCert x Source #

toRep DCert x → DCert Source #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

NFData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

rnfDCert → () Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

(==)DCertDCertBool Source #

(/=)DCertDCertBool Source #

Ord DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

compareDCertDCertOrdering Source #

(<)DCertDCertBool Source #

(<=)DCertDCertBool Source #

(>)DCertDCertBool Source #

(>=)DCertDCertBool Source #

maxDCertDCertDCert Source #

minDCertDCertDCert Source #

HasBlueprintDefinition DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Associated Types

type Unroll DCert ∷ [Type] Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

(==)DCertDCertBool Source #

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

prettyDCertDoc ann Source #

prettyList ∷ [DCert] → Doc ann Source #

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

type Rep DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

type Rep DCert = D1 ('MetaData "DCert" "PlutusLedgerApi.V1.Data.DCert" "plutus-ledger-api-1.39.0.0-inplace" 'True) (C1 ('MetaCons "DCert_6989586621679846065" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

pattern DCertMirDCert Source #