| 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
- data PoolDistr = PoolDistr {}
- 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 {
- bwKey ∷ !(VKey 'Witness)
- bwSignature ∷ !(SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))
- bwChainCode ∷ !ChainCode
- bwAttributes ∷ !ByteArray
- 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 {}
- pattern RewardAccount ∷ Network → Credential 'Staking → AccountAddress
- raNetwork ∷ AccountAddress → Network
- raCredential ∷ AccountAddress → Credential 'Staking
- isOverlaySlot ∷ SlotNo → UnitInterval → SlotNo → Bool
- data ChainAccountState
- data StakePoolParams era where
- StakePoolParams {
- sppId ∷ !(KeyHash 'StakePool)
- sppVrf ∷ !(VRFVerKeyHash 'StakePoolVRF)
- sppBlsKey ∷ !(StrictMaybe BlsKey)
- sppPledge ∷ !Coin
- sppCost ∷ !Coin
- sppMargin ∷ !UnitInterval
- sppAccountAddress ∷ !AccountAddress
- sppOwners ∷ !(Set (KeyHash 'Staking))
- sppRelays ∷ !(StrictSeq StakePoolRelay)
- sppMetadata ∷ !(StrictMaybe PoolMetadata)
- pattern PoolParams ∷ KeyHash 'StakePool → VRFVerKeyHash 'StakePoolVRF → StrictMaybe BlsKey → Coin → Coin → UnitInterval → AccountAddress → Set (KeyHash 'Staking) → StrictSeq StakePoolRelay → StrictMaybe PoolMetadata → PoolParams era
- StakePoolParams {
- data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
- data PoolMetadata = PoolMetadata {}
- individualPoolStake ∷ IndividualPoolStake → Rational
- data PoolCert era
- = RegPool !(StakePoolParams era)
- | RetirePool !(KeyHash 'StakePool) !EpochNo
- 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 ∷ PParams era → CertState era → TxBody 'TopTx era → Coin
- certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody era ⇒ PParams era → Accounts 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 era))
- 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
- newtype Stake = Stake {
- unStake ∷ VMap VB VP (Credential 'Staking) (CompactForm Coin)
- data SnapShots era = SnapShots {}
- data SnapShot = SnapShot {}
- calculatePoolDistr ∷ SnapShot → PoolDistr
- calculatePoolDistr' ∷ (KeyHash 'StakePool → Bool) → SnapShot → PoolDistr
- 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 {}
- type ShelleyDELEG = DELEG
- type ShelleyDELEGS = DELEGS
- type ShelleyDELPL = DELPL
- type ShelleyLEDGER = LEDGER
- type ShelleyLEDGERS = LEDGERS
- type ShelleyNEWEPOCH = NEWEPOCH
- type ShelleyPOOL = POOL
- type ShelleyPOOLREAP = POOLREAP
- type ShelleyPPUP = PPUP
- type ShelleyTICK = TICK
- type ShelleyTICKF = TICKF
- type ShelleyUTXO = UTXO
- type ShelleyUTXOW = UTXOW
- data EpochState era = EpochState {
- esChainAccountState ∷ !ChainAccountState
- esLState ∷ !(LedgerState era)
- esSnapshots ∷ !(SnapShots era)
- esNonMyopic ∷ !NonMyopic
- 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 DelegsEnv era = DelegsEnv {
- delegsSlotNo ∷ SlotNo
- delegsEpochNo ∷ EpochNo
- delegsIx ∷ TxIx
- delegspp ∷ PParams era
- delegsTx ∷ Tx 'TopTx era
- delegsAccount ∷ ChainAccountState
- data DelplEnv era = DelplEnv {}
- data ShelleyLedgersEnv era = LedgersEnv {}
- data PoolEnv era = PoolEnv EpochNo (PParams era)
- data PpupEnv era = PPUPEnv SlotNo (PParams era) GenDelegs
- data SnapEnv era = SnapEnv (LedgerState era) (PParams era)
- data UtxoEnv era = UtxoEnv {}
- 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 | |||||
| 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.22.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.22.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
| (DecCBOR (Annotator h), Typeable h) ⇒ DecCBOR (Annotator (Block h ShelleyEra)) Source # | |||||
| (EncCBOR h, Typeable h) ⇒ ToCBOR (Block h ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.Block | |||||
| EncCBOR h ⇒ EncCBOR (Block h ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.Block | |||||
| (NFData h, NFData (BlockBody era)) ⇒ NFData (Block h era) | |||||
Defined in Cardano.Ledger.Block | |||||
| 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.22.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 # | |||||
| HKDSemialign StrictMaybe | |||||
Defined in Cardano.Ledger.HKD Methods hkdAlignWith ∷ proxy StrictMaybe → (a → c) → (b → c) → (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c 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 # | |||||
| ToPlutusData a ⇒ ToPlutusData (StrictMaybe a) | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ StrictMaybe a → Data Source # fromPlutusData ∷ Data → Maybe (StrictMaybe a) 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.6.0-3bb10cdd63e39d259fe0050d272bd37cdc2e0eba0d338ea3e57a6888b475dd23" '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
| (EraPParams era, FromJSON (PParamsUpdate era)) ⇒ FromJSON (Update era) Source # | |||||
| EraPParams era ⇒ ToJSON (Update era) Source # | |||||
| (Era era, DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Update era) Source # | |||||
| (Era era, EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (Update era) Source # | |||||
| EraPParams era ⇒ ToKeyValuePairs (Update era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods toKeyValuePairs ∷ KeyValue e kv ⇒ Update era → [kv] 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.20.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.Keys.Internal | |
| FromJSON (KeyHash r) | |
| FromJSONKey (KeyHash r) | |
Defined in Cardano.Ledger.Keys.Internal Methods | |
| ToJSON (KeyHash r) | |
| ToJSONKey (KeyHash r) | |
Defined in Cardano.Ledger.Keys.Internal 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.Keys.Internal | |
| NFData (KeyHash r) | |
Defined in Cardano.Ledger.Keys.Internal | |
| Storable (KeyHash r) | |
| Generic (KeyHash r) | |
| Show (KeyHash r) | |
| Eq (KeyHash r) | |
| Ord (KeyHash r) | |
Defined in Cardano.Ledger.Keys.Internal | |
| MemPack (KeyHash r) | |
| NoThunks (KeyHash r) | |
| type Rep (KeyHash r) | |
Defined in Cardano.Ledger.Keys.Internal | |
The input of a UTxO.
Instances
| FromJSON TxIn | |||||
| 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.22.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.22.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) | |||||
| (Era era, DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ FromCBOR (UTxO era) | |||||
| (Era era, EncCBOR (TxOut era)) ⇒ ToCBOR (UTxO era) | |||||
| (Era era, DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ 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.22.0.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32))) | |||||
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 # | |||||
| FromJSON (TxBody 'TopTx ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody | |||||
| ToJSON (TxBody 'TopTx ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source # toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source # toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source # toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding 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 | |||||
| ToKeyValuePairs (TxBody 'TopTx ShelleyEra) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxBody Methods toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source # | |||||
| 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.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))))) | |||||
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.22.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 'DecidedStrict) (Rec0 (NonZero Coin)))) | |||||
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 ⇒ 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) | |||||
| Ord (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.22.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.22.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.22.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 | |||||
| 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 → () # | |||||
| Storable ScriptHash | |||||
Defined in Cardano.Ledger.Hashes Methods sizeOf ∷ ScriptHash → Int # alignment ∷ ScriptHash → Int # peekElemOff ∷ Ptr ScriptHash → Int → IO ScriptHash # pokeElemOff ∷ Ptr ScriptHash → Int → ScriptHash → IO () # peekByteOff ∷ Ptr b → Int → IO ScriptHash # pokeByteOff ∷ Ptr b → Int → ScriptHash → IO () # peek ∷ Ptr ScriptHash → IO ScriptHash # poke ∷ Ptr ScriptHash → ScriptHash → IO () # | |||||
| 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.22.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 ⇒ FromJSON (WitVKey kr) | |||||
| ToJSON (WitVKey kr) | |||||
| Typeable kr ⇒ DecCBOR (WitVKey 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.22.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
| FromJSON BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods parseJSON ∷ Value → Parser BootstrapWitness Source # | |||||
| ToJSON BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap Methods toJSON ∷ BootstrapWitness → Value Source # toEncoding ∷ BootstrapWitness → Encoding Source # toJSONList ∷ [BootstrapWitness] → Value 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 | |||||
| type Rep BootstrapWitness | |||||
Defined in Cardano.Ledger.Keys.Bootstrap type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.22.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 'DecidedUnpack) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray)))) | |||||
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 | |
| 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 | |||||
| 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.22.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 | |||||
| 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.22.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.22.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 | |||||
| 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 → () # | |||||
| Storable (Credential r) | |||||
Defined in Cardano.Ledger.Credential Methods sizeOf ∷ Credential r → Int # alignment ∷ Credential r → Int # peekElemOff ∷ Ptr (Credential r) → Int → IO (Credential r) # pokeElemOff ∷ Ptr (Credential r) → Int → Credential r → IO () # peekByteOff ∷ Ptr b → Int → IO (Credential r) # pokeByteOff ∷ Ptr b → Int → Credential r → IO () # peek ∷ Ptr (Credential r) → IO (Credential r) # poke ∷ Ptr (Credential r) → Credential r → IO () # | |||||
| 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.22.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 | |||||
| HasZero (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 # | |||||
| Storable (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods sizeOf ∷ CompactForm Coin → Int # alignment ∷ CompactForm Coin → Int # peekElemOff ∷ Ptr (CompactForm Coin) → Int → IO (CompactForm Coin) # pokeElemOff ∷ Ptr (CompactForm Coin) → Int → CompactForm Coin → IO () # peekByteOff ∷ Ptr b → Int → IO (CompactForm Coin) # pokeByteOff ∷ Ptr b → Int → CompactForm Coin → IO () # peek ∷ Ptr (CompactForm Coin) → IO (CompactForm Coin) # poke ∷ Ptr (CompactForm Coin) → CompactForm Coin → IO () # | |||||
| 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.22.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
| FromJSON Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods parseJSON ∷ Value → Parser Withdrawals Source # parseJSONList ∷ Value → Parser [Withdrawals] Source # | |||||
| ToJSON Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods toJSON ∷ Withdrawals → Value Source # toEncoding ∷ Withdrawals → Encoding Source # toJSONList ∷ [Withdrawals] → Value Source # toEncodingList ∷ [Withdrawals] → Encoding Source # omitField ∷ Withdrawals → Bool Source # | |||||
| 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 → () # | |||||
| Monoid Withdrawals | |||||
Defined in Cardano.Ledger.Address | |||||
| Semigroup Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods (<>) ∷ Withdrawals → Withdrawals → Withdrawals # sconcat ∷ NonEmpty Withdrawals → Withdrawals # stimes ∷ Integral b ⇒ b → Withdrawals → 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 | |||||
| Ord Withdrawals | |||||
Defined in Cardano.Ledger.Address Methods compare ∷ Withdrawals → Withdrawals → Ordering # (<) ∷ Withdrawals → Withdrawals → Bool # (<=) ∷ Withdrawals → Withdrawals → Bool # (>) ∷ Withdrawals → Withdrawals → Bool # (>=) ∷ Withdrawals → Withdrawals → Bool # max ∷ Withdrawals → Withdrawals → Withdrawals # min ∷ Withdrawals → Withdrawals → Withdrawals # | |||||
| 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.22.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin)))) | |||||
pattern RewardAccount ∷ Network → Credential 'Staking → AccountAddress Source #
Deprecated pattern synonym for backward compatibility
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.22.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))) | |||||
data StakePoolParams era Source #
A stake pool.
Constructors
| StakePoolParams | |
Fields
| |
Bundled Patterns
| pattern PoolParams ∷ KeyHash 'StakePool → VRFVerKeyHash 'StakePoolVRF → StrictMaybe BlsKey → Coin → Coin → UnitInterval → AccountAddress → Set (KeyHash 'Staking) → StrictSeq StakePoolRelay → StrictMaybe PoolMetadata → PoolParams era |
Instances
| FromJSON (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods parseJSON ∷ Value → Parser (StakePoolParams era) Source # parseJSONList ∷ Value → Parser [StakePoolParams era] Source # omittedField ∷ Maybe (StakePoolParams era) Source # | |||||
| ToJSON (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods toJSON ∷ StakePoolParams era → Value Source # toEncoding ∷ StakePoolParams era → Encoding Source # toJSONList ∷ [StakePoolParams era] → Value Source # toEncodingList ∷ [StakePoolParams era] → Encoding Source # omitField ∷ StakePoolParams era → Bool Source # | |||||
| Era era ⇒ DecCBOR (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| EncCBOR (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods encCBOR ∷ StakePoolParams era → Encoding Source # | |||||
| Default (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods def ∷ StakePoolParams era Source # | |||||
| NFData (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods rnf ∷ StakePoolParams era → () # | |||||
| Generic (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Associated Types
Methods from ∷ StakePoolParams era → Rep (StakePoolParams era) x # to ∷ Rep (StakePoolParams era) x → StakePoolParams era # | |||||
| Show (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods showsPrec ∷ Int → StakePoolParams era → ShowS # show ∷ StakePoolParams era → String # showList ∷ [StakePoolParams era] → ShowS # | |||||
| Eq (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods (==) ∷ StakePoolParams era → StakePoolParams era → Bool # (/=) ∷ StakePoolParams era → StakePoolParams era → Bool # | |||||
| Ord (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool Methods compare ∷ StakePoolParams era → StakePoolParams era → Ordering # (<) ∷ StakePoolParams era → StakePoolParams era → Bool # (<=) ∷ StakePoolParams era → StakePoolParams era → Bool # (>) ∷ StakePoolParams era → StakePoolParams era → Bool # (>=) ∷ StakePoolParams era → StakePoolParams era → Bool # max ∷ StakePoolParams era → StakePoolParams era → StakePoolParams era # min ∷ StakePoolParams era → StakePoolParams era → StakePoolParams era # | |||||
| NoThunks (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool | |||||
| type Rep (StakePoolParams era) | |||||
Defined in Cardano.Ledger.State.StakePool type Rep (StakePoolParams era) = D1 ('MetaData "StakePoolParams" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.22.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 "sppBlsKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe BlsKey)) :*: (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 "sppAccountAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountAddress)) :*: (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.22.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 | |
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 | Check WHNF by pattern-matching on both fields, since they both are strict, and just contain ByteArray# | ||||
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.22.0.0-inplace" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray))) | |||||
individualPoolStake ∷ IndividualPoolStake → Rational Source #
Pool stake distribution. This is a ratio of individualTotalPoolStake/pdTotalActiveStake
Constructors
| RegPool !(StakePoolParams era) | A stake pool registration certificate. |
| RetirePool !(KeyHash 'StakePool) !EpochNo | A stake pool retirement certificate. |
Instances
| FromJSON (PoolCert era) | |||||
| ToJSON (PoolCert era) | |||||
| NFData (PoolCert era) | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| Generic (PoolCert era) | |||||
Defined in Cardano.Ledger.Core.TxCert Associated Types
| |||||
| Show (PoolCert era) | |||||
| Eq (PoolCert era) | |||||
| Ord (PoolCert era) | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| NoThunks (PoolCert era) | |||||
| type Rep (PoolCert era) | |||||
Defined in Cardano.Ledger.Core.TxCert type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakePoolParams era))) :+: 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))) | |||||
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 ∷ PParams era → CertState era → TxBody 'TopTx 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 → Accounts 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 ∷ PParams ShelleyEra → CertState ShelleyEra → TxBody 'TopTx ShelleyEra → Coin Source # certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody ShelleyEra ⇒ PParams ShelleyEra → Accounts 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) | |||||
| Era 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.22.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 era))) :*: 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.22.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.22.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)))) | |||||
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.Stake | |||||
| Monoid Stake | |||||
| Semigroup Stake | |||||
| Generic Stake | |||||
Defined in Cardano.Ledger.State.Stake Associated Types
| |||||
| Show Stake | |||||
| Eq Stake | |||||
| NoThunks Stake | |||||
| type Share Stake | |||||
| type Rep Stake | |||||
Defined in Cardano.Ledger.State.Stake type Rep Stake = D1 ('MetaData "Stake" "Cardano.Ledger.State.Stake" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential 'Staking) (CompactForm Coin))))) | |||||
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 era) | |||||
| Era era ⇒ DecCBOR (SnapShots era) | |||||
| DecShareCBOR (SnapShots era) | |||||
| EncCBOR (SnapShots era) | |||||
| ToKeyValuePairs (SnapShots era) | |||||
Defined in Cardano.Ledger.State.SnapShots Methods toKeyValuePairs ∷ KeyValue e kv ⇒ SnapShots era → [kv] Source # | |||||
| Default (SnapShots era) | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| NFData (SnapShots era) | |||||
Defined in Cardano.Ledger.State.SnapShots | |||||
| Generic (SnapShots era) | |||||
Defined in Cardano.Ledger.State.SnapShots Associated Types
| |||||
| Show (SnapShots era) | |||||
| Eq (SnapShots era) | |||||
| Typeable era ⇒ NoThunks (SnapShots era) | |||||
| type Share (SnapShots era) | |||||
| type Rep (SnapShots era) | |||||
Defined in Cardano.Ledger.State.SnapShots type Rep (SnapShots era) = D1 ('MetaData "SnapShots" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "SnapShots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeMark") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MarkSnapShot) :*: S1 ('MetaSel ('Just "ssStakeMarkPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "ssStakeSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SetSnapShot) :*: (S1 ('MetaSel ('Just "ssStakeGo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GoSnapShot) :*: 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.22.0.0-inplace" 'False) (C1 ('MetaCons "SnapShot" 'PrefixI 'True) (S1 ('MetaSel ('Just "ssActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveStake) :*: (S1 ('MetaSel ('Just "ssTotalActiveStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonZero Coin)) :*: S1 ('MetaSel ('Just "ssStakePoolsSnapShot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (KeyHash 'StakePool) StakePoolSnapShot))))) | |||||
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 # | |
| (FromJSON (TxBody 'TopTx era), FromJSON (TxWits era), FromJSON (TxAuxData era)) ⇒ FromJSON (ShelleyTx 'TopTx era) Source # | |
| (ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToJSON (ShelleyTx 'TopTx era) Source # | |
Defined in Cardano.Ledger.Shelley.Tx | |
| (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 # | |
| (ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToKeyValuePairs (ShelleyTx 'TopTx era) Source # | |
Defined in Cardano.Ledger.Shelley.Tx | |
| (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)) ⇒ FromJSON (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods parseJSON ∷ Value → Parser (ShelleyTxOut era) Source # parseJSONList ∷ Value → Parser [ShelleyTxOut era] Source # omittedField ∷ Maybe (ShelleyTxOut era) Source # | |||||
| (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))) ⇒ 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 # | |||||
| Ord (CompactForm (Value era)) ⇒ Ord (ShelleyTxOut era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxOut Methods compare ∷ ShelleyTxOut era → ShelleyTxOut era → Ordering # (<) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (<=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (>) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # (>=) ∷ ShelleyTxOut era → ShelleyTxOut era → Bool # max ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era # min ∷ ShelleyTxOut era → ShelleyTxOut era → ShelleyTxOut era # | |||||
| (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.20.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
| Era era ⇒ FromJSON (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods parseJSON ∷ Value → Parser (ShelleyTxAuxData era) Source # parseJSONList ∷ Value → Parser [ShelleyTxAuxData era] Source # omittedField ∷ Maybe (ShelleyTxAuxData era) Source # | |||||
| Era era ⇒ ToJSON (ShelleyTxAuxData era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxAuxData Methods toJSON ∷ ShelleyTxAuxData era → Value Source # toEncoding ∷ ShelleyTxAuxData era → Encoding Source # toJSONList ∷ [ShelleyTxAuxData era] → Value Source # toEncodingList ∷ [ShelleyTxAuxData era] → Encoding Source # omitField ∷ ShelleyTxAuxData era → Bool Source # | |||||
| 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.20.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) ⇒ 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.20.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.20.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.20.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))))) | |||||
type ShelleyDELEG = DELEG Source #
Deprecated: In favor of DELEG
type ShelleyDELEGS = DELEGS Source #
Deprecated: In favor of DELEGS
type ShelleyDELPL = DELPL Source #
Deprecated: In favor of DELPL
type ShelleyLEDGER = LEDGER Source #
Deprecated: In favor of LEDGER
type ShelleyLEDGERS = LEDGERS Source #
Deprecated: In favor of LEDGERS
type ShelleyNEWEPOCH = NEWEPOCH Source #
Deprecated: In favor of NEWEPOCH
type ShelleyPOOL = POOL Source #
Deprecated: In favor of POOL
type ShelleyPOOLREAP = POOLREAP Source #
Deprecated: In favor of POOLREAP
type ShelleyPPUP = PPUP Source #
Deprecated: In favor of PPUP
type ShelleyTICK = TICK Source #
Deprecated: In favor of TICK
type ShelleyTICKF = TICKF Source #
Deprecated: In favor of TICKF
type ShelleyUTXO = UTXO Source #
Deprecated: In favor of UTXO
type ShelleyUTXOW = UTXOW Source #
Deprecated: In favor of UTXOW
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.20.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 era)) :*: 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.20.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 # | |||||
| (Ord (PParamsUpdate era), Ord (PParams era)) ⇒ Ord (ShelleyGovState era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Governance Methods compare ∷ ShelleyGovState era → ShelleyGovState era → Ordering # (<) ∷ ShelleyGovState era → ShelleyGovState era → Bool # (<=) ∷ ShelleyGovState era → ShelleyGovState era → Bool # (>) ∷ ShelleyGovState era → ShelleyGovState era → Bool # (>=) ∷ ShelleyGovState era → ShelleyGovState era → Bool # max ∷ ShelleyGovState era → ShelleyGovState era → ShelleyGovState era # min ∷ ShelleyGovState era → ShelleyGovState era → ShelleyGovState era # | |||||
| (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.20.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) ⇒ 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.20.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, FromJSON (PParamsUpdate era)) ⇒ FromJSON (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods parseJSON ∷ Value → Parser (ProposedPPUpdates era) Source # parseJSONList ∷ Value → Parser [ProposedPPUpdates era] Source # omittedField ∷ Maybe (ProposedPPUpdates era) Source # | |||||
| 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 # | |||||
| Ord (PParamsUpdate era) ⇒ Ord (ProposedPPUpdates era) Source # | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods compare ∷ ProposedPPUpdates era → ProposedPPUpdates era → Ordering # (<) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # (<=) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # (>) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # (>=) ∷ ProposedPPUpdates era → ProposedPPUpdates era → Bool # max ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era # min ∷ ProposedPPUpdates era → ProposedPPUpdates era → ProposedPPUpdates era # | |||||
| 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.20.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.20.0.0-inplace" 'False) (C1 ('MetaCons "NonMyopic" 'PrefixI 'True) (S1 ('MetaSel ('Just "likelihoodsNM") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VMap VB VB (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.20.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)))))) | |||||
Constructors
| DelegsEnv | |
Fields
| |
Constructors
| DelplEnv | |
Fields
| |
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.20.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)))) | |||||
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.20.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)))) | |||||
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.20.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))))) | |||||
Instances
| (ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ FromJSON (MultiSig era) Source # | |||||
| (ShelleyEraScript era, NativeScript era ~ MultiSig era) ⇒ ToJSON (MultiSig era) Source # | |||||
| 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 # | |||||
| Ord (MultiSig era) Source # | |||||
Defined in Cardano.Ledger.Shelley.Scripts | |||||
| 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.20.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
| FromJSON GenesisDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods parseJSON ∷ Value → Parser GenesisDelegCert Source # | |||||
| 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.20.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
| FromJSON MIRCert Source # | |||||
| 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.20.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
| FromJSON MIRPot Source # | |
| 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 account addresses or instead transfered to the opposite pot.
Constructors
| StakeAddressesMIR !(Map (Credential 'Staking) DeltaCoin) | |
| SendToOppositePotMIR !Coin |
Instances
| FromJSON MIRTarget Source # | |||||
| 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.20.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
| FromJSON ShelleyDelegCert Source # | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods parseJSON ∷ Value → Parser ShelleyDelegCert Source # | |||||
| 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.20.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
| (EraScript era, FromJSON (Script era)) ⇒ FromJSON (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods parseJSON ∷ Value → Parser (ShelleyTxWits era) Source # parseJSONList ∷ Value → Parser [ShelleyTxWits era] Source # omittedField ∷ Maybe (ShelleyTxWits era) Source # | |||||
| (EraScript era, ToJSON (Script era)) ⇒ ToJSON (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods toJSON ∷ ShelleyTxWits era → Value Source # toEncoding ∷ ShelleyTxWits era → Encoding Source # toJSONList ∷ [ShelleyTxWits era] → Value Source # toEncodingList ∷ [ShelleyTxWits era] → Encoding Source # omitField ∷ ShelleyTxWits era → Bool Source # | |||||
| 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 # | |||||
| (EraScript era, ToJSON (Script era)) ⇒ ToKeyValuePairs (ShelleyTxWits era) Source # | |||||
Defined in Cardano.Ledger.Shelley.TxWits Methods toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxWits era → [kv] 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.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxWitsRaw era))))) | |||||