shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Delegation.Certificates

Synopsis

Documentation

data DCert era Source #

A heavyweight certificate.

Instances

Instances details
HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (DCert era) #

Eq (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)DCert era → DCert era → Bool #

(/=)DCert era → DCert era → Bool #

Show (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntDCert era → ShowS #

showDCert era → String #

showList ∷ [DCert era] → ShowS #

Generic (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (DCert era) ∷ TypeType #

Methods

fromDCert era → Rep (DCert era) x #

toRep (DCert era) x → DCert era #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORDCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DCert era] → Size Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (DCert era) Source #

labelProxy (DCert era) → Text Source #

NoThunks (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → DCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → DCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (DCert era) → String

type Rep (DCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (DCert era) = D1 ('MetaData "DCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "DCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DelegCert era))) :+: C1 ('MetaCons "DCertPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert era)))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert era))) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert era)))))

data DelegCert era Source #

Constructors

RegKey !(StakeCredential era)

A stake key registration certificate.

DeRegKey !(StakeCredential era)

A stake key deregistration certificate.

Delegate !(Delegation era)

A stake delegation certificate.

Instances

Instances details
Eq (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)DelegCert era → DelegCert era → Bool #

(/=)DelegCert era → DelegCert era → Bool #

Show (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntDelegCert era → ShowS #

showDelegCert era → String #

showList ∷ [DelegCert era] → ShowS #

Generic (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (DelegCert era) ∷ TypeType #

Methods

fromDelegCert era → Rep (DelegCert era) x #

toRep (DelegCert era) x → DelegCert era #

NoThunks (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (DelegCert era) → String

type Rep (DelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (DelegCert era) = D1 ('MetaData "DelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegKey" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: (C1 ('MetaCons "DeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: C1 ('MetaCons "Delegate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegation era)))))

data PoolCert era Source #

Constructors

RegPool !(PoolParams era)

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool (Crypto era)) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
Eq (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)PoolCert era → PoolCert era → Bool #

(/=)PoolCert era → PoolCert era → Bool #

Show (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntPoolCert era → ShowS #

showPoolCert era → String #

showList ∷ [PoolCert era] → ShowS #

Generic (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (PoolCert era) ∷ TypeType #

Methods

fromPoolCert era → Rep (PoolCert era) x #

toRep (PoolCert era) x → PoolCert era #

NoThunks (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (PoolCert era) → String

type Rep (PoolCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams era))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (Crypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

data GenesisDelegCert era Source #

Genesis key delegation certificate

Constructors

GenesisDelegCert !(KeyHash 'Genesis (Crypto era)) !(KeyHash 'GenesisDelegate (Crypto era)) !(Hash (Crypto era) (VerKeyVRF (Crypto era))) 

Instances

Instances details
Eq (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)GenesisDelegCert era → GenesisDelegCert era → Bool #

(/=)GenesisDelegCert era → GenesisDelegCert era → Bool #

Show (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Generic (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (GenesisDelegCert era) ∷ TypeType #

Methods

fromGenesisDelegCert era → Rep (GenesisDelegCert era) x #

toRep (GenesisDelegCert era) x → GenesisDelegCert era #

NoThunks (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (GenesisDelegCert era) → String

type Rep (GenesisDelegCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (GenesisDelegCert era) = D1 ('MetaData "GenesisDelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis (Crypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate (Crypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (Crypto era) (VerKeyVRF (Crypto era)))))))

data MIRCert era Source #

Move instantaneous rewards certificate

Constructors

MIRCert 

Instances

Instances details
Eq (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)MIRCert era → MIRCert era → Bool #

(/=)MIRCert era → MIRCert era → Bool #

Show (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntMIRCert era → ShowS #

showMIRCert era → String #

showList ∷ [MIRCert era] → ShowS #

Generic (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (MIRCert era) ∷ TypeType #

Methods

fromMIRCert era → Rep (MIRCert era) x #

toRep (MIRCert era) x → MIRCert era #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORMIRCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MIRCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MIRCert era] → Size Source #

(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (MIRCert era) Source #

labelProxy (MIRCert era) → Text Source #

NoThunks (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo)

showTypeOfProxy (MIRCert era) → String

type Rep (MIRCert era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (MIRCert era) = D1 ('MetaData "MIRCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) Coin))))

newtype StakeCreds era Source #

Constructors

StakeCreds 

Instances

Instances details
Eq (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)StakeCreds era → StakeCreds era → Bool #

(/=)StakeCreds era → StakeCreds era → Bool #

Show (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntStakeCreds era → ShowS #

showStakeCreds era → String #

showList ∷ [StakeCreds era] → ShowS #

Generic (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (StakeCreds era) ∷ TypeType #

Methods

fromStakeCreds era → Rep (StakeCreds era) x #

toRep (StakeCreds era) x → StakeCreds era #

NFData (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfStakeCreds era → () #

(Era era, ToCBOR (Script era)) ⇒ ToCBOR (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORStakeCreds era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StakeCreds era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StakeCreds era] → Size Source #

(Era era, Typeable (Script era)) ⇒ FromCBOR (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (StakeCreds era) Source #

labelProxy (StakeCreds era) → Text Source #

NoThunks (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo)

showTypeOfProxy (StakeCreds era) → String

Era era ⇒ FromJSON (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

parseJSON ∷ Value → Parser (StakeCreds era)

parseJSONList ∷ Value → Parser [StakeCreds era]

Era era ⇒ ToJSON (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toJSONStakeCreds era → Value

toEncodingStakeCreds era → Encoding

toJSONList ∷ [StakeCreds era] → Value

toEncodingList ∷ [StakeCreds era] → Encoding

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

Defined in Shelley.Spec.Ledger.TxBody

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

Defined in Shelley.Spec.Ledger.TxBody

Methods

toExpStakeCreds era → Exp (Map (Credential 'Staking era) SlotNo) Source #

type Rep (StakeCreds era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (StakeCreds era) = D1 ('MetaData "StakeCreds" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "StakeCreds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStakeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) SlotNo))))

newtype PoolDistr crypto Source #

Constructors

PoolDistr 

Fields

Instances

Instances details
Eq (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

(==)PoolDistr crypto → PoolDistr crypto → Bool #

(/=)PoolDistr crypto → PoolDistr crypto → Bool #

Show (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

showsPrecIntPoolDistr crypto → ShowS #

showPoolDistr crypto → String #

showList ∷ [PoolDistr crypto] → ShowS #

NFData (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

rnfPoolDistr crypto → () #

Crypto crypto ⇒ ToCBOR (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toCBORPoolDistr crypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PoolDistr crypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PoolDistr crypto] → Size Source #

Crypto crypto ⇒ FromCBOR (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

fromCBORDecoder s (PoolDistr crypto) Source #

labelProxy (PoolDistr crypto) → Text Source #

Relation (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Associated Types

type Domain (PoolDistr crypto) Source #

type Range (PoolDistr crypto) Source #

Methods

singletonDomain (PoolDistr crypto) → Range (PoolDistr crypto) → PoolDistr crypto Source #

domPoolDistr crypto → Set (Domain (PoolDistr crypto)) Source #

rangePoolDistr crypto → Set (Range (PoolDistr crypto)) Source #

(◁)Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source #

(<|)Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source #

(⋪)Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source #

(</|)Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source #

(▷)PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source #

(|>)PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source #

(⋫)PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source #

(|/>)PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source #

(∪)PoolDistr crypto → PoolDistr crypto → PoolDistr crypto Source #

(⨃)PoolDistr crypto → PoolDistr crypto → PoolDistr crypto Source #

sizeIntegral n ⇒ PoolDistr crypto → n Source #

haskeyDomain (PoolDistr crypto) → PoolDistr crypto → Bool Source #

addpairDomain (PoolDistr crypto) → Range (PoolDistr crypto) → PoolDistr crypto → PoolDistr crypto Source #

removekeyDomain (PoolDistr crypto) → PoolDistr crypto → PoolDistr crypto Source #

NoThunks (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

noThunks ∷ Context → PoolDistr crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → PoolDistr crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (PoolDistr crypto) → String

Embed (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toBasePoolDistr crypto → Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) Source #

fromBaseMap (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) → PoolDistr crypto Source #

HasExp (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toExpPoolDistr crypto → Exp (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #

type Range (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

type Range (PoolDistr crypto) = Range (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto))
type Domain (PoolDistr crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

type Domain (PoolDistr crypto) = Domain (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto))

data IndividualPoolStake crypto Source #

Constructors

IndividualPoolStake 

Instances

Instances details
Eq (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

(==)IndividualPoolStake crypto → IndividualPoolStake crypto → Bool #

(/=)IndividualPoolStake crypto → IndividualPoolStake crypto → Bool #

Show (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

showsPrecIntIndividualPoolStake crypto → ShowS #

showIndividualPoolStake crypto → String #

showList ∷ [IndividualPoolStake crypto] → ShowS #

Generic (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Associated Types

type Rep (IndividualPoolStake crypto) ∷ TypeType #

Methods

fromIndividualPoolStake crypto → Rep (IndividualPoolStake crypto) x #

toRep (IndividualPoolStake crypto) x → IndividualPoolStake crypto #

NFData (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

rnfIndividualPoolStake crypto → () #

Crypto crypto ⇒ ToCBOR (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toCBORIndividualPoolStake crypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (IndividualPoolStake crypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [IndividualPoolStake crypto] → Size Source #

Crypto crypto ⇒ FromCBOR (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

NoThunks (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

noThunks ∷ Context → IndividualPoolStake crypto → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → IndividualPoolStake crypto → IO (Maybe ThunkInfo)

showTypeOfProxy (IndividualPoolStake crypto) → String

Embed (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toBasePoolDistr crypto → Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) Source #

fromBaseMap (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) → PoolDistr crypto Source #

HasExp (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

Methods

toExpPoolDistr crypto → Exp (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #

type Rep (IndividualPoolStake crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Delegation.Certificates

type Rep (IndividualPoolStake crypto) = D1 ('MetaData "IndividualPoolStake" "Shelley.Spec.Ledger.Delegation.Certificates" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "IndividualPoolStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "individualPoolStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :*: S1 ('MetaSel ('Just "individualPoolStakeVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto)))))

delegCWitnessDelegCert era → Credential 'Staking era Source #

Determine the certificate author

isRegKeyDCert era → Bool Source #

Check for RegKey constructor

isDeRegKeyDCert era → Bool Source #

Check for DeRegKey constructor

isDelegationDCert era → Bool Source #

Check for Delegation constructor

isGenesisDelegationDCert era → Bool Source #

Check for GenesisDelegate constructor

isRegPoolDCert era → Bool Source #

Check for RegPool constructor

isRetirePoolDCert era → Bool Source #

Check for RetirePool constructor

requiresVKeyWitnessDCert era → 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.