Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.DCert

Description

Digests of certificates that are included in transactions.

Synopsis

data DCert

Documentation

data DCert Source #

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

Constructors

DCertDelegRegKey StakingCredential
DCertDelegDeRegKey StakingCredential
DCertDelegDelegate
Fields StakingCredential delegator PubKeyHash delegatee
DCertPoolRegister	A digest of the PoolParams
Fields PubKeyHash poolId PubKeyHash pool VFR
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 #
Show DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods showsPrec ∷ Integer → DCert → ShowS Source # show ∷ DCert → BuiltinString 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.70.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)))