Safe Haskell	None
Language	Haskell2010

Plutus.V1.Ledger.DCert

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 retiremant certificate and the Epoch N
DCertGenesis	A really terse Digest
DCertMir	Another really terse Digest

Instances

Instances details

Eq DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods (==) :: DCert -> DCert -> Bool Source # (/=) :: DCert -> DCert -> Bool Source #
Ord DCert Source #
Instance details Defined in Plutus.V1.Ledger.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 #
Show DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods showsPrec :: Int -> DCert -> ShowS Source # show :: DCert -> String Source # showList :: [DCert] -> ShowS Source #
Generic DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Associated Types type Rep DCert :: Type -> Type Source # Methods from :: DCert -> Rep DCert x Source # to :: Rep DCert x -> DCert Source #
NFData DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods rnf :: DCert -> () Source #
Pretty DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods pretty :: DCert -> Doc ann prettyList :: [DCert] -> Doc ann
FromData DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods fromBuiltinData :: BuiltinData -> Maybe DCert #
ToData DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods toBuiltinData :: DCert -> BuiltinData #
UnsafeFromData DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods unsafeFromBuiltinData :: BuiltinData -> DCert #
Eq DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods (==) :: DCert -> DCert -> Bool
Lift DefaultUni DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods lift :: DCert -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert Methods typeRep :: Proxy DCert -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep DCert Source #
Instance details Defined in Plutus.V1.Ledger.DCert type Rep DCert = D1 ('MetaData "DCert" "Plutus.V1.Ledger.DCert" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" '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))))