| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Shelley.API.Types
Synopsis
- module Cardano.Ledger.Shelley.BlockBody
- module Cardano.Ledger.Shelley.Genesis
- module Cardano.Ledger.Shelley.StabilityWindow
- data Metadatum
- data KeyRole
- data Witness ∷ KeyRole
- data Network
- data Payment ∷ KeyRole
- data Ptr = Ptr !SlotNo32 !TxIx !CertIx
- data Addr
- data Block h era = Block {
- blockHeader ∷ !h
- blockBody ∷ !(BlockBody era)
- data StrictMaybe a
- data Update era = Update !(ProposedPPUpdates era) !EpochNo
- newtype KeyHash (r ∷ KeyRole) = KeyHash {}
- hashKey ∷ ∀ (kd ∷ KeyRole). VKey kd → KeyHash kd
- data TxIn = TxIn !TxId !TxIx
- newtype TxId = TxId {}
- newtype UTxO era = UTxO {}
- data ProtVer = ProtVer {}
- data family TxBody (l ∷ TxLevel) era
- newtype VKey (kd ∷ KeyRole) = VKey {}
- coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). HasKeyRole a ⇒ a r → a r'
- data GenesisRole ∷ KeyRole
- data GenesisDelegate ∷ KeyRole
- data Staking ∷ KeyRole
- data StakePool ∷ KeyRole
- data BlockIssuer ∷ KeyRole
- data DRepRole ∷ KeyRole
- data HotCommitteeRole ∷ KeyRole
- data ColdCommitteeRole ∷ KeyRole
- data Guard ∷ KeyRole
- newtype GenDelegs = GenDelegs {}
- data GenDelegPair = GenDelegPair {}
- newtype ScriptHash = ScriptHash (Hash ADDRHASH EraIndependentScript)
- data WitVKey (kr ∷ KeyRole) where
- pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr
- data BootstrapWitness = BootstrapWitness {}
- data CertIx
- data TxIx
- data Globals = Globals {
- epochInfo ∷ !(EpochInfo (Either Text))
- slotsPerKESPeriod ∷ !Word64
- stabilityWindow ∷ !Word64
- randomnessStabilisationWindow ∷ !Word64
- securityParameter ∷ !(NonZero Word64)
- maxKESEvo ∷ !Word64
- quorum ∷ !Word64
- maxLovelaceSupply ∷ !Word64
- activeSlotCoeff ∷ !ActiveSlotCoeff
- networkId ∷ !Network
- systemStart ∷ !SystemStart
- newtype Port = Port {}
- data Nonce
- = Nonce !(Hash Blake2b_256 Nonce)
- | NeutralNonce
- txIxToInt ∷ TxIx → Int
- txIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m TxIx
- certIxToInt ∷ CertIx → Int
- certIxFromIntegral ∷ (Integral a, MonadFail m) ⇒ a → m CertIx
- data StakeReference
- = StakeRefBase !(Credential 'Staking)
- | StakeRefPtr !Ptr
- | StakeRefNull
- data Credential (kr ∷ KeyRole)
- = ScriptHashObj !ScriptHash
- | KeyHashObj !(KeyHash kr)
- newtype Coin = Coin {}
- word64ToCoin ∷ Word64 → Coin
- newtype Withdrawals = Withdrawals {}
- data RewardAccount = RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking)
- isOverlaySlot ∷ SlotNo → UnitInterval → SlotNo → Bool
- data ChainAccountState
- data PoolDistr = PoolDistr {}
- individualPoolStake ∷ IndividualPoolStake → Rational
- data StakePoolParams where
- StakePoolParams {
- sppId ∷ !(KeyHash 'StakePool)
- sppVrf ∷ !(VRFVerKeyHash 'StakePoolVRF)
- sppPledge ∷ !Coin
- sppCost ∷ !Coin
- sppMargin ∷ !UnitInterval
- sppRewardAccount ∷ !RewardAccount
- sppOwners ∷ !(Set (KeyHash 'Staking))
- sppRelays ∷ !(StrictSeq StakePoolRelay)
- sppMetadata ∷ !(StrictMaybe PoolMetadata)
- pattern PoolParams ∷ KeyHash 'StakePool → VRFVerKeyHash 'StakePoolVRF → Coin → Coin → UnitInterval → RewardAccount → Set (KeyHash 'Staking) → StrictSeq StakePoolRelay → StrictMaybe PoolMetadata → PoolParams
- StakePoolParams {
- data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
- data PoolMetadata = PoolMetadata {
- pmUrl ∷ !Url
- pmHash ∷ !ByteString
- data PoolCert
- = RegPool !StakePoolParams
- | RetirePool !(KeyHash 'StakePool) !EpochNo
- data SnapShots = SnapShots {}
- data SnapShot = SnapShot {
- ssStake ∷ !Stake
- ssDelegations ∷ !(VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))
- ssPoolParams ∷ !(VMap VB VB (KeyHash 'StakePool) StakePoolParams)
- newtype Stake = Stake {
- unStake ∷ VMap VB VP (Credential 'Staking) (CompactForm Coin)
- calculatePoolDistr ∷ SnapShot → PoolDistr
- calculatePoolDistr' ∷ (KeyHash 'StakePool → Bool) → SnapShot → PoolDistr
- type family AccountState era = (r ∷ Type) | r → era
- type family AccountState era = (r ∷ Type) | r → era
- class (EraAccounts era, ToJSON (CertState era), EncCBOR (CertState era), DecShareCBOR (CertState era), Share (CertState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), Default (CertState era), NoThunks (CertState era), NFData (CertState era), Show (CertState era), Eq (CertState era)) ⇒ EraCertState era where
- type CertState era = (r ∷ Type) | r → era
- certDStateL ∷ Lens' (CertState era) (DState era)
- certPStateL ∷ Lens' (CertState era) (PState era)
- obligationCertState ∷ CertState era → Obligations
- certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody era ⇒ PParams era → CertState era → TxBody t era → Coin
- certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody era ⇒ PParams era → CertState era → TxBody t era → Coin
- type family CertState era = (r ∷ Type) | r → era
- data PState era = PState {
- psVRFKeyHashes ∷ !(Map (VRFVerKeyHash 'StakePoolVRF) (NonZero Word64))
- psStakePools ∷ !(Map (KeyHash 'StakePool) StakePoolState)
- psFutureStakePoolParams ∷ !(Map (KeyHash 'StakePool) StakePoolParams)
- psRetiring ∷ !(Map (KeyHash 'StakePool) EpochNo)
- data DState era = DState {}
- data InstantaneousRewards = InstantaneousRewards {
- iRReserves ∷ !(Map (Credential 'Staking) Coin)
- iRTreasury ∷ !(Map (Credential 'Staking) Coin)
- deltaReserves ∷ !DeltaCoin
- deltaTreasury ∷ !DeltaCoin
- data ShelleyTx (l ∷ TxLevel) era where
- data ShelleyTxOut era where
- TxOutCompact !CompactAddr !(CompactForm (Value era))
- pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr → Value era → ShelleyTxOut era
- newtype ShelleyTxAuxData era where
- MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era))
- pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era
- data LedgerState era = LedgerState {
- lsUTxOState ∷ !(UTxOState era)
- lsCertState ∷ !(CertState era)
- data NewEpochState era = NewEpochState {
- nesEL ∷ !EpochNo
- nesBprev ∷ !BlocksMade
- nesBcur ∷ !BlocksMade
- nesEs ∷ !(EpochState era)
- nesRu ∷ !(StrictMaybe PulsingRewUpdate)
- nesPd ∷ !PoolDistr
- stashedAVVMAddresses ∷ !(StashedAVVMAddresses era)
- data LedgerEnv era = LedgerEnv {}
- data EpochState era = EpochState {}
- data RewardUpdate = RewardUpdate {}
- data ShelleyGovState era = ShelleyGovState {
- sgsCurProposals ∷ !(ProposedPPUpdates era)
- sgsFutureProposals ∷ !(ProposedPPUpdates era)
- sgsCurPParams ∷ !(PParams era)
- sgsPrevPParams ∷ !(PParams era)
- sgsFuturePParams ∷ !(FuturePParams era)
- data UTxOState era = UTxOState {
- utxosUtxo ∷ !(UTxO era)
- utxosDeposited ∷ !Coin
- utxosFees ∷ !Coin
- utxosGovState ∷ !(GovState era)
- utxosInstantStake ∷ !(InstantStake era)
- utxosDonation ∷ !Coin
- mkShelleyCertState ∷ EraCertState era ⇒ PState era → DState era → CertState era
- newtype ProposedPPUpdates era = ProposedPPUpdates (Map (KeyHash 'GenesisRole) (PParamsUpdate era))
- data NonMyopic
- data DelegEnv era = DelegEnv {}
- data ShelleyDELEG era
- data DelegsEnv era = DelegsEnv {
- delegsSlotNo ∷ SlotNo
- delegsEpochNo ∷ EpochNo
- delegsIx ∷ TxIx
- delegspp ∷ PParams era
- delegsTx ∷ Tx 'TopTx era
- delegsAccount ∷ ChainAccountState
- data ShelleyDELEGS era
- data DelplEnv era = DelplEnv {}
- data ShelleyDELPL era
- data ShelleyLEDGER era
- data ShelleyLEDGERS era
- data ShelleyLedgersEnv era = LedgersEnv {}
- data ShelleyNEWEPOCH era
- data PoolEnv era = PoolEnv EpochNo (PParams era)
- data ShelleyPOOL era
- data ShelleyPOOLREAP era
- data PpupEnv era = PPUPEnv SlotNo (PParams era) GenDelegs
- data ShelleyPPUP era
- data SnapEnv era = SnapEnv (LedgerState era) (PParams era)
- data ShelleyTICK era
- data ShelleyTICKF era
- data ShelleyUTXO era
- data UtxoEnv era = UtxoEnv {}
- data ShelleyUTXOW era
- data MultiSig era
- data GenesisDelegCert = GenesisDelegCert !(KeyHash 'GenesisRole) !(KeyHash 'GenesisDelegate) !(VRFVerKeyHash 'GenDelegVRF)
- data MIRCert = MIRCert {
- mirPot ∷ !MIRPot
- mirRewards ∷ !MIRTarget
- data MIRPot
- data MIRTarget
- data ShelleyDelegCert
- = ShelleyRegCert !(Credential 'Staking)
- | ShelleyUnRegCert !(Credential 'Staking)
- | ShelleyDelegCert !(Credential 'Staking) !(KeyHash 'StakePool)
- data ShelleyTxWits era
Documentation
A generic metadatum type.
Instances
The role of a key.
All key roles are fixed and unique, except for the Witness role. In particular,
keys can be cast to a Witness role with the help of asWitness, because same witness
can be valid for many roles.
In fact, it is perfectly allowable for a key to be used in many roles by the end user; there is nothing prohibiting somebody using the same underlying key or a script as their payment and staking credential, as well as the key for their stake pool. However, in the ledger code mixing up keys with different roles could be catastrophic, that is why we have this separation.
Instances
| FromJSON Network | |
| ToJSON Network | |
| FromCBOR Network | |
| ToCBOR Network | |
| DecCBOR Network | |
| EncCBOR Network | |
| Default Network | |
Defined in Cardano.Ledger.BaseTypes | |
| NFData Network | |
Defined in Cardano.Ledger.BaseTypes | |
| Bounded Network | |
| Enum Network | |
Defined in Cardano.Ledger.BaseTypes | |
| Generic Network | |
Defined in Cardano.Ledger.BaseTypes | |
| Show Network | |
| Eq Network | |
| Ord Network | |
| NoThunks Network | |
| type Rep Network | |
Pointer to a slot number, transaction index and an index in certificate list.
Instances
| ToJSON Ptr | |||||
| ToJSONKey Ptr | |||||
Defined in Cardano.Ledger.Credential | |||||
| FromCBOR Ptr | |||||
| ToCBOR Ptr | |||||
| DecCBOR Ptr | |||||
| EncCBOR Ptr | |||||
| DecCBORGroup Ptr | |||||
Defined in Cardano.Ledger.Credential Methods decCBORGroup ∷ Decoder s Ptr Source # | |||||
| EncCBORGroup Ptr | |||||
| ToKeyValuePairs Ptr | |||||
Defined in Cardano.Ledger.Credential Methods toKeyValuePairs ∷ KeyValue e kv ⇒ Ptr → [kv] Source # | |||||
| NFData Ptr | |||||
Defined in Cardano.Ledger.Credential | |||||
| Generic Ptr | |||||
Defined in Cardano.Ledger.Credential Associated Types
| |||||
| Show Ptr | |||||
| Eq Ptr | |||||
| Ord Ptr | |||||
| NoThunks Ptr | |||||
| Uniform Ptr | |||||
Defined in Cardano.Ledger.Credential Methods uniformM ∷ StatefulGen g m ⇒ g → m Ptr Source # | |||||
| type Rep Ptr | |||||
Defined in Cardano.Ledger.Credential type Rep Ptr = D1 ('MetaData "Ptr" "Cardano.Ledger.Credential" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Ptr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo32) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CertIx)))) | |||||
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 (Credential 'Payment) StakeReference | |
| AddrBootstrap BootstrapAddress |
Instances
| FromJSON Addr | |||||
| FromJSONKey Addr | |||||
Defined in Cardano.Ledger.Address | |||||
| ToJSON Addr | |||||
| ToJSONKey Addr | |||||
Defined in Cardano.Ledger.Address | |||||
| DecCBOR Addr | |||||
| EncCBOR Addr | |||||
| NFData Addr | |||||
Defined in Cardano.Ledger.Address | |||||
| Generic Addr | |||||
Defined in Cardano.Ledger.Address Associated Types
| |||||
| Show Addr | |||||
| Eq Addr | |||||
| Ord Addr | |||||
| NoThunks Addr | |||||
| type Rep Addr | |||||
Defined in Cardano.Ledger.Address type Rep Addr = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential 'Payment)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeReference))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BootstrapAddress))) | |||||
Constructors
| Block | |
Fields
| |
Instances
| (EraBlockBody era, DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) | |||||
| (Era era, EncCBORGroup (BlockBody era), EncCBOR h, Typeable h) ⇒ ToCBOR (Block h era) | |||||
| (Era era, EncCBORGroup (BlockBody era), EncCBOR h) ⇒ EncCBOR (Block h era) | |||||
| Generic (Block h era) | |||||
Defined in Cardano.Ledger.Block Associated Types
| |||||
| (Era era, Show (BlockBody era), Show h) ⇒ Show (Block h era) | |||||
| (Era era, Eq (BlockBody era), Eq h) ⇒ Eq (Block h era) | |||||
| (Era era, NoThunks (BlockBody 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.19.0.0-inplace" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blockHeader") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 h) :*: S1 ('MetaSel ('Just "blockBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (BlockBody era)))) | |||||
data StrictMaybe a Source #
Instances
| Eq1 StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods liftEq ∷ (a → b → Bool) → StrictMaybe a → StrictMaybe b → Bool # | |||||
| Ord1 StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods liftCompare ∷ (a → b → Ordering) → StrictMaybe a → StrictMaybe b → Ordering # | |||||
| Read1 StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods liftReadsPrec ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (StrictMaybe a) # liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [StrictMaybe a] # liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (StrictMaybe a) # liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [StrictMaybe a] # | |||||
| Show1 StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → StrictMaybe a → ShowS # liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [StrictMaybe a] → ShowS # | |||||
| HKDApplicative StrictMaybe | |||||
Defined in Cardano.Ledger.HKD Methods hkdPure ∷ a → HKD StrictMaybe a Source # hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source # | |||||
| HKDFunctor StrictMaybe | |||||
Defined in Cardano.Ledger.HKD Methods hkdMap ∷ proxy StrictMaybe → (a → b) → HKD StrictMaybe a → HKD StrictMaybe b Source # toNoUpdate ∷ HKD StrictMaybe a → HKDNoUpdate StrictMaybe a Source # fromNoUpdate ∷ HKDNoUpdate StrictMaybe a → HKD StrictMaybe a Source # | |||||
| Alternative StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods empty ∷ StrictMaybe a # (<|>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # some ∷ StrictMaybe a → StrictMaybe [a] # many ∷ StrictMaybe a → StrictMaybe [a] # | |||||
| Applicative StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods pure ∷ a → StrictMaybe a # (<*>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b # liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c # (*>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # (<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a # | |||||
| Functor StrictMaybe | |||||
Defined in Data.Maybe.Strict | |||||
| Monad StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods (>>=) ∷ StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b # (>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # return ∷ a → StrictMaybe a # | |||||
| MonadFail StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods fail ∷ String → StrictMaybe a # | |||||
| Foldable StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods fold ∷ Monoid m ⇒ StrictMaybe m → m # foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldr ∷ (a → b → b) → b → StrictMaybe a → b # foldr' ∷ (a → b → b) → b → StrictMaybe a → b # foldl ∷ (b → a → b) → b → StrictMaybe a → b # foldl' ∷ (b → a → b) → b → StrictMaybe a → b # foldr1 ∷ (a → a → a) → StrictMaybe a → a # foldl1 ∷ (a → a → a) → StrictMaybe a → a # toList ∷ StrictMaybe a → [a] # null ∷ StrictMaybe a → Bool # length ∷ StrictMaybe a → Int # elem ∷ Eq a ⇒ a → StrictMaybe a → Bool # maximum ∷ Ord a ⇒ StrictMaybe a → a # minimum ∷ Ord a ⇒ StrictMaybe a → a # sum ∷ Num a ⇒ StrictMaybe a → a # product ∷ Num a ⇒ StrictMaybe a → a # | |||||
| Traversable StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) # sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) # mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) # sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) # | |||||
| FromJSON a ⇒ FromJSON (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods parseJSON ∷ Value → Parser (StrictMaybe a) Source # parseJSONList ∷ Value → Parser [StrictMaybe a] Source # omittedField ∷ Maybe (StrictMaybe a) Source # | |||||
| ToJSON a ⇒ ToJSON (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods toJSON ∷ StrictMaybe a → Value Source # toEncoding ∷ StrictMaybe a → Encoding Source # toJSONList ∷ [StrictMaybe a] → Value Source # toEncodingList ∷ [StrictMaybe a] → Encoding Source # omitField ∷ StrictMaybe a → Bool Source # | |||||
| FromCBOR a ⇒ FromCBOR (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict | |||||
| ToCBOR a ⇒ ToCBOR (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods toCBOR ∷ StrictMaybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source # | |||||
| DecCBOR a ⇒ DecCBOR (StrictMaybe a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.DecCBOR | |||||
| EncCBOR a ⇒ EncCBOR (StrictMaybe a) | |||||
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ StrictMaybe a → Encoding Source # | |||||
| Default (StrictMaybe t) | |||||
Defined in Data.Maybe.Strict Methods def ∷ StrictMaybe t Source # | |||||
| NFData a ⇒ NFData (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods rnf ∷ StrictMaybe a → () # | |||||
| Semigroup a ⇒ Monoid (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods mempty ∷ StrictMaybe a # mappend ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # mconcat ∷ [StrictMaybe a] → StrictMaybe a # | |||||
| Semigroup a ⇒ Semigroup (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods (<>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # sconcat ∷ NonEmpty (StrictMaybe a) → StrictMaybe a # stimes ∷ Integral b ⇒ b → StrictMaybe a → StrictMaybe a # | |||||
| Generic (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Associated Types
| |||||
| Read a ⇒ Read (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods readsPrec ∷ Int → ReadS (StrictMaybe a) # readList ∷ ReadS [StrictMaybe a] # readPrec ∷ ReadPrec (StrictMaybe a) # readListPrec ∷ ReadPrec [StrictMaybe a] # | |||||
| Show a ⇒ Show (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods showsPrec ∷ Int → StrictMaybe a → ShowS # show ∷ StrictMaybe a → String # showList ∷ [StrictMaybe a] → ShowS # | |||||
| Eq a ⇒ Eq (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict | |||||
| Ord a ⇒ Ord (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods compare ∷ StrictMaybe a → StrictMaybe a → Ordering # (<) ∷ StrictMaybe a → StrictMaybe a → Bool # (<=) ∷ StrictMaybe a → StrictMaybe a → Bool # (>) ∷ StrictMaybe a → StrictMaybe a → Bool # (>=) ∷ StrictMaybe a → StrictMaybe a → Bool # max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # | |||||
| NoThunks a ⇒ NoThunks (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict | |||||
| NFData (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ShelleyPParams StrictMaybe era → () # | |||||
| Show (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ShelleyPParams StrictMaybe era → ShowS # show ∷ ShelleyPParams StrictMaybe era → String # showList ∷ [ShelleyPParams StrictMaybe era] → ShowS # | |||||
| Eq (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (/=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # | |||||
| Ord (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Ordering # (<) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (<=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (>) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # (>=) ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → Bool # max ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era # min ∷ ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era → ShelleyPParams StrictMaybe era # | |||||
| NoThunks (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods noThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyPParams StrictMaybe era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyPParams StrictMaybe era) → String Source # | |||||
| Updatable (K1 t x a) (K1 t (StrictMaybe x) u) | |||||
Defined in Cardano.Ledger.Core.PParams Methods applyUpdate ∷ K1 t x a → K1 t (StrictMaybe x) u → K1 t x a | |||||
| type Rep (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.5.0-b366c4dda1bfbad2771fab6e9b85e40d7fa09ae0e40044186dd831da6b0eafbf" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) | |||||
Update Proposal
Constructors
| Update !(ProposedPPUpdates era) !EpochNo |
Instances
| (Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Update era) Source # | |||||
| (Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (Update era) Source # | |||||
| NFData (PParamsUpdate era) ⇒ NFData (Update era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams | |||||
| Generic (Update era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Associated Types
| |||||
| Show (PParamsUpdate era) ⇒ Show (Update era) Source # | |||||
| Eq (PParamsUpdate era) ⇒ Eq (Update era) Source # | |||||
| NoThunks (PParamsUpdate era) ⇒ NoThunks (Update era) Source # | |||||
| type Rep (Update era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams type Rep (Update era) = D1 ('MetaData "Update" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "Update" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))) | |||||
newtype KeyHash (r ∷ KeyRole) Source #
Discriminated hash of public Key
Instances
| HasKeyRole KeyHash | |
Defined in Cardano.Ledger.Hashes | |
| FromJSON (KeyHash r) | |
| FromJSONKey (KeyHash r) | |
Defined in Cardano.Ledger.Hashes Methods | |
| ToJSON (KeyHash r) | |
| ToJSONKey (KeyHash r) | |
Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (KeyHash r) Source # | |
| Typeable r ⇒ FromCBOR (KeyHash r) | |
| Typeable r ⇒ ToCBOR (KeyHash r) | |
| Typeable r ⇒ DecCBOR (KeyHash r) | |
| EncCBOR (KeyHash r) | |
| Default (KeyHash r) | |
Defined in Cardano.Ledger.Hashes | |
| NFData (KeyHash r) | |
Defined in Cardano.Ledger.Hashes | |
| Generic (KeyHash r) | |
| Show (KeyHash r) | |
| Eq (KeyHash r) | |
| Ord (KeyHash r) | |
Defined in Cardano.Ledger.Hashes | |
| MemPack (KeyHash r) | |
| NoThunks (KeyHash r) | |
| type Rep (KeyHash r) | |
Defined in Cardano.Ledger.Hashes | |
The input of a UTxO.
Instances
| ToJSON TxIn | |||||
| ToJSONKey TxIn | |||||
Defined in Cardano.Ledger.TxIn | |||||
| DecCBOR TxIn | |||||
| DecShareCBOR TxIn | |||||
| EncCBOR TxIn | |||||
| NFData TxIn | |||||
Defined in Cardano.Ledger.TxIn | |||||
| Generic TxIn | |||||
Defined in Cardano.Ledger.TxIn Associated Types
| |||||
| Show TxIn | |||||
| Eq TxIn | |||||
| Ord TxIn | |||||
| MemPack TxIn | |||||
| NoThunks TxIn | |||||
| type Share TxIn | |||||
| type Rep TxIn | |||||
Defined in Cardano.Ledger.TxIn type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx))) | |||||
A unique ID of a transaction, which is computable from the transaction.
Constructors
| TxId | |
Fields | |
Instances
| FromJSON TxId | |||||
| ToJSON TxId | |||||
| DecCBOR TxId | |||||
| EncCBOR TxId | |||||
| NFData TxId | |||||
Defined in Cardano.Ledger.TxIn | |||||
| Generic TxId | |||||
Defined in Cardano.Ledger.TxIn Associated Types
| |||||
| Show TxId | |||||
| Eq TxId | |||||
| Ord TxId | |||||
| MemPack TxId | |||||
| NoThunks TxId | |||||
| EraTx era ⇒ HasOKey TxId (Tx l era) | |||||
| EraTxBody era ⇒ HasOKey TxId (TxBody l era) | |||||
| type Rep TxId | |||||
Defined in Cardano.Ledger.TxIn type Rep TxId = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxBody)))) | |||||
The unspent transaction outputs.
Instances
| CanGetUTxO UTxO | |||||
Defined in Cardano.Ledger.State.UTxO | |||||
| CanSetUTxO UTxO | |||||
| ToJSON (TxOut era) ⇒ ToJSON (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) | |||||
| (DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ DecShareCBOR (UTxO era) | |||||
| (Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (UTxO era) | |||||
| Default (UTxO era) | |||||
Defined in Cardano.Ledger.State.UTxO | |||||
| (Era era, NFData (TxOut era)) ⇒ NFData (UTxO era) | |||||
Defined in Cardano.Ledger.State.UTxO | |||||
| Era era ⇒ Monoid (UTxO era) | |||||
| Semigroup (UTxO era) | |||||
| Generic (UTxO era) | |||||
Defined in Cardano.Ledger.State.UTxO Associated Types
| |||||
| Show (TxOut era) ⇒ Show (UTxO era) | |||||
| (Era era, Eq (TxOut era)) ⇒ Eq (UTxO era) | |||||
| NoThunks (TxOut era) ⇒ NoThunks (UTxO era) | |||||
| type Share (UTxO era) | |||||
| type Rep (UTxO era) | |||||
Defined in Cardano.Ledger.State.UTxO | |||||
Instances
| FromJSON ProtVer | |||||
| ToJSON ProtVer | |||||
| FromCBOR ProtVer | |||||
| ToCBOR ProtVer | |||||
| DecCBOR ProtVer | |||||
| EncCBOR ProtVer | |||||
| DecCBORGroup ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes Methods | |||||
| EncCBORGroup ProtVer | |||||
| ToPlutusData ProtVer | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| NFData ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show ProtVer | |||||
| Eq ProtVer | |||||
| Ord ProtVer | |||||
| NoThunks ProtVer | |||||
| type Rep ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) | |||||
data family TxBody (l ∷ TxLevel) era Source #
The body of a transaction.
Instances
| HasEraTxLevel TxBody ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source # | |||||
| EraTxBody era ⇒ HasOKey TxId (TxBody l era) | |||||
| Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) Source # | |||||
| Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| EncCBOR (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| SafeToHash (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes ∷ TxBody l ShelleyEra → ByteString Source # originalBytesSize ∷ TxBody l ShelleyEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source # | |||||
| EqRaw (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source # | |||||
| Memoized (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Associated Types
Methods getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra | |||||
| NFData (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ TxBody l ShelleyEra → () # | |||||
| Generic (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Associated Types
Methods from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x # to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra # | |||||
| Show (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| Eq (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool # (/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool # | |||||
| Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source # | |||||
| HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source # | |||||
| newtype TxBody l ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| type RawType (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| type Rep (TxBody l ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))))) | |||||
newtype VKey (kd ∷ KeyRole) Source #
Discriminated verification key
We wrap the basic VerKeyDSIGN in order to add the key role.
Constructors
| VKey | |
Fields | |
Instances
| HasKeyRole VKey | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Typeable kd ⇒ FromCBOR (VKey kd) | |||||
| Typeable kd ⇒ ToCBOR (VKey kd) | |||||
| Typeable kd ⇒ DecCBOR (VKey kd) | |||||
| EncCBOR (VKey kd) | |||||
| NFData (VKey kd) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Generic (VKey kd) | |||||
Defined in Cardano.Ledger.Keys.Internal Associated Types
| |||||
| Show (VKey kd) | |||||
| Eq (VKey kd) | |||||
| NoThunks (VKey kd) | |||||
| type Rep (VKey kd) | |||||
Defined in Cardano.Ledger.Keys.Internal type Rep (VKey kd) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN DSIGN)))) | |||||
coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). HasKeyRole a ⇒ a r → a r' Source #
General coercion of key roles.
The presence of this function is mostly to help the user realise where they are converting key roles.
data GenesisRole ∷ KeyRole Source #
data GenesisDelegate ∷ KeyRole Source #
data BlockIssuer ∷ KeyRole Source #
data HotCommitteeRole ∷ KeyRole Source #
data ColdCommitteeRole ∷ KeyRole Source #
Constructors
| GenDelegs | |
Fields | |
Instances
| FromJSON GenDelegs | |||||
| ToJSON GenDelegs | |||||
| DecCBOR GenDelegs | |||||
| EncCBOR GenDelegs | |||||
| NFData GenDelegs | |||||
Defined in Cardano.Ledger.Hashes | |||||
| Generic GenDelegs | |||||
Defined in Cardano.Ledger.Hashes Associated Types
| |||||
| Show GenDelegs | |||||
| Eq GenDelegs | |||||
| NoThunks GenDelegs | |||||
| type Rep GenDelegs | |||||
Defined in Cardano.Ledger.Hashes type Rep GenDelegs = D1 ('MetaData "GenDelegs" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'GenesisRole) GenDelegPair)))) | |||||
data GenDelegPair Source #
Constructors
| GenDelegPair | |
Fields | |
Instances
| FromJSON GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser GenDelegPair Source # parseJSONList ∷ Value → Parser [GenDelegPair] Source # | |||||
| ToJSON GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods toJSON ∷ GenDelegPair → Value Source # toEncoding ∷ GenDelegPair → Encoding Source # toJSONList ∷ [GenDelegPair] → Value Source # toEncodingList ∷ [GenDelegPair] → Encoding Source # omitField ∷ GenDelegPair → Bool Source # | |||||
| DecCBOR GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes | |||||
| EncCBOR GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods | |||||
| NFData GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods rnf ∷ GenDelegPair → () # | |||||
| Generic GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Associated Types
| |||||
| Show GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → GenDelegPair → ShowS # show ∷ GenDelegPair → String # showList ∷ [GenDelegPair] → ShowS # | |||||
| Eq GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes | |||||
| Ord GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes Methods compare ∷ GenDelegPair → GenDelegPair → Ordering # (<) ∷ GenDelegPair → GenDelegPair → Bool # (<=) ∷ GenDelegPair → GenDelegPair → Bool # (>) ∷ GenDelegPair → GenDelegPair → Bool # (>=) ∷ GenDelegPair → GenDelegPair → Bool # max ∷ GenDelegPair → GenDelegPair → GenDelegPair # min ∷ GenDelegPair → GenDelegPair → GenDelegPair # | |||||
| NoThunks GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes | |||||
| type Rep GenDelegPair | |||||
Defined in Cardano.Ledger.Hashes type Rep GenDelegPair = D1 ('MetaData "GenDelegPair" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "GenDelegPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "genDelegKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)) :*: S1 ('MetaSel ('Just "genDelegVrfHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF)))) | |||||
newtype ScriptHash Source #
Constructors
| ScriptHash (Hash ADDRHASH EraIndependentScript) |
Instances
| FromJSON ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser ScriptHash Source # parseJSONList ∷ Value → Parser [ScriptHash] Source # | |||||
| FromJSONKey ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| ToJSON ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods toJSON ∷ ScriptHash → Value Source # toEncoding ∷ ScriptHash → Encoding Source # toJSONList ∷ [ScriptHash] → Value Source # toEncodingList ∷ [ScriptHash] → Encoding Source # omitField ∷ ScriptHash → Bool Source # | |||||
| ToJSONKey ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| FromCBOR ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| ToCBOR ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ ScriptHash → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ScriptHash → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash] → Size Source # | |||||
| DecCBOR ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| EncCBOR ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ ScriptHash → Encoding Source # | |||||
| NFData ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods rnf ∷ ScriptHash → () # | |||||
| Generic ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Associated Types
| |||||
| Show ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → ScriptHash → ShowS # show ∷ ScriptHash → String # showList ∷ [ScriptHash] → ShowS # | |||||
| Eq ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| Ord ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods compare ∷ ScriptHash → ScriptHash → Ordering # (<) ∷ ScriptHash → ScriptHash → Bool # (<=) ∷ ScriptHash → ScriptHash → Bool # (>) ∷ ScriptHash → ScriptHash → Bool # (>=) ∷ ScriptHash → ScriptHash → Bool # max ∷ ScriptHash → ScriptHash → ScriptHash # min ∷ ScriptHash → ScriptHash → ScriptHash # | |||||
| MemPack ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| NoThunks ScriptHash | |||||
Defined in Cardano.Ledger.Hashes | |||||
| type Rep ScriptHash | |||||
Defined in Cardano.Ledger.Hashes type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript)))) | |||||
data WitVKey (kr ∷ KeyRole) where Source #
Proof/Witness that a transaction is authorized by the given key holder.
Bundled Patterns
| pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr |
Instances
| Typeable kr ⇒ FromCBOR (WitVKey kr) | |||||
| Typeable kr ⇒ ToCBOR (WitVKey kr) | |||||
| Typeable kr ⇒ DecCBOR (Annotator (WitVKey kr)) | |||||
| Typeable kr ⇒ DecCBOR (WitVKey kr) | |||||
| Typeable kr ⇒ EncCBOR (WitVKey kr) | |||||
| NFData (WitVKey kr) | |||||
Defined in Cardano.Ledger.Keys.WitVKey | |||||
| Generic (WitVKey kr) | |||||
Defined in Cardano.Ledger.Keys.WitVKey Associated Types
| |||||
| Show (WitVKey kr) | |||||
| Eq (WitVKey kr) | |||||
| Typeable kr ⇒ Ord (WitVKey kr) | |||||
Defined in Cardano.Ledger.Keys.WitVKey | |||||
| Typeable kr ⇒ NoThunks (WitVKey kr) | |||||
| type Rep (WitVKey kr) | |||||
Defined in Cardano.Ledger.Keys.WitVKey type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey kr)) :*: (S1 ('MetaSel ('Just "wvkSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))) :*: S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness))))) | |||||
data BootstrapWitness Source #
Constructors
| BootstrapWitness | |
Fields
| |
Instances
| FromCBOR BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap | |||||
| ToCBOR BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods toCBOR ∷ BootstrapWitness → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BootstrapWitness → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BootstrapWitness] → Size Source # | |||||
| DecCBOR BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap | |||||
| EncCBOR BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods | |||||
| NFData BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods rnf ∷ BootstrapWitness → () # | |||||
| Generic BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Associated Types
Methods from ∷ BootstrapWitness → Rep BootstrapWitness x # to ∷ Rep BootstrapWitness x → BootstrapWitness # | |||||
| Show BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec ∷ Int → BootstrapWitness → ShowS # show ∷ BootstrapWitness → String # showList ∷ [BootstrapWitness] → ShowS # | |||||
| Eq BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods | |||||
| Ord BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods compare ∷ BootstrapWitness → BootstrapWitness → Ordering # (<) ∷ BootstrapWitness → BootstrapWitness → Bool # (<=) ∷ BootstrapWitness → BootstrapWitness → Bool # (>) ∷ BootstrapWitness → BootstrapWitness → Bool # (>=) ∷ BootstrapWitness → BootstrapWitness → Bool # max ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness # min ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness # | |||||
| NoThunks BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap | |||||
| DecCBOR (Annotator BootstrapWitness) | |||||
| type Rep BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))) | |||||
Certificate index. There is mkCertIxPartial that can be used for testing when constructing
from other integral types that are larger than Word16
Instances
| ToJSON CertIx | |
| FromCBOR CertIx | |
| ToCBOR CertIx | |
| DecCBOR CertIx | |
| EncCBOR CertIx | |
| NFData CertIx | |
Defined in Cardano.Ledger.BaseTypes | |
| Bounded CertIx | |
| Enum CertIx | |
Defined in Cardano.Ledger.BaseTypes | |
| Show CertIx | |
| Eq CertIx | |
| Ord CertIx | |
| NoThunks CertIx | |
| Random CertIx | |
| Uniform CertIx | |
Defined in Cardano.Ledger.BaseTypes Methods uniformM ∷ StatefulGen g m ⇒ g → m CertIx Source # | |
| UniformRange CertIx | |
Transaction index.
Instances
| ToJSON TxIx | |||||
| FromCBOR TxIx | |||||
| ToCBOR TxIx | |||||
| DecCBOR TxIx | |||||
| EncCBOR TxIx | |||||
| NFData TxIx | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Bounded TxIx | |||||
| Enum TxIx | |||||
| Generic TxIx | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show TxIx | |||||
| Eq TxIx | |||||
| Ord TxIx | |||||
| MemPack TxIx | |||||
| NoThunks TxIx | |||||
| Random TxIx | |||||
| Uniform TxIx | |||||
Defined in Cardano.Ledger.BaseTypes Methods uniformM ∷ StatefulGen g m ⇒ g → m TxIx Source # | |||||
| UniformRange TxIx | |||||
| type Rep TxIx | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
Constructors
| Globals | |
Fields
| |
Instances
| DecCBOR Pulser Source # | |||||
| EncCBOR Pulser Source # | |||||
| NFData Globals | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NFData Pulser Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate | |||||
| Generic Globals | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show Globals | |||||
| NoThunks Globals | |||||
| NoThunks Pulser Source # | |||||
| type Rep Globals | |||||
Defined in Cardano.Ledger.BaseTypes type Rep Globals = D1 ('MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Globals" 'PrefixI 'True) (((S1 ('MetaSel ('Just "epochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Either Text))) :*: S1 ('MetaSel ('Just "slotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just "stabilityWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "randomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "securityParameter") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero Word64))))) :*: ((S1 ('MetaSel ('Just "maxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: (S1 ('MetaSel ('Just "quorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "maxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just "activeSlotCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: (S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "systemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)))))) | |||||
Constructors
| Port | |
Fields | |
Instances
| FromJSON Port | |||||
| ToJSON Port | |||||
| DecCBOR Port | |||||
| EncCBOR Port | |||||
| NFData Port | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic Port | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Num Port | |||||
| Show Port | |||||
| Eq Port | |||||
| Ord Port | |||||
| NoThunks Port | |||||
| type Rep Port | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
Evolving nonce type.
Constructors
| Nonce !(Hash Blake2b_256 Nonce) | |
| NeutralNonce | Identity element |
Instances
| FromJSON Nonce | |||||
| ToJSON Nonce | |||||
| FromCBOR Nonce | |||||
| ToCBOR Nonce | |||||
| DecCBOR Nonce | |||||
| EncCBOR Nonce | |||||
| ToPlutusData Nonce | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| NFData Nonce | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic Nonce | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show Nonce | |||||
| Eq Nonce | |||||
| Ord Nonce | |||||
| NoThunks Nonce | |||||
| type Rep Nonce | |||||
Defined in Cardano.Ledger.BaseTypes type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type)) | |||||
certIxToInt ∷ CertIx → Int Source #
data StakeReference Source #
Constructors
| StakeRefBase !(Credential 'Staking) | |
| StakeRefPtr !Ptr | |
| StakeRefNull |
Instances
| ToJSON StakeReference | |||||
Defined in Cardano.Ledger.Credential Methods toJSON ∷ StakeReference → Value Source # toEncoding ∷ StakeReference → Encoding Source # toJSONList ∷ [StakeReference] → Value Source # | |||||
| NFData StakeReference | |||||
Defined in Cardano.Ledger.Credential Methods rnf ∷ StakeReference → () # | |||||
| Generic StakeReference | |||||
Defined in Cardano.Ledger.Credential Associated Types
| |||||
| Show StakeReference | |||||
Defined in Cardano.Ledger.Credential Methods showsPrec ∷ Int → StakeReference → ShowS # show ∷ StakeReference → String # showList ∷ [StakeReference] → ShowS # | |||||
| Eq StakeReference | |||||
Defined in Cardano.Ledger.Credential Methods (==) ∷ StakeReference → StakeReference → Bool # (/=) ∷ StakeReference → StakeReference → Bool # | |||||
| Ord StakeReference | |||||
Defined in Cardano.Ledger.Credential Methods compare ∷ StakeReference → StakeReference → Ordering # (<) ∷ StakeReference → StakeReference → Bool # (<=) ∷ StakeReference → StakeReference → Bool # (>) ∷ StakeReference → StakeReference → Bool # (>=) ∷ StakeReference → StakeReference → Bool # | |||||
| NoThunks StakeReference | |||||
Defined in Cardano.Ledger.Credential | |||||
| type Rep StakeReference | |||||
Defined in Cardano.Ledger.Credential type Rep StakeReference = D1 ('MetaData "StakeReference" "Cardano.Ledger.Credential" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "StakeRefBase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: (C1 ('MetaCons "StakeRefPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Ptr)) :+: C1 ('MetaCons "StakeRefNull" 'PrefixI 'False) (U1 ∷ Type → Type))) | |||||
data Credential (kr ∷ KeyRole) Source #
Script hash or key hash for a payment or a staking object.
Note that credentials (unlike raw key hashes) do appear to vary from era to era, since they reference the hash of a script, which can change. This parameter is a phantom, however, so in actuality the instances will remain the same.
Constructors
| ScriptHashObj !ScriptHash | |
| KeyHashObj !(KeyHash kr) |
Instances
| HasKeyRole Credential | |||||
Defined in Cardano.Ledger.Credential Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). Credential r → Credential r' Source # | |||||
| FromJSON (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods parseJSON ∷ Value → Parser (Credential kr) Source # parseJSONList ∷ Value → Parser [Credential kr] Source # omittedField ∷ Maybe (Credential kr) Source # | |||||
| FromJSONKey (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods fromJSONKey ∷ FromJSONKeyFunction (Credential kr) Source # fromJSONKeyList ∷ FromJSONKeyFunction [Credential kr] Source # | |||||
| ToJSON (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods toJSON ∷ Credential kr → Value Source # toEncoding ∷ Credential kr → Encoding Source # toJSONList ∷ [Credential kr] → Value Source # toEncodingList ∷ [Credential kr] → Encoding Source # omitField ∷ Credential kr → Bool Source # | |||||
| ToJSONKey (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods toJSONKey ∷ ToJSONKeyFunction (Credential kr) Source # | |||||
| Typeable kr ⇒ FromCBOR (Credential kr) | |||||
Defined in Cardano.Ledger.Credential | |||||
| Typeable kr ⇒ ToCBOR (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods toCBOR ∷ Credential kr → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Credential kr) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Credential kr] → Size Source # | |||||
| Typeable kr ⇒ DecCBOR (Credential kr) | |||||
Defined in Cardano.Ledger.Credential | |||||
| Typeable kr ⇒ EncCBOR (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods encCBOR ∷ Credential kr → Encoding Source # | |||||
| Default (Credential r) | |||||
Defined in Cardano.Ledger.Credential Methods def ∷ Credential r Source # | |||||
| NFData (Credential r) | |||||
Defined in Cardano.Ledger.Credential Methods rnf ∷ Credential r → () # | |||||
| Generic (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Associated Types
| |||||
| Show (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods showsPrec ∷ Int → Credential kr → ShowS # show ∷ Credential kr → String # showList ∷ [Credential kr] → ShowS # | |||||
| Eq (Credential kr) | |||||
Defined in Cardano.Ledger.Credential | |||||
| Ord (Credential kr) | |||||
Defined in Cardano.Ledger.Credential Methods compare ∷ Credential kr → Credential kr → Ordering # (<) ∷ Credential kr → Credential kr → Bool # (<=) ∷ Credential kr → Credential kr → Bool # (>) ∷ Credential kr → Credential kr → Bool # (>=) ∷ Credential kr → Credential kr → Bool # max ∷ Credential kr → Credential kr → Credential kr # min ∷ Credential kr → Credential kr → Credential kr # | |||||
| Typeable kr ⇒ MemPack (Credential kr) | |||||
Defined in Cardano.Ledger.Credential | |||||
| NoThunks (Credential kr) | |||||
Defined in Cardano.Ledger.Credential | |||||
| type Rep (Credential kr) | |||||
Defined in Cardano.Ledger.Credential type Rep (Credential kr) = D1 ('MetaData "Credential" "Cardano.Ledger.Credential" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ScriptHashObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash)) :+: C1 ('MetaCons "KeyHashObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash kr)))) | |||||
The amount of value held by a transaction output.
Instances
| FromJSON Coin | |||||
| ToJSON Coin | |||||
| FromCBOR Coin | |||||
| ToCBOR Coin | |||||
| DecCBOR Coin | |||||
| EncCBOR Coin | |||||
| HasZero Coin | |||||
| Compactible Coin | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| ToPlutusData Coin | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| Val Coin | |||||
Defined in Cardano.Ledger.Val Methods (<+>) ∷ Coin → Coin → Coin Source # (<×>) ∷ Integral i ⇒ i → Coin → Coin Source # (<->) ∷ Coin → Coin → Coin Source # modifyCoin ∷ (Coin → Coin) → Coin → Coin Source # size ∷ Coin → Integer Source # pointwise ∷ (Integer → Integer → Bool) → Coin → Coin → Bool Source # isAdaOnly ∷ Coin → Bool Source # isAdaOnlyCompact ∷ CompactForm Coin → Bool Source # coinCompact ∷ CompactForm Coin → CompactForm Coin Source # injectCompact ∷ CompactForm Coin → CompactForm Coin Source # modifyCompactCoin ∷ (CompactForm Coin → CompactForm Coin) → CompactForm Coin → CompactForm Coin Source # | |||||
| NFData Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Monoid Coin | |||||
| Semigroup Coin | |||||
| Enum Coin | |||||
| Generic Coin | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| Show Coin | |||||
| Eq Coin | |||||
| Ord Coin | |||||
| Abelian Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group Coin | |||||
| NoThunks Coin | |||||
| PartialOrd Coin | |||||
| Uniform Coin | |||||
Defined in Cardano.Ledger.Coin Methods uniformM ∷ StatefulGen g m ⇒ g → m Coin Source # | |||||
| UniformRange Coin | |||||
| Inject Coin DeltaCoin | |||||
| FromJSON (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods parseJSON ∷ Value → Parser (CompactForm Coin) Source # parseJSONList ∷ Value → Parser [CompactForm Coin] Source # | |||||
| ToJSON (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods toJSON ∷ CompactForm Coin → Value Source # toEncoding ∷ CompactForm Coin → Encoding Source # toJSONList ∷ [CompactForm Coin] → Value Source # toEncodingList ∷ [CompactForm Coin] → Encoding Source # | |||||
| ToCBOR (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| DecCBOR (CompactForm Coin) | |||||
| EncCBOR (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| ToPlutusData (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ CompactForm Coin → Data Source # fromPlutusData ∷ Data → Maybe (CompactForm Coin) Source # | |||||
| NFData (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods rnf ∷ CompactForm Coin → () # | |||||
| Monoid (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods mappend ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # mconcat ∷ [CompactForm Coin] → CompactForm Coin # | |||||
| Semigroup (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods (<>) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # sconcat ∷ NonEmpty (CompactForm Coin) → CompactForm Coin # stimes ∷ Integral b ⇒ b → CompactForm Coin → CompactForm Coin # | |||||
| Generic (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Associated Types
Methods from ∷ CompactForm Coin → Rep (CompactForm Coin) x # to ∷ Rep (CompactForm Coin) x → CompactForm Coin # | |||||
| Show (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| Eq (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods (==) ∷ CompactForm Coin → CompactForm Coin → Bool # (/=) ∷ CompactForm Coin → CompactForm Coin → Bool # | |||||
| Ord (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods compare ∷ CompactForm Coin → CompactForm Coin → Ordering # (<) ∷ CompactForm Coin → CompactForm Coin → Bool # (<=) ∷ CompactForm Coin → CompactForm Coin → Bool # (>) ∷ CompactForm Coin → CompactForm Coin → Bool # (>=) ∷ CompactForm Coin → CompactForm Coin → Bool # max ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # min ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin # | |||||
| Abelian (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods invert ∷ CompactForm Coin → CompactForm Coin Source # (~~) ∷ CompactForm Coin → CompactForm Coin → CompactForm Coin Source # pow ∷ Integral x ⇒ CompactForm Coin → x → CompactForm Coin Source # | |||||
| MemPack (CompactForm Coin) | This instance prefixes with a 0 Tag for binary compatibility with compact form of multiassets. | ||||
Defined in Cardano.Ledger.Coin | |||||
| NoThunks (CompactForm Coin) | |||||
| Prim (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods sizeOfType# ∷ Proxy (CompactForm Coin) → Int# Source # sizeOf# ∷ CompactForm Coin → Int# Source # alignmentOfType# ∷ Proxy (CompactForm Coin) → Int# Source # alignment# ∷ CompactForm Coin → Int# Source # indexByteArray# ∷ ByteArray# → Int# → CompactForm Coin Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → CompactForm Coin → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → CompactForm Coin → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → CompactForm Coin Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, CompactForm Coin #) Source # writeOffAddr# ∷ Addr# → Int# → CompactForm Coin → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → CompactForm Coin → State# s → State# s Source # | |||||
| Uniform (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods uniformM ∷ StatefulGen g m ⇒ g → m (CompactForm Coin) Source # | |||||
| UniformRange (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods uniformRM ∷ StatefulGen g m ⇒ (CompactForm Coin, CompactForm Coin) → g → m (CompactForm Coin) Source # isInRange ∷ (CompactForm Coin, CompactForm Coin) → CompactForm Coin → Bool Source # | |||||
| newtype CompactForm Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| type Rep Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| type Rep (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin type Rep (CompactForm Coin) = D1 ('MetaData "CompactForm" "Cardano.Ledger.Coin" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "CompactCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCompactCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
word64ToCoin ∷ Word64 → Coin Source #
newtype Withdrawals Source #
This is called wdrl in the spec.
Constructors
| Withdrawals | |
Fields | |
Instances
| DecCBOR Withdrawals | |||||
Defined in Cardano.Ledger.Address | |||||
| EncCBOR Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods | |||||
| NFData Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals → () # | |||||
| Generic Withdrawals | |||||
Defined in Cardano.Ledger.Address Associated Types
| |||||
| Show Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals → ShowS # show ∷ Withdrawals → String # showList ∷ [Withdrawals] → ShowS # | |||||
| Eq Withdrawals | |||||
Defined in Cardano.Ledger.Address | |||||
| NoThunks Withdrawals | |||||
Defined in Cardano.Ledger.Address | |||||
| type Rep Withdrawals | |||||
Defined in Cardano.Ledger.Address type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin)))) | |||||
data RewardAccount Source #
An account based address for rewards
Constructors
| RewardAccount | |
Fields
| |
Instances
| FromJSON RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods parseJSON ∷ Value → Parser RewardAccount Source # parseJSONList ∷ Value → Parser [RewardAccount] Source # | |||||
| FromJSONKey RewardAccount | |||||
Defined in Cardano.Ledger.Address | |||||
| ToJSON RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods toJSON ∷ RewardAccount → Value Source # toEncoding ∷ RewardAccount → Encoding Source # toJSONList ∷ [RewardAccount] → Value Source # | |||||
| ToJSONKey RewardAccount | |||||
Defined in Cardano.Ledger.Address | |||||
| DecCBOR RewardAccount | |||||
Defined in Cardano.Ledger.Address | |||||
| EncCBOR RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods | |||||
| Default RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods | |||||
| NFData RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods rnf ∷ RewardAccount → () # | |||||
| Generic RewardAccount | |||||
Defined in Cardano.Ledger.Address Associated Types
| |||||
| Show RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → RewardAccount → ShowS # show ∷ RewardAccount → String # showList ∷ [RewardAccount] → ShowS # | |||||
| Eq RewardAccount | |||||
Defined in Cardano.Ledger.Address | |||||
| Ord RewardAccount | |||||
Defined in Cardano.Ledger.Address Methods compare ∷ RewardAccount → RewardAccount → Ordering # (<) ∷ RewardAccount → RewardAccount → Bool # (<=) ∷ RewardAccount → RewardAccount → Bool # (>) ∷ RewardAccount → RewardAccount → Bool # (>=) ∷ RewardAccount → RewardAccount → Bool # | |||||
| NoThunks RewardAccount | |||||
Defined in Cardano.Ledger.Address | |||||
| type Rep RewardAccount | |||||
Defined in Cardano.Ledger.Address type Rep RewardAccount = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RewardAccount" 'PrefixI 'True) (S1 ('MetaSel ('Just "raNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "raCredential") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)))) | |||||
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 ChainAccountState Source #
Instances
| ToJSON ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods toJSON ∷ ChainAccountState → Value Source # toEncoding ∷ ChainAccountState → Encoding Source # toJSONList ∷ [ChainAccountState] → Value Source # | |||||
| DecCBOR ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount | |||||
| EncCBOR ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods | |||||
| ToKeyValuePairs ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ChainAccountState → [kv] Source # | |||||
| Default ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods | |||||
| NFData ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods rnf ∷ ChainAccountState → () # | |||||
| Generic ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Associated Types
Methods from ∷ ChainAccountState → Rep ChainAccountState x # to ∷ Rep ChainAccountState x → ChainAccountState # | |||||
| Show ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods showsPrec ∷ Int → ChainAccountState → ShowS # show ∷ ChainAccountState → String # showList ∷ [ChainAccountState] → ShowS # | |||||
| Eq ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount Methods | |||||
| NoThunks ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount | |||||
| type Rep ChainAccountState | |||||
Defined in Cardano.Ledger.State.ChainAccount type Rep ChainAccountState = D1 ('MetaData "ChainAccountState" "Cardano.Ledger.State.ChainAccount" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ChainAccountState" 'PrefixI 'True) (S1 ('MetaSel ('Just "casTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "casReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) | |||||
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
| ToJSON PoolDistr | |||||
| DecCBOR PoolDistr | |||||
| EncCBOR PoolDistr | |||||
| Default PoolDistr | |||||
Defined in Cardano.Ledger.State.PoolDistr | |||||
| NFData PoolDistr | |||||
Defined in Cardano.Ledger.State.PoolDistr | |||||
| Generic PoolDistr | |||||
Defined in Cardano.Ledger.State.PoolDistr Associated Types
| |||||
| Show PoolDistr | |||||
| Eq PoolDistr | |||||
| NoThunks PoolDistr | |||||
| type Rep PoolDistr | |||||
Defined in Cardano.Ledger.State.PoolDistr type Rep PoolDistr = D1 ('MetaData "PoolDistr" "Cardano.Ledger.State.PoolDistr" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) IndividualPoolStake)) :*: S1 ('MetaSel ('Just "pdTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)))) | |||||
individualPoolStake ∷ IndividualPoolStake → Rational Source #
Pool stake distribution. This is a ratio of individualTotalPoolStake/pdTotalActiveStake
data StakePoolParams Source #
A stake pool.
Constructors
| StakePoolParams | |
Fields
| |
Bundled Patterns
| pattern PoolParams ∷ KeyHash 'StakePool → VRFVerKeyHash 'StakePoolVRF → Coin → Coin → UnitInterval → RewardAccount → Set (KeyHash 'Staking) → StrictSeq StakePoolRelay → StrictMaybe PoolMetadata → PoolParams |
Instances
| FromJSON StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods parseJSON ∷ Value → Parser StakePoolParams Source # | |||||
| ToJSON StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods toJSON ∷ StakePoolParams → Value Source # toEncoding ∷ StakePoolParams → Encoding Source # toJSONList ∷ [StakePoolParams] → Value Source # | |||||
| DecCBOR StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| EncCBOR StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods | |||||
| DecCBORGroup StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods | |||||
| EncCBORGroup StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| Default StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods | |||||
| NFData StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods rnf ∷ StakePoolParams → () # | |||||
| Generic StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Associated Types
Methods from ∷ StakePoolParams → Rep StakePoolParams x # to ∷ Rep StakePoolParams x → StakePoolParams # | |||||
| Show StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods showsPrec ∷ Int → StakePoolParams → ShowS # show ∷ StakePoolParams → String # showList ∷ [StakePoolParams] → ShowS # | |||||
| Eq StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods (==) ∷ StakePoolParams → StakePoolParams → Bool # (/=) ∷ StakePoolParams → StakePoolParams → Bool # | |||||
| Ord StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool Methods compare ∷ StakePoolParams → StakePoolParams → Ordering # (<) ∷ StakePoolParams → StakePoolParams → Bool # (<=) ∷ StakePoolParams → StakePoolParams → Bool # (>) ∷ StakePoolParams → StakePoolParams → Bool # (>=) ∷ StakePoolParams → StakePoolParams → Bool # | |||||
| NoThunks StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| type Rep StakePoolParams | |||||
Defined in Cardano.Ledger.State.StakePool type Rep StakePoolParams = D1 ('MetaData "StakePoolParams" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "StakePoolParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sppId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Just "sppVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'StakePoolVRF))) :*: (S1 ('MetaSel ('Just "sppPledge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "sppCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: ((S1 ('MetaSel ('Just "sppMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "sppRewardAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardAccount)) :*: (S1 ('MetaSel ('Just "sppOwners") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Staking))) :*: (S1 ('MetaSel ('Just "sppRelays") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay)) :*: S1 ('MetaSel ('Just "sppMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata))))))) | |||||
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
| FromJSON StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods parseJSON ∷ Value → Parser StakePoolRelay Source # | |||||
| ToJSON StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods toJSON ∷ StakePoolRelay → Value Source # toEncoding ∷ StakePoolRelay → Encoding Source # toJSONList ∷ [StakePoolRelay] → Value Source # | |||||
| DecCBOR StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| EncCBOR StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods | |||||
| NFData StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods rnf ∷ StakePoolRelay → () # | |||||
| Generic StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Associated Types
| |||||
| Show StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods showsPrec ∷ Int → StakePoolRelay → ShowS # show ∷ StakePoolRelay → String # showList ∷ [StakePoolRelay] → ShowS # | |||||
| Eq StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods (==) ∷ StakePoolRelay → StakePoolRelay → Bool # (/=) ∷ StakePoolRelay → StakePoolRelay → Bool # | |||||
| Ord StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool Methods compare ∷ StakePoolRelay → StakePoolRelay → Ordering # (<) ∷ StakePoolRelay → StakePoolRelay → Bool # (<=) ∷ StakePoolRelay → StakePoolRelay → Bool # (>) ∷ StakePoolRelay → StakePoolRelay → Bool # (>=) ∷ StakePoolRelay → StakePoolRelay → Bool # | |||||
| NoThunks StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| type Rep StakePoolRelay | |||||
Defined in Cardano.Ledger.State.StakePool type Rep StakePoolRelay = D1 ('MetaData "StakePoolRelay" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "SingleHostAddr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv4)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv6)))) :+: (C1 ('MetaCons "SingleHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)) :+: C1 ('MetaCons "MultiHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)))) | |||||
data PoolMetadata Source #
Constructors
| PoolMetadata | |
Fields
| |
Instances
| FromJSON PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods parseJSON ∷ Value → Parser PoolMetadata Source # parseJSONList ∷ Value → Parser [PoolMetadata] Source # | |||||
| ToJSON PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods toJSON ∷ PoolMetadata → Value Source # toEncoding ∷ PoolMetadata → Encoding Source # toJSONList ∷ [PoolMetadata] → Value Source # toEncodingList ∷ [PoolMetadata] → Encoding Source # omitField ∷ PoolMetadata → Bool Source # | |||||
| DecCBOR PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| EncCBOR PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods | |||||
| NFData PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods rnf ∷ PoolMetadata → () # | |||||
| Generic PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Associated Types
| |||||
| Show PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods showsPrec ∷ Int → PoolMetadata → ShowS # show ∷ PoolMetadata → String # showList ∷ [PoolMetadata] → ShowS # | |||||
| Eq PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| Ord PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool Methods compare ∷ PoolMetadata → PoolMetadata → Ordering # (<) ∷ PoolMetadata → PoolMetadata → Bool # (<=) ∷ PoolMetadata → PoolMetadata → Bool # (>) ∷ PoolMetadata → PoolMetadata → Bool # (>=) ∷ PoolMetadata → PoolMetadata → Bool # max ∷ PoolMetadata → PoolMetadata → PoolMetadata # min ∷ PoolMetadata → PoolMetadata → PoolMetadata # | |||||
| NoThunks PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| type Rep PoolMetadata | |||||
Defined in Cardano.Ledger.State.StakePool type Rep PoolMetadata = D1 ('MetaData "PoolMetadata" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))) | |||||
Constructors
| RegPool !StakePoolParams | A stake pool registration certificate. |
| RetirePool !(KeyHash 'StakePool) !EpochNo | A stake pool retirement certificate. |
Instances
| ToJSON PoolCert | |||||
| EncCBOR PoolCert | |||||
| NFData PoolCert | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| Generic PoolCert | |||||
Defined in Cardano.Ledger.Core.TxCert Associated Types
| |||||
| Show PoolCert | |||||
| Eq PoolCert | |||||
| Ord PoolCert | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| NoThunks PoolCert | |||||
| type Rep PoolCert | |||||
Defined in Cardano.Ledger.Core.TxCert type Rep PoolCert = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakePoolParams)) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))) | |||||
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
| ToJSON SnapShots | |||||
| DecCBOR SnapShots | |||||
| DecShareCBOR SnapShots | |||||
| EncCBOR SnapShots | |||||
| ToKeyValuePairs SnapShots | |||||
Defined in Cardano.Ledger.State.SnapShots Methods toKeyValuePairs ∷ KeyValue e kv ⇒ SnapShots → [kv] Source # | |||||
| Default SnapShots | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| NFData SnapShots | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| Generic SnapShots | |||||
Defined in Cardano.Ledger.State.SnapShots Associated Types
| |||||
| Show SnapShots | |||||
| Eq SnapShots | |||||
| NoThunks SnapShots | |||||
| type Share SnapShots | |||||
| type Rep SnapShots | |||||
Defined in Cardano.Ledger.State.SnapShots type Rep SnapShots = D1 ('MetaData "SnapShots" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "SnapShots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeMark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssStakeMarkPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "ssStakeSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: (S1 ('MetaSel ('Just "ssStakeGo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) | |||||
Snapshot of the stake distribution.
Constructors
| SnapShot | |
Fields
| |
Instances
| ToJSON SnapShot | |||||
| DecShareCBOR SnapShot | |||||
| EncCBOR SnapShot | |||||
| ToKeyValuePairs SnapShot | |||||
Defined in Cardano.Ledger.State.SnapShots Methods toKeyValuePairs ∷ KeyValue e kv ⇒ SnapShot → [kv] Source # | |||||
| NFData SnapShot | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| Generic SnapShot | |||||
Defined in Cardano.Ledger.State.SnapShots Associated Types
| |||||
| Show SnapShot | |||||
| Eq SnapShot | |||||
| NoThunks SnapShot | |||||
| type Share SnapShot | |||||
| type Rep SnapShot | |||||
Defined in Cardano.Ledger.State.SnapShots type Rep SnapShot = D1 ('MetaData "SnapShot" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "SnapShot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Stake) :*: (S1 ('MetaSel ('Just "ssDelegations") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (Credential 'Staking) (KeyHash 'StakePool))) :*: S1 ('MetaSel ('Just "ssPoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash 'StakePool) StakePoolParams))))) | |||||
Type of stake as map from staking credential to coins associated. Any staking credential that has no stake will not appear in this Map, even if it is registered. For this reason, this data type should not be used for infering whether credential is registered or not.
Constructors
| Stake | |
Fields
| |
Instances
| ToJSON Stake | |||||
| DecShareCBOR Stake | |||||
| EncCBOR Stake | |||||
| NFData Stake | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| Generic Stake | |||||
Defined in Cardano.Ledger.State.SnapShots Associated Types
| |||||
| Show Stake | |||||
| Eq Stake | |||||
| NoThunks Stake | |||||
| type Share Stake | |||||
| type Rep Stake | |||||
Defined in Cardano.Ledger.State.SnapShots type Rep Stake = D1 ('MetaData "Stake" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential 'Staking) (CompactForm Coin))))) | |||||
type family AccountState era = (r ∷ Type) | r → era Source #
Instances
| type AccountState ShelleyEra Source # | |
Defined in Cardano.Ledger.Shelley.State.Account | |
type family AccountState era = (r ∷ Type) | r → era Source #
Instances
| type AccountState ShelleyEra Source # | |
Defined in Cardano.Ledger.Shelley.State.Account | |
class (EraAccounts era, ToJSON (CertState era), EncCBOR (CertState era), DecShareCBOR (CertState era), Share (CertState era) ~ (Interns (Credential 'Staking), Interns (KeyHash 'StakePool), Interns (Credential 'DRepRole), Interns (Credential 'HotCommitteeRole)), Default (CertState era), NoThunks (CertState era), NFData (CertState era), Show (CertState era), Eq (CertState era)) ⇒ EraCertState era where Source #
The state associated with the DELPL rule, which combines the DELEG rule and the POOL rule.
Methods
certDStateL ∷ Lens' (CertState era) (DState era) Source #
certPStateL ∷ Lens' (CertState era) (PState era) Source #
obligationCertState ∷ CertState era → Obligations Source #
Calculate total possible refunds in the system that are related to certificates
There is an invariant that the sum of all the fields should be the same as the utxosDeposited field of the UTxOState. Note that this does not depend upon the current values of the Key and Pool deposits of the PParams.
certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody era ⇒ PParams era → CertState era → TxBody t era → Coin Source #
Compute the total deposits from the Certs of a TxBody.
This is the contribution of a TxBody towards the deposit pot (utxosDeposit field of the UTxOState) of the system
certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody era ⇒ PParams era → CertState era → TxBody t era → Coin Source #
Compute the total refunds from the Certs of a TxBody.
This is the contribution of a TxBody towards the total Obligations of the system
See Obligations and obligationCertState for more information.
Instances
| EraCertState ShelleyEra Source # | |||||
Defined in Cardano.Ledger.Shelley.State.CertState Associated Types
Methods certDStateL ∷ Lens' (CertState ShelleyEra) (DState ShelleyEra) Source # certPStateL ∷ Lens' (CertState ShelleyEra) (PState ShelleyEra) Source # obligationCertState ∷ CertState ShelleyEra → Obligations Source # certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source # certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → CertState ShelleyEra → TxBody t ShelleyEra → Coin Source # | |||||
type family CertState era = (r ∷ Type) | r → era Source #
Instances
| type CertState ShelleyEra Source # | |
Defined in Cardano.Ledger.Shelley.State.CertState | |
The state used by the POOL rule, which tracks stake pool information.
Constructors
| PState | |
Fields
| |
Instances
| ToJSON (PState era) | |||||
| (Era era, DecShareCBOR (PState era)) ⇒ DecCBOR (PState era) | |||||
| DecShareCBOR (PState era) | |||||
| Era era ⇒ EncCBOR (PState era) | |||||
| ToKeyValuePairs (PState era) | |||||
Defined in Cardano.Ledger.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ PState era → [kv] Source # | |||||
| Default (PState era) | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| NFData (PState era) | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| Generic (PState era) | |||||
Defined in Cardano.Ledger.State.CertState Associated Types
| |||||
| Show (PState era) | |||||
| Eq (PState era) | |||||
| NoThunks (PState era) | |||||
| type Share (PState era) | |||||
| type Rep (PState era) | |||||
Defined in Cardano.Ledger.State.CertState type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psVRFKeyHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (VRFVerKeyHash 'StakePoolVRF) (NonZero Word64))) :*: S1 ('MetaSel ('Just "psStakePools") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) StakePoolState))) :*: (S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) EpochNo))))) | |||||
The state used by the DELEG rule, which roughly tracks stake delegation and some governance features.
Constructors
| DState | |
Fields
| |
Instances
| CanGetAccounts DState | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| CanSetAccounts DState | |||||
| ToJSON (Accounts era) ⇒ ToJSON (DState era) | |||||
| EraAccounts era ⇒ DecShareCBOR (DState era) | |||||
| (Era era, EncCBOR (Accounts era)) ⇒ EncCBOR (DState era) | |||||
| ToJSON (Accounts era) ⇒ ToKeyValuePairs (DState era) | |||||
Defined in Cardano.Ledger.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ DState era → [kv] Source # | |||||
| Default (Accounts era) ⇒ Default (DState era) | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| NFData (Accounts era) ⇒ NFData (DState era) | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| Generic (DState era) | |||||
Defined in Cardano.Ledger.State.CertState Associated Types
| |||||
| Show (Accounts era) ⇒ Show (DState era) | |||||
| Eq (Accounts era) ⇒ Eq (DState era) | |||||
| NoThunks (Accounts era) ⇒ NoThunks (DState era) | |||||
| type Share (DState era) | |||||
| type Rep (DState era) | |||||
Defined in Cardano.Ledger.State.CertState type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "DState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dsAccounts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Accounts era)) :*: S1 ('MetaSel ('Just "dsFutureGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map FutureGenDeleg GenDelegPair))) :*: (S1 ('MetaSel ('Just "dsGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenDelegs) :*: S1 ('MetaSel ('Just "dsIRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 InstantaneousRewards)))) | |||||
data InstantaneousRewards 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
| ToJSON InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| DecShareCBOR InstantaneousRewards | |||||
| EncCBOR InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods | |||||
| ToKeyValuePairs InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods toKeyValuePairs ∷ KeyValue e kv ⇒ InstantaneousRewards → [kv] Source # | |||||
| Default InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods | |||||
| NFData InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods rnf ∷ InstantaneousRewards → () # | |||||
| Generic InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Associated Types
Methods | |||||
| Show InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods showsPrec ∷ Int → InstantaneousRewards → ShowS # show ∷ InstantaneousRewards → String # showList ∷ [InstantaneousRewards] → ShowS # | |||||
| Eq InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState Methods | |||||
| NoThunks InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState | |||||
| type Share InstantaneousRewards | |||||
| type Rep InstantaneousRewards | |||||
Defined in Cardano.Ledger.State.CertState type Rep InstantaneousRewards = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "InstantaneousRewards" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iRReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin)) :*: S1 ('MetaSel ('Just "iRTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) Coin))) :*: (S1 ('MetaSel ('Just "deltaReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "deltaTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin)))) | |||||
data ShelleyTx (l ∷ TxLevel) era where Source #
Constructors
| ShelleyTx | |
Instances
| (Typeable l, EraTxBody era, EraTxWits era, EraTxAuxData era, STxLevel l era ~ STxTopLevel l era) ⇒ DecCBOR (Annotator (ShelleyTx l era)) Source # | |
| (Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era), Typeable l) ⇒ ToCBOR (ShelleyTx l era) Source # | |
| (Era era, EncCBOR (TxWits era), EncCBOR (TxBody l era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTx l era) Source # | |
| (NFData (TxBody l era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx l era) Source # | |
Defined in Cardano.Ledger.Shelley.Tx | |
| (Era era, Show (TxBody l era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx l era) Source # | |
| (Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx l era) Source # | |
| (Typeable era, Typeable l) ⇒ NoThunks (ShelleyTx l era) Source # | |
data ShelleyTxOut era Source #
Constructors
| TxOutCompact !CompactAddr !(CompactForm (Value era)) |
Bundled Patterns
| pattern ShelleyTxOut ∷ (HasCallStack, Era era, Val (Value era)) ⇒ Addr → Value era → ShelleyTxOut era |
Instances
| (Era era, Val (Value era)) ⇒ ToJSON (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods toJSON ∷ ShelleyTxOut era → Value Source # toEncoding ∷ ShelleyTxOut era → Encoding Source # toJSONList ∷ [ShelleyTxOut era] → Value Source # toEncodingList ∷ [ShelleyTxOut era] → Encoding Source # omitField ∷ ShelleyTxOut era → Bool Source # | |||||
| (Era era, DecCBOR (CompactForm (Value era))) ⇒ FromCBOR (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut | |||||
| (Era era, EncCBOR (CompactForm (Value era))) ⇒ ToCBOR (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods toCBOR ∷ ShelleyTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxOut era] → Size Source # | |||||
| (Era era, DecCBOR (CompactForm (Value era))) ⇒ DecCBOR (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut | |||||
| (Era era, MemPack (CompactForm (Value era)), DecCBOR (CompactForm (Value era))) ⇒ DecShareCBOR (ShelleyTxOut era) Source # | |||||
| (Era era, EncCBOR (CompactForm (Value era))) ⇒ EncCBOR (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods encCBOR ∷ ShelleyTxOut era → Encoding Source # | |||||
| (Era era, Val (Value era)) ⇒ ToKeyValuePairs (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxOut era → [kv] Source # | |||||
| NFData (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods rnf ∷ ShelleyTxOut era → () # | |||||
| Generic (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Associated Types
Methods from ∷ ShelleyTxOut era → Rep (ShelleyTxOut era) x # to ∷ Rep (ShelleyTxOut era) x → ShelleyTxOut era # | |||||
| (Era era, Val (Value era)) ⇒ Show (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods showsPrec ∷ Int → ShelleyTxOut era → ShowS # show ∷ ShelleyTxOut era → String # showList ∷ [ShelleyTxOut era] → ShowS # | |||||
| Eq (CompactForm (Value era)) ⇒ Eq (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods (==) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (/=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # | |||||
| (Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (ShelleyTxOut era) Source # | This instance uses a zero Tag for forward compatibility in binary representation with TxOut instances for future eras | ||||
Defined in Cardano.Ledger.Shelley.TxOut Methods packedByteCount ∷ ShelleyTxOut era → Int Source # packM ∷ ShelleyTxOut era → Pack s () Source # | |||||
| NoThunks (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut | |||||
| type Share (ShelleyTxOut era) Source # | |||||
| type Rep (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut type Rep (ShelleyTxOut era) = D1 ('MetaData "ShelleyTxOut" "Cardano.Ledger.Shelley.TxOut" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "TxOutCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutCompactAddr") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Just "txOutCompactValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))))) | |||||
newtype ShelleyTxAuxData era Source #
Constructors
| MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era)) |
Bundled Patterns
| pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era |
Instances
| Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods toCBOR ∷ ShelleyTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source # | |||||
| Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxData era)) Source # | |||||
| Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source # | Encodes memoized bytes created upon construction. | ||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods encCBOR ∷ ShelleyTxAuxData era → Encoding Source # | |||||
| SafeToHash (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods originalBytes ∷ ShelleyTxAuxData era → ByteString Source # originalBytesSize ∷ ShelleyTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source # | |||||
| EqRaw (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source # | |||||
| Memoized (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types
Methods getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era | |||||
| NFData (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () # | |||||
| Generic (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types
Methods from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x # to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era # | |||||
| Show (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxData era → ShowS # show ∷ ShelleyTxAuxData era → String # showList ∷ [ShelleyTxAuxData era] → ShowS # | |||||
| Eq (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool # | |||||
| NoThunks (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData | |||||
| HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source # | |||||
| type RawType (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData | |||||
| type Rep (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era))))) | |||||
data LedgerState era Source #
The state associated with a Ledger.
Constructors
| LedgerState | |
Fields
| |
Instances
| CanGetInstantStake LedgerState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeG ∷ SimpleGetter (LedgerState era) (InstantStake era) Source # | |||||
| CanSetInstantStake LedgerState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeL ∷ Lens' (LedgerState era) (InstantStake era) Source # | |||||
| CanGetUTxO LedgerState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (LedgerState era) (UTxO era) Source # | |||||
| CanSetUTxO LedgerState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToJSON (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ LedgerState era → Value Source # toEncoding ∷ LedgerState era → Encoding Source # toJSONList ∷ [LedgerState era] → Value Source # toEncodingList ∷ [LedgerState era] → Encoding Source # omitField ∷ LedgerState era → Bool Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ FromCBOR (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToCBOR (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ LedgerState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LedgerState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LedgerState era] → Size Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ DecShareCBOR (LedgerState era) Source # | |||||
| (EraTxOut era, EraStake era, EncCBOR (GovState era), EncCBOR (CertState era)) ⇒ EncCBOR (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ LedgerState era → Encoding Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToKeyValuePairs (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toKeyValuePairs ∷ KeyValue e kv ⇒ LedgerState era → [kv] Source # | |||||
| (Default (UTxOState era), Default (CertState era)) ⇒ Default (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ LedgerState era Source # | |||||
| (EraTxOut era, NFData (GovState era), NFData (CertState era), NFData (InstantStake era)) ⇒ NFData (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ LedgerState era → () # | |||||
| Generic (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types
Methods from ∷ LedgerState era → Rep (LedgerState era) x # to ∷ Rep (LedgerState era) x → LedgerState era # | |||||
| (EraTxOut era, Show (GovState era), Show (CertState era), Show (InstantStake era)) ⇒ Show (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → LedgerState era → ShowS # show ∷ LedgerState era → String # showList ∷ [LedgerState era] → ShowS # | |||||
| (EraTxOut era, Eq (GovState era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ LedgerState era → LedgerState era → Bool # (/=) ∷ LedgerState era → LedgerState era → Bool # | |||||
| (EraTxOut era, NoThunks (GovState era), NoThunks (CertState era), NoThunks (InstantStake era)) ⇒ NoThunks (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| type Share (LedgerState era) Source # | |||||
| type Rep (LedgerState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (LedgerState era) = D1 ('MetaData "LedgerState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "LedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "lsUTxOState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxOState era)) :*: S1 ('MetaSel ('Just "lsCertState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertState era)))) | |||||
data NewEpochState era Source #
New Epoch state and environment
Constructors
| NewEpochState | |
Fields
| |
Instances
| CanGetChainAccountState NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods chainAccountStateG ∷ SimpleGetter (NewEpochState era) ChainAccountState Source # | |||||
| CanSetChainAccountState NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods chainAccountStateL ∷ Lens' (NewEpochState era) ChainAccountState Source # | |||||
| CanGetInstantStake NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeG ∷ SimpleGetter (NewEpochState era) (InstantStake era) Source # | |||||
| CanSetInstantStake NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeL ∷ Lens' (NewEpochState era) (InstantStake era) Source # | |||||
| CanGetUTxO NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (NewEpochState era) (UTxO era) Source # | |||||
| CanSetUTxO NewEpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era, DecCBOR (StashedAVVMAddresses era)) ⇒ FromCBOR (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era, EncCBOR (StashedAVVMAddresses era)) ⇒ ToCBOR (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ NewEpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NewEpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NewEpochState era] → Size Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, DecCBOR (StashedAVVMAddresses era), EraCertState era) ⇒ DecCBOR (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraStake era, EncCBOR (StashedAVVMAddresses era), EncCBOR (GovState era), EncCBOR (CertState era)) ⇒ EncCBOR (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ NewEpochState era → Encoding Source # | |||||
| (EraStake era, EraGov era, EraCertState era, Default (StashedAVVMAddresses era)) ⇒ Default (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ NewEpochState era Source # | |||||
| (EraTxOut era, NFData (StashedAVVMAddresses era), NFData (GovState era), NFData (CertState era), NFData (InstantStake era)) ⇒ NFData (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ NewEpochState era → () # | |||||
| Generic (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types
Methods from ∷ NewEpochState era → Rep (NewEpochState era) x # to ∷ Rep (NewEpochState era) x → NewEpochState era # | |||||
| (EraTxOut era, Show (StashedAVVMAddresses era), Show (GovState era), Show (CertState era), Show (InstantStake era)) ⇒ Show (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → NewEpochState era → ShowS # show ∷ NewEpochState era → String # showList ∷ [NewEpochState era] → ShowS # | |||||
| (EraTxOut era, Eq (StashedAVVMAddresses era), Eq (GovState era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ NewEpochState era → NewEpochState era → Bool # (/=) ∷ NewEpochState era → NewEpochState era → Bool # | |||||
| (Era era, NoThunks (EpochState era), NoThunks (StashedAVVMAddresses era)) ⇒ NoThunks (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| type Rep (NewEpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (NewEpochState era) = D1 ('MetaData "NewEpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "NewEpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nesEL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "nesBprev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlocksMade) :*: S1 ('MetaSel ('Just "nesBcur") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlocksMade))) :*: ((S1 ('MetaSel ('Just "nesEs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochState era)) :*: S1 ('MetaSel ('Just "nesRu") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PulsingRewUpdate))) :*: (S1 ('MetaSel ('Just "nesPd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolDistr) :*: S1 ('MetaSel ('Just "stashedAVVMAddresses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StashedAVVMAddresses era)))))) | |||||
Constructors
| LedgerEnv | |
Fields | |
Instances
| EraPParams era ⇒ EncCBOR (LedgerEnv era) Source # | |||||
| NFData (PParams era) ⇒ NFData (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||
| Generic (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
| |||||
| Show (PParams era) ⇒ Show (LedgerEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (LedgerEnv era) Source # | |||||
| type Rep (LedgerEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger type Rep (LedgerEnv era) = D1 ('MetaData "LedgerEnv" "Cardano.Ledger.Shelley.Rules.Ledger" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "LedgerEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgerSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgerEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe EpochNo))) :*: (S1 ('MetaSel ('Just "ledgerIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIx) :*: (S1 ('MetaSel ('Just "ledgerPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgerAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState))))) | |||||
data EpochState era Source #
Constructors
| EpochState | |
Fields
| |
Instances
| CanGetChainAccountState EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods chainAccountStateG ∷ SimpleGetter (EpochState era) ChainAccountState Source # | |||||
| CanSetChainAccountState EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods chainAccountStateL ∷ Lens' (EpochState era) ChainAccountState Source # | |||||
| CanGetInstantStake EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeG ∷ SimpleGetter (EpochState era) (InstantStake era) Source # | |||||
| CanSetInstantStake EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeL ∷ Lens' (EpochState era) (InstantStake era) Source # | |||||
| CanGetUTxO EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (EpochState era) (UTxO era) Source # | |||||
| CanSetUTxO EpochState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToJSON (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toJSON ∷ EpochState era → Value Source # toEncoding ∷ EpochState era → Encoding Source # toJSONList ∷ [EpochState era] → Value Source # toEncodingList ∷ [EpochState era] → Encoding Source # omitField ∷ EpochState era → Bool Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ FromCBOR (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToCBOR (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR ∷ EpochState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (EpochState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochState era] → Size Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ DecCBOR (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, EraStake era, EncCBOR (GovState era), EncCBOR (CertState era)) ⇒ EncCBOR (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods encCBOR ∷ EpochState era → Encoding Source # | |||||
| (EraTxOut era, EraGov era, EraStake era, EraCertState era) ⇒ ToKeyValuePairs (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toKeyValuePairs ∷ KeyValue e kv ⇒ EpochState era → [kv] Source # | |||||
| Default (LedgerState era) ⇒ Default (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods def ∷ EpochState era Source # | |||||
| (EraTxOut era, NFData (GovState era), NFData (CertState era), NFData (InstantStake era)) ⇒ NFData (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods rnf ∷ EpochState era → () # | |||||
| Generic (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types
Methods from ∷ EpochState era → Rep (EpochState era) x # to ∷ Rep (EpochState era) x → EpochState era # | |||||
| (EraTxOut era, Show (GovState era), Show (CertState era), Show (InstantStake era)) ⇒ Show (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods showsPrec ∷ Int → EpochState era → ShowS # show ∷ EpochState era → String # showList ∷ [EpochState era] → ShowS # | |||||
| (EraTxOut era, Eq (GovState era), Eq (CertState era), Eq (InstantStake era)) ⇒ Eq (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods (==) ∷ EpochState era → EpochState era → Bool # (/=) ∷ EpochState era → EpochState era → Bool # | |||||
| (EraTxOut era, NoThunks (GovState era), NoThunks (CertState era), NoThunks (InstantStake era)) ⇒ NoThunks (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| type Rep (EpochState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (EpochState era) = D1 ('MetaData "EpochState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "EpochState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "esChainAccountState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainAccountState) :*: S1 ('MetaSel ('Just "esLState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerState era))) :*: (S1 ('MetaSel ('Just "esSnapshots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShots) :*: S1 ('MetaSel ('Just "esNonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonMyopic)))) | |||||
data RewardUpdate Source #
The ultimate goal of a reward update computation. Aggregating rewards for each staking credential.
Constructors
| RewardUpdate | |
Instances
| ToJSON RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toJSON ∷ RewardUpdate → Value Source # toEncoding ∷ RewardUpdate → Encoding Source # toJSONList ∷ [RewardUpdate] → Value Source # toEncodingList ∷ [RewardUpdate] → Encoding Source # omitField ∷ RewardUpdate → Bool Source # | |||||
| DecCBOR RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate | |||||
| EncCBOR RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Methods | |||||
| ToKeyValuePairs RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Methods toKeyValuePairs ∷ KeyValue e kv ⇒ RewardUpdate → [kv] Source # | |||||
| NFData RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Methods rnf ∷ RewardUpdate → () # | |||||
| Generic RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Associated Types
| |||||
| Show RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate Methods showsPrec ∷ Int → RewardUpdate → ShowS # show ∷ RewardUpdate → String # showList ∷ [RewardUpdate] → ShowS # | |||||
| Eq RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate | |||||
| NoThunks RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate | |||||
| type Rep RewardUpdate Source # | |||||
Defined in Cardano.Ledger.Shelley.RewardUpdate type Rep RewardUpdate = D1 ('MetaData "RewardUpdate" "Cardano.Ledger.Shelley.RewardUpdate" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "RewardUpdate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "deltaT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "deltaR") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin)) :*: (S1 ('MetaSel ('Just "rs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) (Set Reward))) :*: (S1 ('MetaSel ('Just "deltaF") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DeltaCoin) :*: S1 ('MetaSel ('Just "nonMyopic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonMyopic))))) | |||||
data ShelleyGovState era Source #
Constructors
| ShelleyGovState | |
Fields
| |
Instances
| EraPParams era ⇒ ToJSON (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toJSON ∷ ShelleyGovState era → Value Source # toEncoding ∷ ShelleyGovState era → Encoding Source # toJSONList ∷ [ShelleyGovState era] → Value Source # toEncodingList ∷ [ShelleyGovState era] → Encoding Source # omitField ∷ ShelleyGovState era → Bool Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ FromCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| (Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ ToCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toCBOR ∷ ShelleyGovState era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGovState era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGovState era] → Size Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) ⇒ DecShareCBOR (ShelleyGovState era) Source # | |||||
| (Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) ⇒ EncCBOR (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods encCBOR ∷ ShelleyGovState era → Encoding Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGovState era → [kv] Source # | |||||
| EraPParams era ⇒ Default (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods def ∷ ShelleyGovState era Source # | |||||
| (NFData (PParamsUpdate era), NFData (PParams era)) ⇒ NFData (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods rnf ∷ ShelleyGovState era → () # | |||||
| Generic (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Associated Types
Methods from ∷ ShelleyGovState era → Rep (ShelleyGovState era) x # to ∷ Rep (ShelleyGovState era) x → ShelleyGovState era # | |||||
| (Show (PParamsUpdate era), Show (PParams era)) ⇒ Show (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods showsPrec ∷ Int → ShelleyGovState era → ShowS # show ∷ ShelleyGovState era → String # showList ∷ [ShelleyGovState era] → ShowS # | |||||
| (Eq (PParamsUpdate era), Eq (PParams era)) ⇒ Eq (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods (==) ∷ ShelleyGovState era → ShelleyGovState era → Bool # (/=) ∷ ShelleyGovState era → ShelleyGovState era → Bool # | |||||
| (NoThunks (PParamsUpdate era), NoThunks (PParams era)) ⇒ NoThunks (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance | |||||
| type Share (ShelleyGovState era) Source # | |||||
| type Rep (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGovState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sgsCurProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era)) :*: S1 ('MetaSel ('Just "sgsFutureProposals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ProposedPPUpdates era))) :*: (S1 ('MetaSel ('Just "sgsCurPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: (S1 ('MetaSel ('Just "sgsPrevPParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "sgsFuturePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (FuturePParams era)))))) | |||||
There is a serious invariant that we must maintain in the UTxOState. Given (UTxOState utxo _ _ _ istake) it must be the case that Of course computing the RHS of the above equality can be very expensive, so we only use this route in the testing function smartUTxO. But we are very careful, wherever we update the UTxO, we carefully make INCREMENTAL changes to istake to maintain this invariant. This happens in the UTxO rule.
Constructors
| UTxOState | |
Fields
| |
Instances
| CanGetInstantStake UTxOState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeG ∷ SimpleGetter (UTxOState era) (InstantStake era) Source # | |||||
| CanSetInstantStake UTxOState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods instantStakeL ∷ Lens' (UTxOState era) (InstantStake era) Source # | |||||
| CanGetUTxO UTxOState Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| CanSetUTxO UTxOState Source # | |||||
| (EraTxOut era, EraGov era, EraStake era) ⇒ ToJSON (UTxOState era) Source # | |||||
| (EraTxOut era, EraGov era, EraStake era) ⇒ FromCBOR (UTxOState era) Source # | |||||
| (EraTxOut era, EraGov era, EraStake era) ⇒ ToCBOR (UTxOState era) Source # | |||||
| (EraTxOut era, EraGov era, EraStake era) ⇒ DecShareCBOR (UTxOState era) Source # | |||||
| (EraTxOut era, EraStake era, EncCBOR (GovState era)) ⇒ EncCBOR (UTxOState era) Source # | |||||
| (EraTxOut era, EraGov era, EraStake era) ⇒ ToKeyValuePairs (UTxOState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toKeyValuePairs ∷ KeyValue e kv ⇒ UTxOState era → [kv] Source # | |||||
| (EraGov era, EraStake era) ⇒ Default (UTxOState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| (EraTxOut era, NFData (GovState era), NFData (InstantStake era)) ⇒ NFData (UTxOState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |||||
| Generic (UTxOState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types Associated Types
| |||||
| (EraTxOut era, Show (GovState era), Show (InstantStake era)) ⇒ Show (UTxOState era) Source # | |||||
| (EraTxOut era, Eq (GovState era), Eq (InstantStake era)) ⇒ Eq (UTxOState era) Source # | |||||
| (NoThunks (UTxO era), NoThunks (GovState era), NoThunks (InstantStake era)) ⇒ NoThunks (UTxOState era) Source # | |||||
| type Share (UTxOState era) Source # | |||||
| type Rep (UTxOState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.LedgerState.Types type Rep (UTxOState era) = D1 ('MetaData "UTxOState" "Cardano.Ledger.Shelley.LedgerState.Types" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "UTxOState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "utxosUtxo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UTxO era)) :*: (S1 ('MetaSel ('Just "utxosDeposited") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "utxosFees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: (S1 ('MetaSel ('Just "utxosGovState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovState era)) :*: (S1 ('MetaSel ('Just "utxosInstantStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InstantStake era)) :*: S1 ('MetaSel ('Just "utxosDonation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) | |||||
mkShelleyCertState ∷ EraCertState era ⇒ PState era → DState era → CertState era Source #
newtype ProposedPPUpdates era Source #
Update operation for protocol parameters structure PParams
Constructors
| ProposedPPUpdates (Map (KeyHash 'GenesisRole) (PParamsUpdate era)) |
Instances
| EraPParams era ⇒ ToJSON (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods toJSON ∷ ProposedPPUpdates era → Value Source # toEncoding ∷ ProposedPPUpdates era → Encoding Source # toJSONList ∷ [ProposedPPUpdates era] → Value Source # toEncodingList ∷ [ProposedPPUpdates era] → Encoding Source # omitField ∷ ProposedPPUpdates era → Bool Source # | |||||
| (Era era, FromCBOR (PParamsUpdate era)) ⇒ FromCBOR (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams | |||||
| (Era era, ToCBOR (PParamsUpdate era)) ⇒ ToCBOR (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR ∷ ProposedPPUpdates era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ProposedPPUpdates era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProposedPPUpdates era] → Size Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams | |||||
| (Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR ∷ ProposedPPUpdates era → Encoding Source # | |||||
| NFData (PParamsUpdate era) ⇒ NFData (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods rnf ∷ ProposedPPUpdates era → () # | |||||
| Monoid (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods mempty ∷ ProposedPPUpdates era # mappend ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era # mconcat ∷ [ProposedPPUpdates era] → ProposedPPUpdates era # | |||||
| Semigroup (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods (<>) ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era # sconcat ∷ NonEmpty (ProposedPPUpdates era) → ProposedPPUpdates era # stimes ∷ Integral b ⇒ b → ProposedPPUpdates era → ProposedPPUpdates era # | |||||
| Generic (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Associated Types
Methods from ∷ ProposedPPUpdates era → Rep (ProposedPPUpdates era) x # to ∷ Rep (ProposedPPUpdates era) x → ProposedPPUpdates era # | |||||
| Show (PParamsUpdate era) ⇒ Show (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec ∷ Int → ProposedPPUpdates era → ShowS # show ∷ ProposedPPUpdates era → String # showList ∷ [ProposedPPUpdates era] → ShowS # | |||||
| Eq (PParamsUpdate era) ⇒ Eq (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods (==) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # (/=) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # | |||||
| NoThunks (PParamsUpdate era) ⇒ NoThunks (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams | |||||
| type Rep (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams type Rep (ProposedPPUpdates era) = D1 ('MetaData "ProposedPPUpdates" "Cardano.Ledger.Shelley.PParams" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ProposedPPUpdates" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'GenesisRole) (PParamsUpdate era))))) | |||||
Instances
| ToJSON NonMyopic Source # | |||||
| DecShareCBOR NonMyopic Source # | |||||
| EncCBOR NonMyopic Source # | |||||
| ToKeyValuePairs NonMyopic Source # | |||||
Defined in Cardano.Ledger.Shelley.PoolRank Methods toKeyValuePairs ∷ KeyValue e kv ⇒ NonMyopic → [kv] Source # | |||||
| Default NonMyopic Source # | |||||
Defined in Cardano.Ledger.Shelley.PoolRank | |||||
| NFData NonMyopic Source # | |||||
Defined in Cardano.Ledger.Shelley.PoolRank | |||||
| Generic NonMyopic Source # | |||||
Defined in Cardano.Ledger.Shelley.PoolRank Associated Types
| |||||
| Show NonMyopic Source # | |||||
| Eq NonMyopic Source # | |||||
| NoThunks NonMyopic Source # | |||||
| type Share NonMyopic Source # | |||||
| type Rep NonMyopic Source # | |||||
Defined in Cardano.Ledger.Shelley.PoolRank type Rep NonMyopic = D1 ('MetaData "NonMyopic" "Cardano.Ledger.Shelley.PoolRank" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "NonMyopic" 'PrefixI 'True) (S1 ('MetaSel ('Just "likelihoodsNM") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool) Likelihood)) :*: S1 ('MetaSel ('Just "rewardPotNM") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) | |||||
Constructors
| DelegEnv | |
Fields
| |
Instances
| NFData (PParams era) ⇒ NFData (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||
| Generic (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
| |||||
| Show (PParams era) ⇒ Show (DelegEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (DelegEnv era) Source # | |||||
| type Rep (DelegEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg type Rep (DelegEnv era) = D1 ('MetaData "DelegEnv" "Cardano.Ledger.Shelley.Rules.Deleg" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "DelegEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "slotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "deCurEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ptr_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ptr) :*: (S1 ('MetaSel ('Just "deChainAccountState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState) :*: S1 ('MetaSel ('Just "ppDE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)))))) | |||||
data ShelleyDELEG era Source #
Instances
| (EraCertState era, EraPParams era, ShelleyEraAccounts era, ShelleyEraTxCert era, AtMostEra "Babbage" era) ⇒ STS (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg Associated Types
Methods initialRules ∷ [InitialRule (ShelleyDELEG era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELEG era)] Source # assertions ∷ [Assertion (ShelleyDELEG era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELEG era) → String Source # | |||||||||||||||||||||||||
| (ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyDELEG era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyDELEG era) → Event (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Environment (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Event (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type Signal (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
| type State (ShelleyDELEG era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |||||||||||||||||||||||||
Constructors
| DelegsEnv | |
Fields
| |
data ShelleyDELEGS era Source #
Instances
| (EraTx era, EraCertState era, ShelleyEraTxBody era, Embed (EraRule "DELPL" era) (ShelleyDELEGS era), Environment (EraRule "DELPL" era) ~ DelplEnv era, State (EraRule "DELPL" era) ~ CertState era, Signal (EraRule "DELPL" era) ~ TxCert era, EraRule "DELEGS" era ~ ShelleyDELEGS era) ⇒ STS (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Associated Types
Methods initialRules ∷ [InitialRule (ShelleyDELEGS era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELEGS era)] Source # assertions ∷ [Assertion (ShelleyDELEGS era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELEGS era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (ShelleyDELPL era) → PredicateFailure (ShelleyDELEGS era) Source # wrapEvent ∷ Event (ShelleyDELPL era) → Event (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Environment (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Event (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type Signal (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
| type State (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |||||||||||||||||||||||||
Constructors
| DelplEnv | |
Fields
| |
data ShelleyDELPL era Source #
Instances
| (Era era, EraCertState era, Embed (EraRule "DELEG" era) (ShelleyDELPL era), Environment (EraRule "DELEG" era) ~ DelegEnv era, State (EraRule "DELEG" era) ~ CertState era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, State (EraRule "POOL" era) ~ PState era, Signal (EraRule "DELEG" era) ~ TxCert era, Embed (EraRule "POOL" era) (ShelleyDELPL era), Environment (EraRule "POOL" era) ~ PoolEnv era, Signal (EraRule "POOL" era) ~ PoolCert, TxCert era ~ ShelleyTxCert era) ⇒ STS (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Associated Types
Methods initialRules ∷ [InitialRule (ShelleyDELPL era)] Source # transitionRules ∷ [TransitionRule (ShelleyDELPL era)] Source # assertions ∷ [Assertion (ShelleyDELPL era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyDELPL era) → String Source # | |||||||||||||||||||||||||
| (ShelleyEraAccounts era, ShelleyEraTxCert era, EraCertState era, EraPParams era, AtMostEra "Babbage" era, PredicateFailure (EraRule "DELEG" era) ~ ShelleyDelegPredFailure era, Event (EraRule "DELEG" era) ~ ShelleyDelegEvent era) ⇒ Embed (ShelleyDELEG era) (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyDELEG era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyDELEG era) → Event (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyDELPL era), PredicateFailure (EraRule "DELPL" era) ~ ShelleyDelplPredFailure era, Event (EraRule "DELPL" era) ~ ShelleyDelplEvent era) ⇒ Embed (ShelleyDELPL era) (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delegs Methods wrapFailed ∷ PredicateFailure (ShelleyDELPL era) → PredicateFailure (ShelleyDELEGS era) Source # wrapEvent ∷ Event (ShelleyDELPL era) → Event (ShelleyDELEGS era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Environment (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Event (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type Signal (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
| type State (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |||||||||||||||||||||||||
data ShelleyLEDGER era Source #
Instances
| (EraTx era, EraGov era, EraCertState era, Embed (EraRule "DELEGS" era) (ShelleyLEDGER era), Embed (EraRule "UTXOW" era) (ShelleyLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx 'TopTx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), AtMostEra "Babbage" era, EraRule "LEDGER" era ~ ShelleyLEDGER era, EraRuleFailure "LEDGER" era ~ ShelleyLedgerPredFailure era, InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure era) ⇒ STS (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Associated Types
Methods initialRules ∷ [InitialRule (ShelleyLEDGER era)] Source # transitionRules ∷ [TransitionRule (ShelleyLEDGER era)] Source # assertions ∷ [Assertion (ShelleyLEDGER era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyLEDGER era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyDELEGS era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyDELEGS era) → Event (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (ShelleyLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ShelleyLEDGER era) → Event (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
| (STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyUTXOW era) → Event (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Environment (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Event (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type Signal (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
| type State (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |||||||||||||||||||||||||
data ShelleyLEDGERS era Source #
Instances
| (Era era, Embed (EraRule "LEDGER" era) (ShelleyLEDGERS era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Signal (EraRule "LEDGER" era) ~ Tx 'TopTx era, Default (LedgerState era)) ⇒ STS (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods initialRules ∷ [InitialRule (ShelleyLEDGERS era)] Source # transitionRules ∷ [TransitionRule (ShelleyLEDGERS era)] Source # assertions ∷ [Assertion (ShelleyLEDGERS era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyLEDGERS era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (ShelleyLEDGER era) (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods wrapFailed ∷ PredicateFailure (ShelleyLEDGER era) → PredicateFailure (ShelleyLEDGERS era) Source # wrapEvent ∷ Event (ShelleyLEDGER era) → Event (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Environment (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Event (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type Signal (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
| type State (ShelleyLEDGERS era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |||||||||||||||||||||||||
data ShelleyLedgersEnv era Source #
Constructors
| LedgersEnv | |
Fields | |
Instances
| EraPParams era ⇒ EncCBOR (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods encCBOR ∷ ShelleyLedgersEnv era → Encoding Source # | |||||
| NFData (PParamsHKD Identity era) ⇒ NFData (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods rnf ∷ ShelleyLedgersEnv era → () # | |||||
| Generic (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Associated Types
Methods from ∷ ShelleyLedgersEnv era → Rep (ShelleyLedgersEnv era) x # to ∷ Rep (ShelleyLedgersEnv era) x → ShelleyLedgersEnv era # | |||||
| Show (PParamsHKD Identity era) ⇒ Show (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods showsPrec ∷ Int → ShelleyLedgersEnv era → ShowS # show ∷ ShelleyLedgersEnv era → String # showList ∷ [ShelleyLedgersEnv era] → ShowS # | |||||
| Eq (PParamsHKD Identity era) ⇒ Eq (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers Methods (==) ∷ ShelleyLedgersEnv era → ShelleyLedgersEnv era → Bool # (/=) ∷ ShelleyLedgersEnv era → ShelleyLedgersEnv era → Bool # | |||||
| type Rep (ShelleyLedgersEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Ledgers type Rep (ShelleyLedgersEnv era) = D1 ('MetaData "ShelleyLedgersEnv" "Cardano.Ledger.Shelley.Rules.Ledgers" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "LedgersEnv" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ledgersSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ledgersEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)) :*: (S1 ('MetaSel ('Just "ledgersPp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ledgersAccount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainAccountState)))) | |||||
data ShelleyNEWEPOCH era Source #
Instances
| (EraTxOut era, EraGov era, EraStake era, EraCertState era, Embed (EraRule "MIR" era) (ShelleyNEWEPOCH era), Embed (EraRule "EPOCH" era) (ShelleyNEWEPOCH era), Environment (EraRule "MIR" era) ~ (), State (EraRule "MIR" era) ~ EpochState era, Signal (EraRule "MIR" era) ~ (), Event (EraRule "RUPD" era) ~ RupdEvent, Environment (EraRule "EPOCH" era) ~ (), State (EraRule "EPOCH" era) ~ EpochState era, Signal (EraRule "EPOCH" era) ~ EpochNo, Default (EpochState era), Default (State (EraRule "PPUP" era)), Default (PParams era), Default (StashedAVVMAddresses era)) ⇒ STS (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Associated Types
Methods initialRules ∷ [InitialRule (ShelleyNEWEPOCH era)] Source # transitionRules ∷ [TransitionRule (ShelleyNEWEPOCH era)] Source # assertions ∷ [Assertion (ShelleyNEWEPOCH era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyNEWEPOCH era) → String Source # | |||||||||||||||||||||||||
| (STS (ShelleyEPOCH era), Event (EraRule "EPOCH" era) ~ ShelleyEpochEvent era) ⇒ Embed (ShelleyEPOCH era) (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyEPOCH era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyEPOCH era) → Event (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
| (EraGov era, EraCertState era, Default (EpochState era), Event (EraRule "MIR" era) ~ ShelleyMirEvent era) ⇒ Embed (ShelleyMIR era) (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch Methods wrapFailed ∷ PredicateFailure (ShelleyMIR era) → PredicateFailure (ShelleyNEWEPOCH era) Source # wrapEvent ∷ Event (ShelleyMIR era) → Event (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
| (STS (ShelleyNEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyNEWEPOCH era) → Event (ShelleyTICK era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Environment (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Event (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type Signal (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
| type State (ShelleyNEWEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.NewEpoch | |||||||||||||||||||||||||
Instances
| EraPParams era ⇒ EncCBOR (PoolEnv era) Source # | |||||
| NFData (PParams era) ⇒ NFData (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||
| Generic (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
| |||||
| Show (PParams era) ⇒ Show (PoolEnv era) Source # | |||||
| Eq (PParams era) ⇒ Eq (PoolEnv era) Source # | |||||
| type Rep (PoolEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Pool type Rep (PoolEnv era) = D1 ('MetaData "PoolEnv" "Cardano.Ledger.Shelley.Rules.Pool" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "PoolEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)))) | |||||
data ShelleyPOOL era Source #
Instances
| EraPParams era ⇒ STS (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool Associated Types
Methods initialRules ∷ [InitialRule (ShelleyPOOL era)] Source # transitionRules ∷ [TransitionRule (ShelleyPOOL era)] Source # assertions ∷ [Assertion (ShelleyPOOL era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPOOL era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyPOOL era), PredicateFailure (EraRule "POOL" era) ~ ShelleyPoolPredFailure era, Event (EraRule "POOL" era) ~ PoolEvent era) ⇒ Embed (ShelleyPOOL era) (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Delpl Methods wrapFailed ∷ PredicateFailure (ShelleyPOOL era) → PredicateFailure (ShelleyDELPL era) Source # wrapEvent ∷ Event (ShelleyPOOL era) → Event (ShelleyDELPL era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Environment (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Event (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type Signal (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
| type State (ShelleyPOOL era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Pool | |||||||||||||||||||||||||
data ShelleyPOOLREAP era Source #
Instances
| (Default (ShelleyPoolreapState era), EraPParams era, EraGov era, EraCertState era) ⇒ STS (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap Associated Types
Methods initialRules ∷ [InitialRule (ShelleyPOOLREAP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPOOLREAP era)] Source # assertions ∷ [Assertion (ShelleyPOOLREAP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPOOLREAP era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyPOOLREAP era), Event (EraRule "POOLREAP" era) ~ ShelleyPoolreapEvent era) ⇒ Embed (ShelleyPOOLREAP era) (ShelleyEPOCH era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Epoch Methods wrapFailed ∷ PredicateFailure (ShelleyPOOLREAP era) → PredicateFailure (ShelleyEPOCH era) Source # wrapEvent ∷ Event (ShelleyPOOLREAP era) → Event (ShelleyEPOCH era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Environment (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Event (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type Signal (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
| type State (ShelleyPOOLREAP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.PoolReap | |||||||||||||||||||||||||
data ShelleyPPUP era Source #
Instances
| (EraPParams era, AtMostEra "Babbage" era) ⇒ STS (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup Associated Types
Methods initialRules ∷ [InitialRule (ShelleyPPUP era)] Source # transitionRules ∷ [TransitionRule (ShelleyPPUP era)] Source # assertions ∷ [Assertion (ShelleyPPUP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyPPUP era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (ShelleyUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Environment (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Event (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type Signal (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
| type State (ShelleyPPUP era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |||||||||||||||||||||||||
data ShelleyTICK era Source #
Instances
| (EraGov era, EraCertState era, Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), State (ShelleyTICK era) ~ NewEpochState era, BaseM (ShelleyTICK era) ~ ShelleyBase, Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "RUPD" era) ~ StrictMaybe PulsingRewUpdate, Signal (EraRule "RUPD" era) ~ SlotNo, Environment (EraRule "NEWEPOCH" era) ~ (), State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo) ⇒ STS (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types
Methods initialRules ∷ [InitialRule (ShelleyTICK era)] Source # transitionRules ∷ [TransitionRule (ShelleyTICK era)] Source # assertions ∷ [Assertion (ShelleyTICK era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyTICK era) → String Source # | |||||||||||||||||||||||||
| (STS (ShelleyNEWEPOCH era), Event (EraRule "NEWEPOCH" era) ~ ShelleyNewEpochEvent era) ⇒ Embed (ShelleyNEWEPOCH era) (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyNEWEPOCH era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyNEWEPOCH era) → Event (ShelleyTICK era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyRUPD era), Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ Embed (ShelleyRUPD era) (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyRUPD era) → PredicateFailure (ShelleyTICK era) Source # wrapEvent ∷ Event (ShelleyRUPD era) → Event (ShelleyTICK era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Environment (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Event (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Signal (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type State (ShelleyTICK era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
data ShelleyTICKF era Source #
Instances
| (EraGov era, EraCertState era, GovState era ~ ShelleyGovState era, State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (EraRule "UPEC" era) ~ (), State (EraRule "UPEC" era) ~ UpecState era, Environment (EraRule "UPEC" era) ~ LedgerState era, Embed (EraRule "UPEC" era) (ShelleyTICKF era)) ⇒ STS (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Associated Types
Methods initialRules ∷ [InitialRule (ShelleyTICKF era)] Source # transitionRules ∷ [TransitionRule (ShelleyTICKF era)] Source # assertions ∷ [Assertion (ShelleyTICKF era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyTICKF era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyUPEC era), Event (EraRule "UPEC" era) ~ Void) ⇒ Embed (ShelleyUPEC era) (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick Methods wrapFailed ∷ PredicateFailure (ShelleyUPEC era) → PredicateFailure (ShelleyTICKF era) Source # wrapEvent ∷ Event (ShelleyUPEC era) → Event (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Environment (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Event (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type Signal (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
| type State (ShelleyTICKF era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Tick | |||||||||||||||||||||||||
data ShelleyUTXO era Source #
Instances
| (EraTx era, EraUTxO era, EraStake era, ShelleyEraTxBody era, EraGov era, GovState era ~ ShelleyGovState era, ExactEra ShelleyEra era, Embed (EraRule "PPUP" era) (ShelleyUTXO era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), EraRule "UTXO" era ~ ShelleyUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, EraCertState era, SafeToHash (TxWits era)) ⇒ STS (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
Methods initialRules ∷ [InitialRule (ShelleyUTXO era)] Source # transitionRules ∷ [TransitionRule (ShelleyUTXO era)] Source # assertions ∷ [Assertion (ShelleyUTXO era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUTXO era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, Event (EraRule "PPUP" era) ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Methods wrapFailed ∷ PredicateFailure (ShelleyPPUP era) → PredicateFailure (ShelleyUTXO era) Source # wrapEvent ∷ Event (ShelleyPPUP era) → Event (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ShelleyUTXO era) → PredicateFailure (ShelleyUTXOW era) Source # wrapEvent ∷ Event (ShelleyUTXO era) → Event (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Environment (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Event (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type Signal (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
| type State (ShelleyUTXO era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||||||||||||||||||||||
Instances
| (EraPParams era, EraCertState era, Typeable (CertState era)) ⇒ DecCBOR (UtxoEnv era) Source # | |||||
| (EraPParams era, EraCertState era) ⇒ EncCBOR (UtxoEnv era) Source # | |||||
| (Era era, NFData (PParams era), NFData (CertState era)) ⇒ NFData (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |||||
| Generic (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo Associated Types
| |||||
| (Show (PParams era), Show (CertState era)) ⇒ Show (UtxoEnv era) Source # | |||||
| (Eq (PParams era), Eq (CertState era)) ⇒ Eq (UtxoEnv era) Source # | |||||
| type Rep (UtxoEnv era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Rules.Utxo type Rep (UtxoEnv era) = D1 ('MetaData "UtxoEnv" "Cardano.Ledger.Shelley.Rules.Utxo" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "UtxoEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ueSlot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Just "uePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParams era)) :*: S1 ('MetaSel ('Just "ueCertState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CertState era))))) | |||||
data ShelleyUTXOW era Source #
Instances
| (EraTx era, EraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ ShelleyScriptsNeeded era, Embed (EraRule "UTXO" era) (ShelleyUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx 'TopTx era, EraRule "UTXOW" era ~ ShelleyUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, EraGov era, EraCertState era) ⇒ STS (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Associated Types
Methods initialRules ∷ [InitialRule (ShelleyUTXOW era)] Source # transitionRules ∷ [TransitionRule (ShelleyUTXOW era)] Source # assertions ∷ [Assertion (ShelleyUTXOW era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleyUTXOW era) → String Source # | |||||||||||||||||||||||||
| (Era era, STS (ShelleyUTXO era), PredicateFailure (EraRule "UTXO" era) ~ ShelleyUtxoPredFailure era, Event (EraRule "UTXO" era) ~ UtxoEvent era) ⇒ Embed (ShelleyUTXO era) (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow Methods wrapFailed ∷ PredicateFailure (ShelleyUTXO era) → PredicateFailure (ShelleyUTXOW era) Source # wrapEvent ∷ Event (ShelleyUTXO era) → Event (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
| (STS (ShelleyUTXOW era), PredicateFailure (EraRule "UTXOW" era) ~ ShelleyUtxowPredFailure era, Event (EraRule "UTXOW" era) ~ Event (ShelleyUTXOW era)) ⇒ Embed (ShelleyUTXOW era) (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Ledger Methods wrapFailed ∷ PredicateFailure (ShelleyUTXOW era) → PredicateFailure (ShelleyLEDGER era) Source # wrapEvent ∷ Event (ShelleyUTXOW era) → Event (ShelleyLEDGER era) Source # | |||||||||||||||||||||||||
| type BaseM (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Environment (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Event (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type PredicateFailure (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type Signal (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
| type State (ShelleyUTXOW era) Source # | |||||||||||||||||||||||||
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |||||||||||||||||||||||||
Instances
| Typeable era ⇒ ToCBOR (MultiSig era) Source # | |||||
| Era era ⇒ DecCBOR (Annotator (MultiSig era)) Source # | |||||
| Era era ⇒ EncCBOR (MultiSig era) Source # | Encodes memoized bytes created upon construction. | ||||
| SafeToHash (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts Methods originalBytes ∷ MultiSig era → ByteString Source # originalBytesSize ∷ MultiSig era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → MultiSig era → SafeHash i Source # | |||||
| EqRaw (MultiSig era) Source # | |||||
| Memoized (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts Associated Types
Methods getMemoBytes ∷ MultiSig era → MemoBytes (RawType (MultiSig era)) wrapMemoBytes ∷ MemoBytes (RawType (MultiSig era)) → MultiSig era | |||||
| NFData (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts | |||||
| Generic (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts Associated Types
| |||||
| Show (MultiSig era) Source # | |||||
| Eq (MultiSig era) Source # | |||||
| Typeable era ⇒ NoThunks (MultiSig era) Source # | |||||
| type RawType (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts | |||||
| type Rep (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts type Rep (MultiSig era) = D1 ('MetaData "MultiSig" "Cardano.Ledger.Shelley.Scripts" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkMultiSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MultiSigRaw era))))) | |||||
data GenesisDelegCert Source #
Genesis key delegation certificate
Constructors
| GenesisDelegCert !(KeyHash 'GenesisRole) !(KeyHash 'GenesisDelegate) !(VRFVerKeyHash 'GenDelegVRF) |
Instances
| ToJSON GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ GenesisDelegCert → Value Source # toEncoding ∷ GenesisDelegCert → Encoding Source # toJSONList ∷ [GenesisDelegCert] → Value Source # | |||||
| NFData GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ GenesisDelegCert → () # | |||||
| Generic GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
Methods from ∷ GenesisDelegCert → Rep GenesisDelegCert x # to ∷ Rep GenesisDelegCert x → GenesisDelegCert # | |||||
| Show GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → GenesisDelegCert → ShowS # show ∷ GenesisDelegCert → String # showList ∷ [GenesisDelegCert] → ShowS # | |||||
| Eq GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods | |||||
| Ord GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ GenesisDelegCert → GenesisDelegCert → Ordering # (<) ∷ GenesisDelegCert → GenesisDelegCert → Bool # (<=) ∷ GenesisDelegCert → GenesisDelegCert → Bool # (>) ∷ GenesisDelegCert → GenesisDelegCert → Bool # (>=) ∷ GenesisDelegCert → GenesisDelegCert → Bool # max ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert # min ∷ GenesisDelegCert → GenesisDelegCert → GenesisDelegCert # | |||||
| NoThunks GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| type Rep GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep GenesisDelegCert = D1 ('MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisRole)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF))))) | |||||
Move instantaneous rewards certificate
Constructors
| MIRCert | |
Fields
| |
Instances
| ToJSON MIRCert Source # | |||||
| DecCBOR MIRCert Source # | |||||
| EncCBOR MIRCert Source # | |||||
| NFData MIRCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Generic MIRCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
| |||||
| Show MIRCert Source # | |||||
| Eq MIRCert Source # | |||||
| Ord MIRCert Source # | |||||
| NoThunks MIRCert Source # | |||||
| type Rep MIRCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRCert = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRTarget))) | |||||
Constructors
| ReservesMIR | |
| TreasuryMIR |
Instances
| ToJSON MIRPot Source # | |
| DecCBOR MIRPot Source # | |
| EncCBOR MIRPot Source # | |
| NFData MIRPot Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| Bounded MIRPot Source # | |
| Enum MIRPot Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| Generic MIRPot Source # | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| Show MIRPot Source # | |
| Eq MIRPot Source # | |
| Ord MIRPot Source # | |
| NoThunks MIRPot Source # | |
| type Rep MIRPot Source # | |
MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.
Constructors
| StakeAddressesMIR !(Map (Credential 'Staking) DeltaCoin) | |
| SendToOppositePotMIR !Coin |
Instances
| ToJSON MIRTarget Source # | |||||
| DecCBOR MIRTarget Source # | |||||
| EncCBOR MIRTarget Source # | |||||
| NFData MIRTarget Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Generic MIRTarget Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
| |||||
| Show MIRTarget Source # | |||||
| Eq MIRTarget Source # | |||||
| Ord MIRTarget Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| NoThunks MIRTarget Source # | |||||
| type Rep MIRTarget Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRTarget = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) | |||||
data ShelleyDelegCert Source #
Constructors
| ShelleyRegCert !(Credential 'Staking) | A stake credential registration certificate. |
| ShelleyUnRegCert !(Credential 'Staking) | A stake credential deregistration certificate. |
| ShelleyDelegCert !(Credential 'Staking) !(KeyHash 'StakePool) | A stake delegation certificate. |
Instances
| ToJSON ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ ShelleyDelegCert → Value Source # toEncoding ∷ ShelleyDelegCert → Encoding Source # toJSONList ∷ [ShelleyDelegCert] → Value Source # | |||||
| NFData ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ ShelleyDelegCert → () # | |||||
| Generic ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
Methods from ∷ ShelleyDelegCert → Rep ShelleyDelegCert x # to ∷ Rep ShelleyDelegCert x → ShelleyDelegCert # | |||||
| Show ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → ShelleyDelegCert → ShowS # show ∷ ShelleyDelegCert → String # showList ∷ [ShelleyDelegCert] → ShowS # | |||||
| Eq ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods | |||||
| Ord ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ ShelleyDelegCert → ShelleyDelegCert → Ordering # (<) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool # (<=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool # (>) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool # (>=) ∷ ShelleyDelegCert → ShelleyDelegCert → Bool # max ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert # min ∷ ShelleyDelegCert → ShelleyDelegCert → ShelleyDelegCert # | |||||
| NoThunks ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| type Rep ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep ShelleyDelegCert = D1 ('MetaData "ShelleyDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool))))) | |||||
data ShelleyTxWits era Source #
Instances
| Typeable era ⇒ ToCBOR (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods toCBOR ∷ ShelleyTxWits era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWits era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWits era] → Size Source # | |||||
| (EraScript era, DecCBOR (Annotator (Script era))) ⇒ DecCBOR (Annotator (ShelleyTxWits era)) Source # | |||||
| Era era ⇒ EncCBOR (ShelleyTxWits era) Source # | Encodes memoized bytes created upon construction. | ||||
Defined in Cardano.Ledger.Shelley.TxWits Methods encCBOR ∷ ShelleyTxWits era → Encoding Source # | |||||
| SafeToHash (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods originalBytes ∷ ShelleyTxWits era → ByteString Source # originalBytesSize ∷ ShelleyTxWits era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxWits era → SafeHash i Source # | |||||
| (TxWits era ~ ShelleyTxWits era, EraTxWits era) ⇒ EqRaw (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods eqRaw ∷ ShelleyTxWits era → ShelleyTxWits era → Bool Source # | |||||
| Memoized (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Associated Types
Methods getMemoBytes ∷ ShelleyTxWits era → MemoBytes (RawType (ShelleyTxWits era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxWits era)) → ShelleyTxWits era | |||||
| (Era era, NFData (Script era), NFData (WitVKey 'Witness), NFData BootstrapWitness) ⇒ NFData (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods rnf ∷ ShelleyTxWits era → () # | |||||
| EraScript era ⇒ Monoid (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods mempty ∷ ShelleyTxWits era # mappend ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era # mconcat ∷ [ShelleyTxWits era] → ShelleyTxWits era # | |||||
| EraScript era ⇒ Semigroup (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods (<>) ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era # sconcat ∷ NonEmpty (ShelleyTxWits era) → ShelleyTxWits era # stimes ∷ Integral b ⇒ b → ShelleyTxWits era → ShelleyTxWits era # | |||||
| Generic (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Associated Types
Methods from ∷ ShelleyTxWits era → Rep (ShelleyTxWits era) x # to ∷ Rep (ShelleyTxWits era) x → ShelleyTxWits era # | |||||
| EraScript era ⇒ Show (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods showsPrec ∷ Int → ShelleyTxWits era → ShowS # show ∷ ShelleyTxWits era → String # showList ∷ [ShelleyTxWits era] → ShowS # | |||||
| EraScript era ⇒ Eq (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods (==) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool # (/=) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool # | |||||
| EraScript era ⇒ NoThunks (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits | |||||
| type RawType (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits | |||||
| type Rep (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits type Rep (ShelleyTxWits era) = D1 ('MetaData "ShelleyTxWits" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxWitsRaw era))))) | |||||