cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.Delegation.Certificates

Synopsis

Documentation

data DCert crypto Source #

A heavyweight certificate.

Constructors

DCertDeleg !( DelegCert crypto)
DCertPool !( PoolCert crypto)
DCertGenesis !( GenesisDelegCert crypto)
DCertMir !( MIRCert crypto)

Instances

Instances details
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

getField :: TxBody era -> StrictSeq ( DCert crypto) Source #

Eq ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

Show ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

show :: DCert crypto -> String Source #

showList :: [ DCert crypto] -> ShowS Source #

Generic ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( DCert crypto) :: Type -> Type Source #

Methods

from :: DCert crypto -> Rep ( DCert crypto) x Source #

to :: Rep ( DCert crypto) x -> DCert crypto Source #

NFData ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: DCert crypto -> () Source #

Crypto crypto => ToCBOR ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR :: DCert crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( DCert crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ DCert crypto] -> Size Source #

Crypto crypto => FromCBOR ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

fromCBOR :: Decoder s ( DCert crypto) Source #

label :: Proxy ( DCert crypto) -> Text Source #

NoThunks ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> DCert crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> DCert crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( DCert crypto) -> String Source #

type Rep ( DCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( DCert crypto) = D1 (' MetaData "DCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) (( C1 (' MetaCons "DCertDeleg" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( DelegCert crypto))) :+: C1 (' MetaCons "DCertPool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PoolCert crypto)))) :+: ( C1 (' MetaCons "DCertGenesis" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( GenesisDelegCert crypto))) :+: C1 (' MetaCons "DCertMir" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( MIRCert crypto)))))

data DelegCert crypto Source #

Constructors

RegKey !( StakeCredential crypto)

A stake key registration certificate.

DeRegKey !( StakeCredential crypto)

A stake key deregistration certificate.

Delegate !( Delegation crypto)

A stake delegation certificate.

Instances

Instances details
Eq ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: DelegCert crypto -> DelegCert crypto -> Bool Source #

(/=) :: DelegCert crypto -> DelegCert crypto -> Bool Source #

Show ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec :: Int -> DelegCert crypto -> ShowS Source #

show :: DelegCert crypto -> String Source #

showList :: [ DelegCert crypto] -> ShowS Source #

Generic ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( DelegCert crypto) :: Type -> Type Source #

Methods

from :: DelegCert crypto -> Rep ( DelegCert crypto) x Source #

to :: Rep ( DelegCert crypto) x -> DelegCert crypto Source #

NFData ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: DelegCert crypto -> () Source #

NoThunks ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> DelegCert crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> DelegCert crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( DelegCert crypto) -> String Source #

type Rep ( DelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( DelegCert crypto) = D1 (' MetaData "DelegCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "RegKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto))) :+: ( C1 (' MetaCons "DeRegKey" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto))) :+: C1 (' MetaCons "Delegate" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Delegation crypto)))))

data PoolCert crypto Source #

Constructors

RegPool !( PoolParams crypto)

A stake pool registration certificate.

RetirePool !( KeyHash ' StakePool crypto) ! EpochNo

A stake pool retirement certificate.

Instances

Instances details
Eq ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: PoolCert crypto -> PoolCert crypto -> Bool Source #

(/=) :: PoolCert crypto -> PoolCert crypto -> Bool Source #

Show ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec :: Int -> PoolCert crypto -> ShowS Source #

show :: PoolCert crypto -> String Source #

showList :: [ PoolCert crypto] -> ShowS Source #

Generic ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( PoolCert crypto) :: Type -> Type Source #

Methods

from :: PoolCert crypto -> Rep ( PoolCert crypto) x Source #

to :: Rep ( PoolCert crypto) x -> PoolCert crypto Source #

NFData ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: PoolCert crypto -> () Source #

NoThunks ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> PoolCert crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> PoolCert crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( PoolCert crypto) -> String Source #

type Rep ( PoolCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( PoolCert crypto) = D1 (' MetaData "PoolCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "RegPool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PoolParams crypto))) :+: C1 (' MetaCons "RetirePool" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' StakePool crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EpochNo )))

data GenesisDelegCert crypto Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !( KeyHash ' Genesis crypto) !( KeyHash ' GenesisDelegate crypto) !( Hash crypto ( VerKeyVRF crypto))

Instances

Instances details
Eq ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: GenesisDelegCert crypto -> GenesisDelegCert crypto -> Bool Source #

(/=) :: GenesisDelegCert crypto -> GenesisDelegCert crypto -> Bool Source #

Show ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec :: Int -> GenesisDelegCert crypto -> ShowS Source #

show :: GenesisDelegCert crypto -> String Source #

showList :: [ GenesisDelegCert crypto] -> ShowS Source #

Generic ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( GenesisDelegCert crypto) :: Type -> Type Source #

Methods

from :: GenesisDelegCert crypto -> Rep ( GenesisDelegCert crypto) x Source #

to :: Rep ( GenesisDelegCert crypto) x -> GenesisDelegCert crypto Source #

NFData ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: GenesisDelegCert crypto -> () Source #

NoThunks ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> GenesisDelegCert crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> GenesisDelegCert crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( GenesisDelegCert crypto) -> String Source #

type Rep ( GenesisDelegCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( GenesisDelegCert crypto) = D1 (' MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "GenesisDelegCert" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' Genesis crypto)) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' GenesisDelegate crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash crypto ( VerKeyVRF crypto))))))

data MIRCert crypto Source #

Move instantaneous rewards certificate

Constructors

MIRCert

Fields

Instances

Instances details
Eq ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: MIRCert crypto -> MIRCert crypto -> Bool Source #

(/=) :: MIRCert crypto -> MIRCert crypto -> Bool Source #

Show ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec :: Int -> MIRCert crypto -> ShowS Source #

show :: MIRCert crypto -> String Source #

showList :: [ MIRCert crypto] -> ShowS Source #

Generic ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( MIRCert crypto) :: Type -> Type Source #

Methods

from :: MIRCert crypto -> Rep ( MIRCert crypto) x Source #

to :: Rep ( MIRCert crypto) x -> MIRCert crypto Source #

NFData ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: MIRCert crypto -> () Source #

Crypto crypto => ToCBOR ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR :: MIRCert crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( MIRCert crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ MIRCert crypto] -> Size Source #

Crypto crypto => FromCBOR ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

fromCBOR :: Decoder s ( MIRCert crypto) Source #

label :: Proxy ( MIRCert crypto) -> Text Source #

NoThunks ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> MIRCert crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> MIRCert crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( MIRCert crypto) -> String Source #

type Rep ( MIRCert crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( MIRCert crypto) = D1 (' MetaData "MIRCert" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "MIRCert" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "mirPot") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 MIRPot ) :*: S1 (' MetaSel (' Just "mirRewards") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MIRTarget crypto))))

newtype StakeCreds crypto Source #

Constructors

StakeCreds

Fields

Instances

Instances details
Eq ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) :: StakeCreds crypto -> StakeCreds crypto -> Bool Source #

(/=) :: StakeCreds crypto -> StakeCreds crypto -> Bool Source #

Show ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec :: Int -> StakeCreds crypto -> ShowS Source #

show :: StakeCreds crypto -> String Source #

showList :: [ StakeCreds crypto] -> ShowS Source #

Generic ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep ( StakeCreds crypto) :: Type -> Type Source #

Methods

from :: StakeCreds crypto -> Rep ( StakeCreds crypto) x Source #

to :: Rep ( StakeCreds crypto) x -> StakeCreds crypto Source #

NFData ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf :: StakeCreds crypto -> () Source #

Crypto crypto => ToJSON ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toJSON :: StakeCreds crypto -> Value Source #

toEncoding :: StakeCreds crypto -> Encoding Source #

toJSONList :: [ StakeCreds crypto] -> Value Source #

toEncodingList :: [ StakeCreds crypto] -> Encoding Source #

Crypto crypto => FromJSON ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

parseJSON :: Value -> Parser ( StakeCreds crypto) Source #

parseJSONList :: Value -> Parser [ StakeCreds crypto] Source #

Crypto crypto => ToCBOR ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR :: StakeCreds crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( StakeCreds crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ StakeCreds crypto] -> Size Source #

Crypto crypto => FromCBOR ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

fromCBOR :: Decoder s ( StakeCreds crypto) Source #

label :: Proxy ( StakeCreds crypto) -> Text Source #

NoThunks ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks :: Context -> StakeCreds crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StakeCreds crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StakeCreds crypto) -> String Source #

HasExp ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toExp :: StakeCreds era -> Exp ( Map ( Credential ' Staking era) SlotNo ) Source #

Embed ( StakeCreds era) ( Map ( Credential ' Staking era) SlotNo ) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toBase :: StakeCreds era -> Map ( Credential ' Staking era) SlotNo Source #

fromBase :: Map ( Credential ' Staking era) SlotNo -> StakeCreds era Source #

type Rep ( StakeCreds crypto) Source #
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep ( StakeCreds crypto) = D1 (' MetaData "StakeCreds" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' True ) ( C1 (' MetaCons "StakeCreds" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unStakeCreds") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( Credential ' Staking crypto) SlotNo ))))

delegCWitness :: DelegCert crypto -> Credential ' Staking crypto Source #

Determine the certificate author

poolCWitness :: PoolCert crypto -> Credential ' StakePool crypto Source #

genesisCWitness :: GenesisDelegCert crypto -> KeyHash ' Genesis crypto Source #

isRegKey :: DCert crypto -> Bool Source #

Check for RegKey constructor

isDeRegKey :: DCert crypto -> Bool Source #

Check for DeRegKey constructor

isDelegation :: DCert crypto -> Bool Source #

Check for Delegation constructor

isGenesisDelegation :: DCert crypto -> Bool Source #

Check for GenesisDelegate constructor

isRegPool :: DCert crypto -> Bool Source #

Check for RegPool constructor

isRetirePool :: DCert crypto -> Bool Source #

Check for RetirePool constructor

isInstantaneousRewards :: DCert crypto -> Bool Source #

isReservesMIRCert :: DCert crypto -> Bool Source #

isTreasuryMIRCert :: DCert crypto -> Bool Source #

requiresVKeyWitness :: DCert crypto -> Bool Source #

Returns True for delegation certificates that require at least one witness, and False otherwise. It is mainly used to ensure that calling a variant of cwitness is safe.