plutus-ledger-api-1.40.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 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.Data.DCert

Methods

showsPrec :: Int -> DCert -> ShowS Source #

show :: DCert -> String Source #

showList :: [DCert] -> ShowS Source #

NFData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

rnf :: DCert -> () Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

(==) :: DCert -> DCert -> Bool Source #

(/=) :: DCert -> DCert -> Bool Source #

Ord DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.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.Data.DCert

Associated Types

type Unroll DCert :: [Type]

Methods

definitionId :: DefinitionId

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

(==) :: DCert -> DCert -> Bool

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

fromBuiltinData :: BuiltinData -> Maybe DCert #

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

toBuiltinData :: DCert -> BuiltinData #

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

unsafeFromBuiltinData :: BuiltinData -> DCert #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

showsPrec :: Integer -> DCert -> ShowS

show :: DCert -> BuiltinString

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

pretty :: DCert -> Doc ann

prettyList :: [DCert] -> Doc ann

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

lift :: DCert -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

typeRep :: Proxy DCert -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

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.40.0.0-EwL3g0rD7enBEzHV6wRFG7" 'True) (C1 ('MetaCons "DCert_6989586621679837688" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

type Unroll DCert = Insert DCert (GUnroll (IfStuckRep (RepIsStuckError DCert :: Type -> Type) (Rep DCert)))

pattern DCertDelegRegKey :: StakingCredential -> DCert Source #

pattern DCertDelegDeRegKey :: StakingCredential -> DCert Source #

pattern DCertDelegDelegate :: StakingCredential -> PubKeyHash -> DCert Source #

pattern DCertPoolRegister :: PubKeyHash -> PubKeyHash -> DCert Source #

pattern DCertPoolRetire :: PubKeyHash -> Integer -> DCert Source #

pattern DCertGenesis :: DCert Source #

pattern DCertMir :: DCert Source #