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

PlutusLedgerApi.V1.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

Constructors

DCertDelegRegKey StakingCredential 
DCertDelegDeRegKey StakingCredential 
DCertDelegDelegate 

Fields

DCertPoolRegister

A digest of the PoolParams

Fields

DCertPoolRetire PubKeyHash Integer

The retirement certificate and the Epoch in which the retirement will take place

DCertGenesis

A really terse Digest

DCertMir

Another really terse Digest

Instances

Instances details
Generic DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Rep DCert ∷ Type → Type Source #

Methods

from ∷ DCert → Rep DCert x Source #

to ∷ Rep DCert x → DCert Source #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

showsPrec ∷ Int → DCert → ShowS Source #

show ∷ DCert → String Source #

showList ∷ [DCert] → ShowS Source #

NFData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

rnf ∷ DCert → () Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

(==) ∷ DCert → DCert → Bool Source #

(/=) ∷ DCert → DCert → Bool Source #

Ord DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

compare ∷ DCert → DCert → Ordering Source #

(<) ∷ DCert → DCert → Bool Source #

(<=) ∷ DCert → DCert → Bool Source #

(>) ∷ DCert → DCert → Bool Source #

(>=) ∷ DCert → DCert → Bool Source #

max ∷ DCert → DCert → DCert Source #

min ∷ DCert → DCert → DCert Source #

HasBlueprintDefinition DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Unroll DCert ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

(==) ∷ DCert → DCert → Bool Source #

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

fromBuiltinData ∷ BuiltinData → Maybe DCert Source #

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

toBuiltinData ∷ DCert → BuiltinData Source #

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

unsafeFromBuiltinData ∷ BuiltinData → DCert Source #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

pretty ∷ DCert → Doc ann Source #

prettyList ∷ [DCert] → Doc ann Source #

(HasSchemaDefinition StakingCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema DCert referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

lift ∷ DCert → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

typeRep ∷ Proxy DCert → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

type Rep DCert = D1 ('MetaData "DCert" "PlutusLedgerApi.V1.DCert" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((C1 ('MetaCons "DCertDelegRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: (C1 ('MetaCons "DCertDelegDeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "DCertDelegDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))) :+: ((C1 ('MetaCons "DCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "DCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (U1 ∷ Type → Type))))
type Unroll DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

type Unroll DCert = Insert DCert (GUnroll (IfStuckRep (RepIsStuckError DCert ∷ Type → Type) (Rep DCert)))