| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.API.Types
Synopsis
- hashVerKeyVRF ∷ (VRFAlgorithm v, HashAlgorithm h) ⇒ VerKeyVRF v → Hash h (VerKeyVRF v)
- data StrictMaybe a
- bbody ∷ Block h era → TxSeq era
- bheader ∷ Block h era → h
- data Block h era where
- Block' !h !(TxSeq era) ByteString
- pattern UnserialisedBlock ∷ h → TxSeq era → Block h era
- pattern UnsafeUnserialisedBlock ∷ h → TxSeq era → Block h era
- pattern Block ∷ (Era era, EncCBORGroup (TxSeq era), EncCBOR h) ⇒ h → TxSeq era → Block h era
- balance ∷ EraTxOut era ⇒ UTxO era → Value era
- newtype UTxO era = UTxO {}
- data InstantaneousRewards c = InstantaneousRewards {
- iRReserves ∷ !(Map (Credential 'Staking c) Coin)
- iRTreasury ∷ !(Map (Credential 'Staking c) Coin)
- deltaReserves ∷ !DeltaCoin
- deltaTreasury ∷ !DeltaCoin
- data DState era = DState {
- dsUnified ∷ !(UMap (EraCrypto era))
- dsFutureGenDelegs ∷ !(Map (FutureGenDeleg (EraCrypto era)) (GenDelegPair (EraCrypto era)))
- dsGenDelegs ∷ !(GenDelegs (EraCrypto era))
- dsIRewards ∷ !(InstantaneousRewards (EraCrypto era))
- data PState era = PState {
- psStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psRetiring ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
- psDeposits ∷ !(Map (KeyHash 'StakePool (EraCrypto era)) Coin)
- data VState era = VState {
- vsDReps ∷ !(Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
- vsCommitteeState ∷ !(CommitteeState era)
- vsNumDormantEpochs ∷ EpochNo
- data CertState era = CertState {
- certVState ∷ !(VState era)
- certPState ∷ !(PState era)
- certDState ∷ !(DState era)
- calculatePoolDistr' ∷ (KeyHash 'StakePool c → Bool) → SnapShot c → PoolDistr c
- calculatePoolDistr ∷ SnapShot c → PoolDistr c
- newtype Stake c = Stake {
- unStake ∷ VMap VB VP (Credential 'Staking c) (CompactForm Coin)
- data SnapShot c = SnapShot {
- ssStake ∷ !(Stake c)
- ssDelegations ∷ !(VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c))
- ssPoolParams ∷ !(VMap VB VB (KeyHash 'StakePool c) (PoolParams c))
- data SnapShots c = SnapShots {
- ssStakeMark ∷ SnapShot c
- ssStakeMarkPoolDistr ∷ PoolDistr c
- ssStakeSet ∷ !(SnapShot c)
- ssStakeGo ∷ !(SnapShot c)
- ssFee ∷ !Coin
- newtype TxId c = TxId {}
- data TxIn c = TxIn !(TxId c) !TxIx
- isOverlaySlot ∷ SlotNo → UnitInterval → SlotNo → Bool
- data Delegation c = Delegation {
- dDelegator ∷ !(StakeCredential c)
- dDelegatee ∷ !(KeyHash 'StakePool c)
- data PoolCert c
- = RegPool !(PoolParams c)
- | RetirePool !(KeyHash 'StakePool c) !EpochNo
- data PoolMetadata = PoolMetadata {
- pmUrl ∷ !Url
- pmHash ∷ !ByteString
- data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
- data PoolParams c = PoolParams {
- ppId ∷ !(KeyHash 'StakePool c)
- ppVrf ∷ !(Hash c (VerKeyVRF c))
- ppPledge ∷ !Coin
- ppCost ∷ !Coin
- ppMargin ∷ !UnitInterval
- ppRewardAccount ∷ !(RewardAccount c)
- ppOwners ∷ !(Set (KeyHash 'Staking c))
- ppRelays ∷ !(StrictSeq StakePoolRelay)
- ppMetadata ∷ !(StrictMaybe PoolMetadata)
- data Addr c
- = Addr Network (PaymentCredential c) (StakeReference c)
- | AddrBootstrap (BootstrapAddress c)
- data RewardAccount c where
- RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking c)
- pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c
- RewardAccount {
- type RewardAcnt = RewardAccount
- newtype Withdrawals c = Withdrawals {
- unWithdrawals ∷ Map (RewardAcnt c) Coin
- individualPoolStake ∷ IndividualPoolStake c → Rational
- data PoolDistr c = PoolDistr {
- unPoolDistr ∷ !(Map (KeyHash 'StakePool c) (IndividualPoolStake c))
- pdTotalActiveStake ∷ !(CompactForm Coin)
- word64ToCoin ∷ Word64 → Coin
- newtype Coin = Coin {}
- data Credential (kr ∷ KeyRole) c
- = ScriptHashObj !(ScriptHash c)
- | KeyHashObj !(KeyHash kr c)
- data StakeReference c
- = StakeRefBase !(StakeCredential c)
- | StakeRefPtr !Ptr
- | StakeRefNull
- data Ptr = Ptr !SlotNo !TxIx !CertIx
- certIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m CertIx
- certIxToInt ∷ CertIx → Int
- txIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m TxIx
- txIxToInt ∷ TxIx → Int
- data ProtVer = ProtVer {}
- data Nonce
- = Nonce !(Hash Blake2b_256 Nonce)
- | NeutralNonce
- newtype Port = Port {}
- data Globals = Globals {}
- data Network
- data TxIx
- data CertIx
- data BootstrapWitness c where
- pattern BootstrapWitness ∷ Crypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness c
- data WitVKey (kr ∷ KeyRole) c where
- pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c
- newtype ScriptHash c = ScriptHash (Hash (ADDRHASH c) EraIndependentScript)
- hashKey ∷ ∀ c (kd ∷ KeyRole). Crypto c ⇒ VKey kd c → KeyHash kd c
- data KeyRole
- coerceKeyRole ∷ ∀ (r ∷ KeyRole) c (r' ∷ KeyRole). HasKeyRole a ⇒ a r c → a r' c
- newtype VKey (kd ∷ KeyRole) c = VKey {
- unVKey ∷ VerKeyDSIGN (DSIGN c)
- data KeyPair (kd ∷ KeyRole) c = KeyPair {
- vKey ∷ !(VKey kd c)
- sKey ∷ !(SignKeyDSIGN (DSIGN c))
- newtype KeyHash (discriminator ∷ KeyRole) c = KeyHash {
- unKeyHash ∷ Hash (ADDRHASH c) (VerKeyDSIGN (DSIGN c))
- type KESignable c = Signable (KES c)
- data GenDelegPair c = GenDelegPair {
- genDelegKeyHash ∷ !(KeyHash 'GenesisDelegate c)
- genDelegVrfHash ∷ !(Hash c (VerKeyVRF c))
- newtype GenDelegs c = GenDelegs {
- unGenDelegs ∷ Map (KeyHash 'Genesis c) (GenDelegPair c)
- type Hash c = Hash (HASH c)
- type SignedDSIGN c = SignedDSIGN (DSIGN c)
- type SignKeyDSIGN c = SignKeyDSIGN (DSIGN c)
- type SignedKES c = SignedKES (KES c)
- type SignKeyKES c = SignKeyKES (KES c)
- type VerKeyKES c = VerKeyKES (KES c)
- type CertifiedVRF c = CertifiedVRF (VRF c)
- type SignKeyVRF c = SignKeyVRF (VRF c)
- type VerKeyVRF c = VerKeyVRF (VRF c)
- data Metadatum
- data ShelleyUTXOW era
- data ShelleyUTXO era
- data ShelleyTICKF era
- data ShelleyTICK era
- data ShelleyPPUP era
- data ShelleyPOOLREAP era
- data ShelleyPOOL era
- data ShelleyNEWEPOCH era
- data ShelleyLEDGERS era
- data ShelleyLEDGER era
- data ShelleyDELPL era
- data ShelleyDELEGS era
- data ShelleyDELEG era
- newtype ProposedPPUpdates era = ProposedPPUpdates (Map (KeyHash 'Genesis (EraCrypto era)) (PParamsUpdate era))
- data Update era = Update !(ProposedPPUpdates era) !EpochNo
- data ShelleyGovState era = ShelleyGovState {
- sgsCurProposals ∷ !(ProposedPPUpdates era)
- sgsFutureProposals ∷ !(ProposedPPUpdates era)
- sgsCurPParams ∷ !(PParams era)
- sgsPrevPParams ∷ !(PParams era)
- sgsFuturePParams ∷ !(FuturePParams era)
- data NonMyopic c
- data RewardUpdate c = RewardUpdate {}
- data PpupEnv era = PPUPEnv SlotNo (PParams era) (GenDelegs (EraCrypto era))
- data MultiSig era
- computeStabilityWindow ∷ Word64 → ActiveSlotCoeff → Word64
- computeRandomnessStabilisationWindow ∷ Word64 → ActiveSlotCoeff → Word64
- data ValidationErr
- data ShelleyGenesis c = ShelleyGenesis {
- sgSystemStart ∷ !UTCTime
- sgNetworkMagic ∷ !Word32
- sgNetworkId ∷ !Network
- sgActiveSlotsCoeff ∷ !PositiveUnitInterval
- sgSecurityParam ∷ !Word64
- sgEpochLength ∷ !EpochSize
- sgSlotsPerKESPeriod ∷ !Word64
- sgMaxKESEvolutions ∷ !Word64
- sgSlotLength ∷ !NominalDiffTimeMicro
- sgUpdateQuorum ∷ !Word64
- sgMaxLovelaceSupply ∷ !Word64
- sgProtocolParams ∷ !(PParams (ShelleyEra c))
- sgGenDelegs ∷ !(Map (KeyHash 'Genesis c) (GenDelegPair c))
- sgInitialFunds ∷ ListMap (Addr c) Coin
- sgStaking ∷ ShelleyGenesisStaking c
- newtype NominalDiffTimeMicro = NominalDiffTimeMicro Micro
- data ShelleyGenesisStaking c = ShelleyGenesisStaking {}
- emptyGenesisStaking ∷ ShelleyGenesisStaking c
- fromNominalDiffTimeMicro ∷ NominalDiffTimeMicro → NominalDiffTime
- toNominalDiffTimeMicroWithRounding ∷ NominalDiffTime → NominalDiffTimeMicro
- toNominalDiffTimeMicro ∷ NominalDiffTime → Maybe NominalDiffTimeMicro
- secondsToNominalDiffTimeMicro ∷ Micro → NominalDiffTimeMicro
- nominalDiffTimeMicroToMicroseconds ∷ NominalDiffTimeMicro → Micro
- nominalDiffTimeMicroToSeconds ∷ NominalDiffTimeMicro → Pico
- sgInitialFundsL ∷ Lens' (ShelleyGenesis c) (ListMap (Addr c) Coin)
- sgStakingL ∷ Lens' (ShelleyGenesis c) (ShelleyGenesisStaking c)
- sgActiveSlotCoeff ∷ ShelleyGenesis c → ActiveSlotCoeff
- toShelleyGenesisPairs ∷ (KeyValue e a, Crypto c) ⇒ ShelleyGenesis c → [a]
- genesisUTxO ∷ ∀ era. EraTxOut era ⇒ ShelleyGenesis (EraCrypto era) → UTxO era
- initialFundsPseudoTxIn ∷ ∀ c. Crypto c ⇒ Addr c → TxIn c
- describeValidationErr ∷ ValidationErr → Text
- validateGenesis ∷ ∀ c. Crypto c ⇒ ShelleyGenesis c → Either [ValidationErr] ()
- mkShelleyGlobals ∷ ShelleyGenesis c → EpochInfo (Either Text) → Globals
- type Metadata era = ShelleyTxAuxData era
- data ShelleyTxAuxData era where
- pattern ShelleyTxAuxData ∷ ∀ era. Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era
- data ShelleyDelegCert c where
- ShelleyRegCert !(StakeCredential c)
- ShelleyUnRegCert !(StakeCredential c)
- ShelleyDelegCert !(StakeCredential c) !(KeyHash 'StakePool c)
- pattern Delegate ∷ Delegation c → ShelleyDelegCert c
- pattern DeRegKey ∷ StakeCredential c → ShelleyDelegCert c
- pattern RegKey ∷ StakeCredential c → ShelleyDelegCert c
- data MIRCert c = MIRCert {
- mirPot ∷ !MIRPot
- mirRewards ∷ !(MIRTarget c)
- data MIRTarget c
- = StakeAddressesMIR !(Map (Credential 'Staking c) DeltaCoin)
- | SendToOppositePotMIR !Coin
- data MIRPot
- data GenesisDelegCert c = GenesisDelegCert !(KeyHash 'Genesis c) !(KeyHash 'GenesisDelegate c) !(Hash c (VerKeyVRF c))
- data ShelleyTxOut era where
- TxOutCompact !(CompactAddr (EraCrypto era)) !(CompactForm (Value era))
- pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr (EraCrypto era) → Value era → ShelleyTxOut era
- newtype ShelleyTxBody era where
- TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)
- pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → ShelleyTxBody era
- data ShelleyTxWits era
- data ShelleyTx era where
- data LedgerState era = LedgerState {
- lsUTxOState ∷ !(UTxOState era)
- lsCertState ∷ !(CertState era)
- data NewEpochState era = NewEpochState {
- nesEL ∷ !EpochNo
- nesBprev ∷ !(BlocksMade (EraCrypto era))
- nesBcur ∷ !(BlocksMade (EraCrypto era))
- nesEs ∷ !(EpochState era)
- nesRu ∷ !(StrictMaybe (PulsingRewUpdate (EraCrypto era)))
- nesPd ∷ !(PoolDistr (EraCrypto era))
- stashedAVVMAddresses ∷ !(StashedAVVMAddresses era)
- data UTxOState era = UTxOState {
- utxosUtxo ∷ !(UTxO era)
- utxosDeposited ∷ Coin
- utxosFees ∷ !Coin
- utxosGovState ∷ !(GovState era)
- utxosStakeDistr ∷ !(IncrementalStake (EraCrypto era))
- utxosDonation ∷ !Coin
- data IncrementalStake c = IStake {
- credMap ∷ !(Map (Credential 'Staking c) (CompactForm Coin))
- ptrMap ∷ !(Map Ptr (CompactForm Coin))
- data EpochState era = EpochState {
- esAccountState ∷ !AccountState
- esLState ∷ !(LedgerState era)
- esSnapshots ∷ !(SnapShots (EraCrypto era))
- esNonMyopic ∷ !(NonMyopic (EraCrypto era))
- data AccountState = AccountState {
- asTreasury ∷ !Coin
- asReserves ∷ !Coin
- type KeyPairs c = [(KeyPair 'Payment c, KeyPair 'Staking c)]
- bbHash ∷ ∀ era. Era era ⇒ ShelleyTxSeq era → Hash (EraCrypto era) EraIndependentBlockBody
- data UtxoEnv era = UtxoEnv {}
- data SnapEnv era = SnapEnv !(LedgerState era) !(PParams era)
- data PoolEnv era = PoolEnv !SlotNo !(PParams era)
- data DelegEnv era = DelegEnv {}
- data DelplEnv era = DelplEnv {}
- data DelegsEnv era = DelegsEnv {
- delegsSlotNo ∷ !SlotNo
- delegsIx ∷ !TxIx
- delegspp ∷ !(PParams era)
- delegsTx ∷ !(Tx era)
- delegsAccount ∷ !AccountState
- data LedgerEnv era = LedgerEnv {
- ledgerSlotNo ∷ !SlotNo
- ledgerIx ∷ !TxIx
- ledgerPp ∷ !(PParams era)
- ledgerAccount ∷ !AccountState
- ledgerMempool ∷ !Bool
- data ShelleyLedgersEnv era = LedgersEnv {}
Documentation
hashVerKeyVRF ∷ (VRFAlgorithm v, HashAlgorithm h) ⇒ VerKeyVRF v → Hash h (VerKeyVRF v) Source #
data StrictMaybe a Source #
Instances
Constructors
| Block' !h !(TxSeq era) ByteString |
Bundled Patterns
| pattern UnserialisedBlock ∷ h → TxSeq era → Block h era | Access a block without its serialised bytes. This is often useful when
we're using a |
| pattern UnsafeUnserialisedBlock ∷ h → TxSeq era → Block h era | Unsafely construct a block without the ability to serialise its bytes. Anyone calling this pattern must ensure that the resulting block is never serialised. Any uses of this pattern outside of testing code should be regarded with suspicion. |
| pattern Block ∷ (Era era, EncCBORGroup (TxSeq era), EncCBOR h) ⇒ h → TxSeq era → Block h era |
Instances
| (EraSegWits era, DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) | |
| Generic (Block h era) | |
| (Era era, Show (TxSeq era), Show h) ⇒ Show (Block h era) | |
| (EraTx era, Typeable h) ⇒ ToCBOR (Block h era) | |
| (EraTx era, Typeable h) ⇒ EncCBOR (Block h era) | |
| (Era era, Eq (TxSeq era), Eq h) ⇒ Eq (Block h era) | |
| (Era era, NoThunks (TxSeq era), NoThunks h) ⇒ NoThunks (Block h era) | |
| type Rep (Block h era) | |
Defined in Cardano.Ledger.Block type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "Block'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxSeq era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))) | |
balance ∷ EraTxOut era ⇒ UTxO era → Value era Source #
Determine the total balance contained in the UTxO.
The unspent transaction outputs.
Instances
| (Era era, ToJSON (TxOut era)) ⇒ ToJSON (UTxO era) | |
| Era era ⇒ Monoid (UTxO era) | |
| Semigroup (UTxO era) | |
| Generic (UTxO era) | |
| (Show (TxOut era), Crypto (EraCrypto era)) ⇒ Show (UTxO era) | |
| (DecCBOR (TxOut era), Era era) ⇒ FromCBOR (UTxO era) | |
| (EncCBOR (TxOut era), Era era) ⇒ ToCBOR (UTxO era) | |
| (Era era, DecCBOR (TxOut era)) ⇒ DecCBOR (UTxO era) | |
| (Crypto (EraCrypto era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era))) ⇒ DecShareCBOR (UTxO era) | |
| (Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (UTxO era) | |
| Default (UTxO era) | |
Defined in Cardano.Ledger.UTxO | |
| (Era era, NFData (TxOut era)) ⇒ NFData (UTxO era) | |
Defined in Cardano.Ledger.UTxO | |
| (Era era, Eq (TxOut era)) ⇒ Eq (UTxO era) | |
| NoThunks (TxOut era) ⇒ NoThunks (UTxO era) | |
| type Rep (UTxO era) | |
Defined in Cardano.Ledger.UTxO | |
| type Share (UTxO era) | |
data InstantaneousRewards c Source #
InstantaneousRewards captures the pending changes to the ledger state caused by MIR certificates. It consists of two mappings, the rewards which will be paid out from the reserves and the rewards which will be paid out from the treasury. It also consists of two coin values which represent the transfer of coins from one pot to the other pot. NOTE that the following property should always hold: deltaReserves + deltaTreasury = 0
Constructors
| InstantaneousRewards | |
Fields
| |
Instances
The state used by the DELEG rule, which roughly tracks stake delegation and some governance features.
Constructors
| DState | |
Fields
| |
Instances
The state used by the POOL rule, which tracks stake pool information.
Constructors
| PState | |
Fields
| |
Instances
The state that tracks the voting entities (DReps and Constitutional Committee members)
Constructors
| VState | |
Fields
| |
Instances
| Generic (VState era) | |
| Show (VState era) | |
| Era era ⇒ DecCBOR (VState era) | |
| Era era ⇒ DecShareCBOR (VState era) | |
| Era era ⇒ EncCBOR (VState era) | |
| Default (VState era) | |
Defined in Cardano.Ledger.CertState | |
| Era era ⇒ NFData (VState era) | |
Defined in Cardano.Ledger.CertState | |
| Eq (VState era) | |
| Typeable (EraCrypto era) ⇒ NoThunks (VState era) | |
| type Rep (VState era) | |
Defined in Cardano.Ledger.CertState type Rep (VState era) = D1 ('MetaData "VState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "VState" 'PrefixI 'True) (S1 ('MetaSel ('Just "vsDReps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "vsCommitteeState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CommitteeState era)) :*: S1 ('MetaSel ('Just "vsNumDormantEpochs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))) | |
| type Share (VState era) | |
The state associated with the DELPL rule, which combines the DELEG rule and the POOL rule.
Constructors
| CertState | |
Fields
| |
Instances
| Era era ⇒ ToJSON (CertState era) | |
| Generic (CertState era) | |
| Show (CertState era) | |
| Era era ⇒ DecShareCBOR (CertState era) | |
| Era era ⇒ EncCBOR (CertState era) | |
| Default (CertState era) | |
Defined in Cardano.Ledger.CertState | |
| Era era ⇒ NFData (CertState era) | |
Defined in Cardano.Ledger.CertState | |
| Eq (CertState era) | |
| Typeable (EraCrypto era) ⇒ NoThunks (CertState era) | |
| type Rep (CertState era) | |
Defined in Cardano.Ledger.CertState type Rep (CertState era) = D1 ('MetaData "CertState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "CertState" 'PrefixI 'True) (S1 ('MetaSel ('Just "certVState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VState era)) :*: (S1 ('MetaSel ('Just "certPState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PState era)) :*: S1 ('MetaSel ('Just "certDState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DState era))))) | |
| type Share (CertState era) | |
calculatePoolDistr ∷ SnapShot c → PoolDistr c Source #
Type of stake as map from hash key to coins associated.
Constructors
| Stake | |
Fields
| |
Instances
| Crypto c ⇒ ToJSON (Stake c) | |
| Generic (Stake c) | |
| Show (Stake c) | |
| Crypto c ⇒ DecShareCBOR (Stake c) | |
| Crypto c ⇒ EncCBOR (Stake c) | |
| NFData (Stake c) | |
Defined in Cardano.Ledger.EpochBoundary | |
| Eq (Stake c) | |
| Typeable c ⇒ NoThunks (Stake c) | |
| type Rep (Stake c) | |
Defined in Cardano.Ledger.EpochBoundary type Rep (Stake c) = D1 ('MetaData "Stake" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.15.0.0-inplace" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential 'Staking c) (CompactForm Coin))))) | |
| type Share (Stake c) | |
Snapshot of the stake distribution.
Constructors
| SnapShot | |
Fields
| |
Instances
| Crypto c ⇒ ToJSON (SnapShot c) | |
| Generic (SnapShot c) | |
| Show (SnapShot c) | |
| Crypto c ⇒ DecShareCBOR (SnapShot c) | |
| Crypto c ⇒ EncCBOR (SnapShot c) | |
| NFData (SnapShot c) | |
Defined in Cardano.Ledger.EpochBoundary | |
| Eq (SnapShot c) | |
| Typeable c ⇒ NoThunks (SnapShot c) | |
| type Rep (SnapShot c) | |
Defined in Cardano.Ledger.EpochBoundary type Rep (SnapShot c) = D1 ('MetaData "SnapShot" "Cardano.Ledger.EpochBoundary" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "SnapShot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Stake c)) :*: (S1 ('MetaSel ('Just "ssDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (Credential 'Staking c) (KeyHash 'StakePool c))) :*: S1 ('MetaSel ('Just "ssPoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash 'StakePool c) (PoolParams c)))))) | |
| type Share (SnapShot c) | |
Snapshots of the stake distribution.
Note that ssStakeMark and ssStakeMarkPoolDistr are lazy on purpose since we only want to force the thunk after one stability window when we know that they are stable (so that we do not compute them if we do not have to). See more info in the Optimize TICKF ADR
Constructors
| SnapShots | |
Fields
| |
Instances
A unique ID of a transaction, which is computable from the transaction.
Constructors
| TxId | |
Fields | |
Instances
| Crypto c ⇒ FromJSON (TxId c) | |
| Crypto c ⇒ ToJSON (TxId c) | |
| Generic (TxId c) | |
| Show (TxId c) | |
| Crypto c ⇒ DecCBOR (TxId c) | |
| Crypto c ⇒ EncCBOR (TxId c) | |
| Crypto c ⇒ NFData (TxId c) | |
Defined in Cardano.Ledger.TxIn | |
| Eq (TxId c) | |
| Ord (TxId c) | |
Defined in Cardano.Ledger.TxIn | |
| Crypto c ⇒ HeapWords (TxId c) | |
| NoThunks (TxId c) | |
| type Rep (TxId c) | |
Defined in Cardano.Ledger.TxIn type Rep (TxId c) = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.15.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxBody)))) | |
The input of a UTxO.
Instances
| Crypto c ⇒ ToJSON (TxIn c) | |
| Crypto c ⇒ ToJSONKey (TxIn c) | |
Defined in Cardano.Ledger.TxIn Methods toJSONKey ∷ ToJSONKeyFunction (TxIn c) Source # | |
| Generic (TxIn c) | |
| Show (TxIn c) | |
| Crypto c ⇒ DecCBOR (TxIn c) | |
| Crypto c ⇒ EncCBOR (TxIn c) | |
| Crypto c ⇒ NFData (TxIn c) | |
Defined in Cardano.Ledger.TxIn | |
| Eq (TxIn c) | |
| Ord (TxIn c) | |
Defined in Cardano.Ledger.TxIn | |
| Crypto c ⇒ HeapWords (TxIn c) | |
| NoThunks (TxIn c) | |
| type Rep (TxIn c) | |
Defined in Cardano.Ledger.TxIn type Rep (TxIn c) = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx))) | |
Arguments
| ∷ SlotNo | The first slot of the given epoch. |
| → UnitInterval | The decentralization parameter. |
| → SlotNo | The slot to check. |
| → Bool |
Determine if the given slot is reserved for the overlay schedule.
data Delegation c Source #
The delegation of one stake key to another.
Constructors
| Delegation | |
Fields
| |
Instances
Constructors
| RegPool !(PoolParams c) | A stake pool registration certificate. |
| RetirePool !(KeyHash 'StakePool c) !EpochNo | A stake pool retirement certificate. |
Instances
| Crypto c ⇒ ToJSON (PoolCert c) | |
| Generic (PoolCert c) | |
| Show (PoolCert c) | |
| Crypto c ⇒ EncCBOR (PoolCert c) | |
| NFData (PoolCert c) | |
Defined in Cardano.Ledger.Core.TxCert | |
| Eq (PoolCert c) | |
| Ord (PoolCert c) | |
Defined in Cardano.Ledger.Core.TxCert | |
| NoThunks (PoolCert c) | |
| type Rep (PoolCert c) | |
Defined in Cardano.Ledger.Core.TxCert type Rep (PoolCert c) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams c))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))) | |
data PoolMetadata Source #
Constructors
| PoolMetadata | |
Fields
| |
Instances
data StakePoolRelay Source #
Constructors
| SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6) | One or both of IPv4 & IPv6 |
| SingleHostName !(StrictMaybe Port) !DnsName | An |
| MultiHostName !DnsName | A |
Instances
data PoolParams c Source #
A stake pool.
Constructors
| PoolParams | |
Fields
| |
Instances
An address for UTxO.
Contents of Addr data type are intentionally left as lazy, otherwise operating on compact form of an address will result in redundant work.
Constructors
| Addr Network (PaymentCredential c) (StakeReference c) | |
| AddrBootstrap (BootstrapAddress c) |
Instances
data RewardAccount c Source #
An account based address for rewards
Constructors
| RewardAccount | |
Fields
| |
Bundled Patterns
| pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c |
Instances
type RewardAcnt = RewardAccount Source #
newtype Withdrawals c Source #
This is called wdrl in the spec.
Constructors
| Withdrawals | |
Fields
| |
Instances
individualPoolStake ∷ IndividualPoolStake c → Rational Source #
Pool stake distribution. This is a ratio of individualTotalPoolStake/pdTotalActiveStake
A map of stake pool IDs (the hash of the stake pool operator's
verification key) to IndividualPoolStake. Also holds absolute values
necessary for the calculations in the computeDRepDistr.
Constructors
| PoolDistr | |
Fields
| |
Instances
| Crypto c ⇒ ToJSON (PoolDistr c) | |
| Generic (PoolDistr c) | |
| Show (PoolDistr c) | |
| Crypto c ⇒ DecCBOR (PoolDistr c) | |
| Crypto c ⇒ EncCBOR (PoolDistr c) | |
| NFData (PoolDistr c) | |
Defined in Cardano.Ledger.PoolDistr | |
| Eq (PoolDistr c) | |
| NoThunks (PoolDistr c) | |
| type Rep (PoolDistr c) | |
Defined in Cardano.Ledger.PoolDistr type Rep (PoolDistr c) = D1 ('MetaData "PoolDistr" "Cardano.Ledger.PoolDistr" "cardano-ledger-core-1.15.0.0-inplace" 'False) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool c) (IndividualPoolStake c))) :*: S1 ('MetaSel ('Just "pdTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)))) | |
word64ToCoin ∷ Word64 → Coin Source #
The amount of value held by a transaction output.
Instances
data Credential (kr ∷