Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.API

97 types
6 classes
94 values

Packagecardano-ledger-shelley-1.19.0.1
Exports226
LicenceApache-2.0

patternpattern RewardAccount :: Network -> Credential Staking -> AccountAddress

Deprecated. In favor of AccountAddress

valueraCredential :: AccountAddress -> Credential Staking

Deprecated. In favor of aaId

valueraNetwork :: AccountAddress -> Network

Deprecated. In favor of aaNetworkId

valuecertIxFromIntegral :: (Integral a, MonadFail m) => a -> m CertIx

valuecertIxToInt :: CertIx -> Int

valuetxIxFromIntegral :: (Integral a, MonadFail m) => a -> m TxIx

valuetxIxToInt :: TxIx -> Int

valueword64ToCoin :: Word64 -> Coin

valuehashKey :: VKey kd -> KeyHash kd

valueisOverlaySlot :: SlotNo -> UnitInterval -> SlotNo -> Bool

valuecalculatePoolDistr :: SnapShot -> PoolDistr

valuecalculatePoolDistr' :: (KeyHash StakePool -> Bool) -> SnapShot -> PoolDistr

valuetranslateCompactTxOutByronToShelley

:: CompactTxOut
-> ShelleyTxOut ShelleyEra

valuetranslateToShelleyLedgerState

valuetranslateToShelleyLedgerStateFromUtxo

valuetranslateTxIdByronToShelley :: TxId -> TxId

valuecurrentForecast

:: EraForecast era
=> NewEpochState era
-> Forecast Current era

valueforecastChainChecks

:: EraForecast era
=> Forecast t era
-> ChainChecksPParams

valuefutureForecast

:: EraForecast era
=> Globals
-> SlotNo
-> NewEpochState era
-> Forecast Future era

valueapplyTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, Validated (Tx TopTx era))

Deprecated. Use applyTxWithFullValidation instead.

valueapplyTxWithFullValidation

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, ValidatedTx era)

valuecoerceValidated :: Coercible a b => Validated a -> Validated b

Deprecated. Validated is deprecated; switch to ValidatedTx.

valuedefaultApplyTxWithValidation

:: (ApplyTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> NonEmpty (PredicateFailure (EraRule rule era)) -> ApplyTxError era
-> ValidationPolicy
-> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> Either (ApplyTxError era) (MempoolState era, ValidatedTx era)

valuedefaultReapplyValidatedTx

:: (ApplyTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> NonEmpty (PredicateFailure (EraRule rule era)) -> ApplyTxError era
-> Globals
-> MempoolEnv era
-> MempoolState era
-> ValidatedTx era
-> Either (ApplyTxError era) (MempoolState era)

valueextractTx :: Validated tx -> tx

Deprecated. Use extractValidatedTx

valueextractValidatedTx :: EraTx era => ValidatedTx era -> Tx TopTx era

valuegetValidatedTxProtocolVersion :: ValidatedTx era -> ProtVer

valuegetValidatedTxSlotNo :: ValidatedTx era -> SlotNo

valuegetValidatedTxStAnnTx :: ValidatedTx era -> StAnnTx TopTx era

valuemkMempoolEnv :: EraGov era => NewEpochState era -> SlotNo -> MempoolEnv era

valuemkMempoolState :: NewEpochState era -> MempoolState era

valueoverNewEpochState

:: Functor f
=> MempoolState era -> f (MempoolState era)
-> NewEpochState era
-> f (NewEpochState era)

valuereapplyTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Validated (Tx TopTx era)
-> Either (ApplyTxError era) (MempoolState era)

Deprecated. Use reapplyValidatedTx instead.

valuereapplyValidatedTx

:: (ApplyTx era, EraGov era)
=> Globals
-> MempoolEnv era
-> MempoolState era
-> ValidatedTx era
-> Either (ApplyTxError era) (MempoolState era)

valueruleApplyTxValidation

:: (EraTx era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, Environment (EraRule rule era) ~ LedgerEnv era, State (EraRule rule era) ~ MempoolState era, Signal (EraRule rule era) ~ StAnnTx TopTx era)
=> ValidationPolicy
-> Globals
-> MempoolEnv era
-> MempoolState era
-> StAnnTx TopTx era
-> Either (NonEmpty (PredicateFailure (EraRule rule era))) (MempoolState era, ValidatedTx era)

valuetranslateValidated

:: TranslateEra era f
=> TranslationContext era
-> Validated (f (PreviousEra era))
-> Except (TranslationError era f) (Validated (f era))

Deprecated. Translation of Validated does not make sense. It must be fully re-validated in a new era

valueunsafeMakeValidated :: tx -> Validated tx

Deprecated. Use unsafeMakeValidatedTx instead.

valueunsafeMakeValidatedTx

:: ApplyTx era
=> Globals
-> MempoolEnv era
-> MempoolState era
-> Tx TopTx era
-> ValidatedTx era

valueapplyBlockEither

:: ApplyBlock h era
=> SingEP ep
-> ValidationPolicy
-> Globals
-> NewEpochState era
-> Block h era
-> Either (BlockTransitionError era) (NewEpochState era, [Event (EraRule "BBODY" era)])

valueapplyBlockEitherNoEvents

:: ApplyBlock h era
=> ValidationPolicy
-> Globals
-> NewEpochState era
-> Block h era
-> Either (BlockTransitionError era) (NewEpochState era)

valueapplyBlockNoValidaton

:: ApplyBlock h era
=> Globals
-> NewEpochState era
-> Block h era
-> NewEpochState era

valueapplyTickNoEvents

:: ApplyTick era
=> Globals
-> NewEpochState era
-> SlotNo
-> NewEpochState era

valuechainChecks

:: (MonadError ChainPredicateFailure m, EraBlockHeader h era)
=> Version
-> ChainChecksPParams
-> Block h era
-> m ()

valueaddKeyWitnesses

:: EraTx era
=> Tx t era
-> Set (WitVKey Witness)
-> Tx t era

valuegetFilteredUTxO :: EraTxOut era => NewEpochState era -> Set Addr -> UTxO era

valuegetNonMyopicMemberRewards

:: (EraGov era, EraStake era, EraCertState era)
=> Globals
-> NewEpochState era
-> Set (Either Coin (Credential Staking))
-> Map (Either Coin (Credential Staking)) (Map (KeyHash StakePool) Coin)

valuegetPools :: EraCertState era => NewEpochState era -> Set (KeyHash StakePool)

valuegetRewardInfoPools

:: (EraGov era, EraStake era, EraCertState era)
=> Globals
-> NewEpochState era
-> (RewardParams, Map (KeyHash StakePool) RewardInfoPool)

valuegetRewardProvenance

valuegetStakePools

:: EraCertState era
=> NewEpochState era
-> Set (KeyHash StakePool)
-> Map (KeyHash StakePool) StakePoolState

valuegetTotalStake :: Globals -> NewEpochState era -> Coin

valuegetUTxO :: NewEpochState era -> UTxO era

valuegetUTxOSubset :: NewEpochState era -> Set TxIn -> UTxO era

valuepoolsByTotalStakeFraction

:: (EraStake era, EraCertState era)
=> Globals
-> NewEpochState era
-> PoolDistr

valuetotalAdaES

:: (EraTxOut era, EraGov era, EraCertState era)
=> EpochState era
-> Coin

valuetotalAdaPotsES

:: (EraTxOut era, EraGov era, EraCertState era)
=> EpochState era
-> AdaPots

valueshelleyBlockBodyHash

:: ShelleyBlockBody era
-> Hash HASH EraIndependentBlockBody

valueshelleyBlockBodyTxs :: ShelleyBlockBody era -> StrictSeq (Tx TopTx era)

valueauxDataSeqDecoder :: Int -> IntMap a -> Decoder s (Seq (Maybe a))

valuecoreAuxDataBytes :: EraTx era => Tx TopTx era -> StrictMaybe ByteString

valuehashShelleySegWits

valueincrBlocks

:: EraBlockHeader h era
=> Block h era
-> SlotNo
-> UnitInterval
-> BlocksMade
-> BlocksMade

value

mkBasicBlockBodyShelley :: (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) => BlockBody era

valueslotToNonce :: SlotNo -> Nonce

value

txSeqBlockBodyShelleyL :: (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) => Lens' (BlockBody era) (StrictSeq (Tx TopTx era))

valuedescribeValidationErr :: ValidationErr -> Text

valueemptyGenesisStaking :: ShelleyGenesisStaking

valuefoldInjectionData

:: (MonadST m, MonadThrow m, FromJSON v, FromJSONKey k)
=> HasFS m h
-> InjectionData k v
-> acc -> (k, v) -> acc
-> acc
-> m acc

valuefromNominalDiffTimeMicro :: NominalDiffTimeMicro -> NominalDiffTime

valuegenesisUTxO :: EraTxOut era => ShelleyGenesis -> UTxO era

valueinitialFundsPseudoTxIn :: Addr -> TxIn

valuemkShelleyGlobals :: ShelleyGenesis -> EpochInfo (Either Text) -> Globals

valuenominalDiffTimeMicroToMicroseconds :: NominalDiffTimeMicro -> Micro

valuenominalDiffTimeMicroToSeconds :: NominalDiffTimeMicro -> Pico

valuesecondsToNominalDiffTimeMicro :: Micro -> NominalDiffTimeMicro

valuesgActiveSlotCoeff :: ShelleyGenesis -> ActiveSlotCoeff

valuesgExtraConfigL :: Lens' ShelleyGenesis (StrictMaybe ShelleyExtraConfig)

valuesgInitialFundsL :: Lens' ShelleyGenesis (ListMap Addr Coin)

valuesgStakingL :: Lens' ShelleyGenesis ShelleyGenesisStaking

valuetoNominalDiffTimeMicro :: NominalDiffTime -> Maybe NominalDiffTimeMicro

valuetoNominalDiffTimeMicroWithRounding

:: NominalDiffTime
-> NominalDiffTimeMicro

valuevalidateGenesis :: ShelleyGenesis -> Either [ValidationErr] ()

valuecomputeRandomnessStabilisationWindow :: Word64 -> ActiveSlotCoeff -> Word64

valuecomputeStabilityWindow :: Word64 -> ActiveSlotCoeff -> Word64

valuemkShelleyCertState

:: EraCertState era
=> PState era
-> DState era
-> CertState era

datadata Addr

Constructors

Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSONKey AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSONKey AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AddrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep Addr = D1 ('MetaData "Addr" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Addr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Network) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Payment)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakeReference))) :+: C1 ('MetaCons "AddrBootstrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BootstrapAddress)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype Withdrawals

Constructors

Withdrawals
- unWithdrawals :: Map AccountAddress Coin

Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Semigroup WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Monoid WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR WithdrawalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map AccountAddress Coin))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype CertIx

Instances13Bounded, Enum, Eq, Ord, Show, NFData, …

Bounded CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Enum CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Eq CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Random CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Uniform CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
UniformRange CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata Globals

Constructors

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

Instances5Show, Generic, NFData, NoThunks, Rep

Show GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep Globals = D1 ('MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata Network

Testnet Mainnet

Instances16Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Enum NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Eq NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Default NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) U1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata Nonce

Constructors

Nonce !(Hash Blake2b_256 Nonce)
NeutralNonce

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToPlutusData NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) U1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

newtypenewtype Port

Constructors

Port
- portToWord16 :: Word16

Instances12Eq, Num, Ord, Show, Generic, NFData, …

Eq PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Num PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep Port = D1 ('MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata ProtVer

Constructors

ProtVer
- pvMajor :: !Version
- pvMinor :: !Word32

Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromJSON ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
FromCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBORGroup ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBORGroup ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToPlutusData ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

newtypenewtype TxIx

Instances16Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Enum TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Eq TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Ord TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Show TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Generic TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NFData TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Random TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Uniform TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
UniformRange TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
ToJSON TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
MemPack TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
NoThunks TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
DecCBOR TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
EncCBOR TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes

datadata Block h era

Constructors

Block
- blockHeader :: !h
- blockBody :: !BlockBody era

Instances9DecCBOR, Eq, Show, Generic, NFData, NoThunks, …

(EraBlockBody era, DecCBOR (Annotator h), Typeable h) => DecCBOR (Annotator (Block h era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(Era era, Eq (BlockBody era), Eq h) => Eq (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(Era era, Show (BlockBody era), Show h) => Show (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
Generic (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(NFData h, NFData (BlockBody era)) => NFData (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(Era era, NoThunks (BlockBody era), NoThunks h) => NoThunks (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(Era era, EncCBORGroup (BlockBody era), EncCBOR h, Typeable h) => ToCBOR (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
(Era era, EncCBORGroup (BlockBody era), EncCBOR h) => EncCBOR (Block h era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block
type Rep (Block h era) = D1 ('MetaData "Block" "Cardano.Ledger.Block" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Block

newtypenewtype Coin

Constructors

Coin
- unCoin :: Integer

Instances50Enum, FromCBOR, PartialOrd, Compactible, Val, Inject, …

Enum CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Eq CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Ord CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Show CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Generic CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Semigroup CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Monoid CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NFData CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Uniform CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
UniformRange CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
FromJSON CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToJSON CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NoThunks CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
FromCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
DecCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
EncCBOR CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Abelian CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Group CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
PartialOrd CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
HasZero CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Compactible CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Val CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Val
ToPlutusData CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
Inject Coin DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Eq (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Ord (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Show (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Generic (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Semigroup (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Monoid (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Storable (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NFData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Uniform (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
UniformRange (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Prim (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
FromJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToJSON (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
MemPack (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NoThunks (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
DecCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
EncCBOR (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Abelian (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Group (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
HasZero (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToPlutusData (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
type Rep (CompactForm Coin) = D1 ('MetaData "CompactForm" "Cardano.Ledger.Coin" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "CompactCoin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCompactCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
data CompactForm Coin
- CompactCoinunCompactCoin :: Word64
Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin

familydata family TxBody (l :: TxLevel) era

Instances17HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

pattern

pattern ShelleyTxBody :: Set TxIn -> StrictSeq (TxOut ShelleyEra) -> StrictSeq (TxCert ShelleyEra) -> Withdrawals -> Coin -> SlotNo -> StrictMaybe (Update ShelleyEra) -> StrictMaybe TxAuxDataHash -> TxBody TopTx ShelleyEra

datadata PoolCert

Constructors

RegPool !StakePoolParams
RetirePool !(KeyHash StakePool) !EpochNo

Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
Ord PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
Show PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
Generic PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
NFData PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
ToJSON PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
NoThunks PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert
type Rep PoolCert = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakePoolParams)) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert

datadata Credential (kr :: KeyRole)

Constructors

ScriptHashObj !ScriptHash
KeyHashObj !(KeyHash kr)

Instances19HasKeyRole, Eq, Ord, Show, Generic, Storable, …

HasKeyRole CredentialDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Eq (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Ord (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Show (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Generic (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Storable (Credential r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NFData (Credential r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
FromJSON (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
FromJSONKey (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToJSON (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToJSONKey (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Default (Credential r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Typeable kr => MemPack (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NoThunks (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Typeable kr => FromCBOR (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Typeable kr => ToCBOR (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Typeable kr => DecCBOR (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
EncCBOR (Credential kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
type Rep (Credential kr) = D1 ('MetaData "Credential" "Cardano.Ledger.Credential" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "ScriptHashObj" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash)) :+: C1 ('MetaCons "KeyHashObj" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash kr))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential

datadata Ptr

Constructors

Ptr !SlotNo32 !TxIx !CertIx

Instances15Eq, Ord, Show, Generic, NFData, Uniform, …

Eq PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Ord PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Show PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Generic PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NFData PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Uniform PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToJSON PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToJSONKey PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NoThunks PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
DecCBOR PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
EncCBOR PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
DecCBORGroup PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
EncCBORGroup PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToKeyValuePairs PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
type Rep Ptr = D1 ('MetaData "Ptr" "Cardano.Ledger.Credential" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Ptr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo32) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CertIx))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential

datadata StakeReference

Constructors

Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Ord StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Show StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
Generic StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NFData StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
ToJSON StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
NoThunks StakeReferenceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential
type Rep StakeReference = D1 ('MetaData "StakeReference" "Cardano.Ledger.Credential" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "StakeRefBase" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking))) :+: (C1 ('MetaCons "StakeRefPtr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Ptr)) :+: C1 ('MetaCons "StakeRefNull" 'PrefixI 'False) U1))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Credential

datadata GenDelegPair

Constructors

GenDelegPair
- genDelegKeyHash :: !KeyHash GenesisDelegate
- genDelegVrfHash :: !VRFVerKeyHash GenDelegVRF

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR GenDelegPairDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep GenDelegPair = D1 ('MetaData "GenDelegPair" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype GenDelegs

Constructors

GenDelegs
- unGenDelegs :: Map (KeyHash GenesisRole) GenDelegPair

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR GenDelegsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep GenDelegs = D1 ('MetaData "GenDelegs" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash GenesisRole) GenDelegPair))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype KeyHash (r :: KeyRole)

Constructors

KeyHash
- unKeyHash :: Hash ADDRHASH (VerKeyDSIGN DSIGN)

Instances19HasKeyRole, Eq, Ord, Show, Generic, Storable, …

HasKeyRole KeyHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Eq (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Storable (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSONKey (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSONKey (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Default (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
MemPack (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Typeable r => FromCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Typeable r => ToCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Typeable r => DecCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype ScriptHash

Constructors

ScriptHash (Hash ADDRHASH EraIndependentScript)

Instances16Eq, Ord, Show, Generic, Storable, NFData, …

Eq ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Storable ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSONKey ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
MemPack ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR ScriptHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

datadata BootstrapWitness

Constructors

BootstrapWitness
- bwKey :: !VKey Witness
- bwSignature :: !SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)
- bwChainCode :: !ChainCode
- bwAttributes :: !ByteArray

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Ord BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Show BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Generic BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NFData BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NoThunks BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
DecCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
EncCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap

constructorBlockIssuer

constructorColdCommitteeRole

constructorDRepRole

constructorGenesisDelegate

constructorGenesisRole

constructorGuard

methodcoerceKeyRole :: a r -> a r'

constructorHotCommitteeRole

datadata KeyRole

GenesisRole GenesisDelegate Payment Staking StakePool BlockIssuer Witness DRepRole HotCommitteeRole ColdCommitteeRole Guard

constructorPayment

constructorStakePool

constructorStaking

newtypenewtype VKey (kd :: KeyRole)

Constructors

VKey
- unVKey :: VerKeyDSIGN DSIGN

Instances9HasKeyRole, Eq, Show, Generic, NFData, NoThunks, …

HasKeyRole VKeyDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
Eq (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
Show (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
Generic (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
NFData (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
NoThunks (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
Typeable kd => DecCBOR (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
EncCBOR (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
type Rep (VKey kd) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN DSIGN))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal

constructorWitness

datadata WitVKey (kr :: KeyRole)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => Ord (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Show (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Generic (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
NFData (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => NoThunks (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => DecCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
EncCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey

patternpattern WitVKey :: VKey kr -> SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) -> WitVKey kr

datadata Metadatum

Constructors

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Ord MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Show MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
Generic MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
NFData MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
FromJSON MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
ToJSON MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
NoThunks MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
DecCBOR MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
EncCBOR MetadatumDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata
type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Metadata

familytype family AccountState era

Instances1AccountState

type AccountState ShelleyEra = ShelleyAccountState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan

familytype family AccountState era

Instances1AccountState

type AccountState ShelleyEra = ShelleyAccountState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.Account · orphan

familytype family CertState era

Instances1CertState

type CertState ShelleyEra = ShelleyCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan

datadata DState era

Constructors

DState
- dsAccounts :: !Accounts era
- dsFutureGenDelegs :: !Map FutureGenDeleg GenDelegPair
- dsGenDelegs :: !GenDelegs
- dsIRewards :: !InstantaneousRewards

Instances14CanGetAccounts, CanSetAccounts, Eq, Show, Generic, NFData, …

CanGetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
CanSetAccounts DStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Eq (Accounts era) => Eq (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show (Accounts era) => Show (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData (Accounts era) => NFData (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (Accounts era) => ToJSON (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default (Accounts era) => Default (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks (Accounts era) => NoThunks (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EraAccounts era => DecShareCBOR (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
(Era era, EncCBOR (Accounts era)) => EncCBOR (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (Accounts era) => ToKeyValuePairs (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep (DState era) = D1 ('MetaData "DState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share (DState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

class

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

Associated types

type family CertState era

Methods

certDStateL :: Lens' (CertState era) (DState era)
certPStateL :: Lens' (CertState era) (PState era)
obligationCertState :: CertState era -> Obligations
certsTotalDepositsTxBody :: EraTxBody era => PParams era -> CertState era -> TxBody TopTx era -> Coin
certsTotalRefundsTxBody :: EraTxBody era => PParams era -> Accounts era -> TxBody t era -> Coin

Instances1EraCertState

EraCertState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.State.CertState · orphan

datadata InstantaneousRewards

Constructors

InstantaneousRewards
- iRReserves :: !Map (Credential Staking) Coin
- iRTreasury :: !Map (Credential Staking) Coin
- deltaReserves :: !DeltaCoin
- deltaTreasury :: !DeltaCoin

Instances12Eq, Show, Generic, NFData, ToJSON, Default, …

Eq InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
DecShareCBOR InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
EncCBOR InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToKeyValuePairs InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep InstantaneousRewards = D1 ('MetaData "InstantaneousRewards" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share InstantaneousRewards = Interns (Credential Staking)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

datadata PState era

Constructors

PState
- psVRFKeyHashes :: !Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64)
- psStakePools :: !Map (KeyHash StakePool) StakePoolState
- psFutureStakePoolParams :: !Map (KeyHash StakePool) StakePoolParams
- psRetiring :: !Map (KeyHash StakePool) EpochNo

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

Eq (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Show (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Generic (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NFData (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToJSON (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Default (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
NoThunks (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
(Era era, DecShareCBOR (PState era)) => DecCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
DecShareCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
Era era => EncCBOR (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
ToKeyValuePairs (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.State.CertState" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psVRFKeyHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (VRFVerKeyHash StakePoolVRF) (NonZero Word64))) :*: S1 ('MetaSel ('Just "psStakePools") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) StakePoolState))) :*: (S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash StakePool) EpochNo)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState
type Share (PState era) = (Interns (VRFVerKeyHash StakePoolVRF), Interns (KeyHash StakePool))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertState

datadata ChainAccountState

Instances11Eq, Show, Generic, NFData, ToJSON, Default, …

Eq ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Show ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Generic ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
NFData ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
ToJSON ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
Default ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
NoThunks ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
DecCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
EncCBOR ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
ToKeyValuePairs ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount
type Rep ChainAccountState = D1 ('MetaData "ChainAccountState" "Cardano.Ledger.State.ChainAccount" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "ChainAccountState" 'PrefixI 'True) (S1 ('MetaSel ('Just "casTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "casReserves") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccount

valueindividualPoolStake :: IndividualPoolStake -> Rational

datadata PoolDistr

Constructors

PoolDistr
- unPoolDistr :: !Map (KeyHash StakePool) IndividualPoolStake
- pdTotalActiveStake :: !NonZero Coin

Instances10Eq, Show, Generic, NFData, ToJSON, Default, …

Eq PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Show PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Generic PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NFData PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
ToJSON PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
Default PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
NoThunks PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
DecCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
EncCBOR PoolDistrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr
type Rep PoolDistr = D1 ('MetaData "PoolDistr" "Cardano.Ledger.State.PoolDistr" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistr

datadata SnapShot

Constructors

SnapShot
- ssActiveStake :: !ActiveStake
- ssTotalActiveStake :: !NonZero Coin
- ssStakePoolsSnapShot :: !VMap VB VB (KeyHash StakePool) StakePoolSnapShot

Instances11Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Show SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Generic SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NFData SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToJSON SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NoThunks SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
DecShareCBOR SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
EncCBOR SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToKeyValuePairs SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Rep SnapShot = D1 ('MetaData "SnapShot" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" '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)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Share SnapShot = (Interns (Credential Staking), Interns (KeyHash StakePool))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots

datadata SnapShots era

Constructors

SnapShots
- ssStakeMark :: SnapShot
- ssStakeMarkPoolDistr :: PoolDistr
- ssStakeSet :: !SnapShot
- ssStakeGo :: !SnapShot
- ssFee :: !Coin

Instances13Eq, Show, Generic, NFData, ToJSON, Default, …

Eq (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Show (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Generic (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
NFData (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToJSON (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Default (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Typeable era => NoThunks (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
Era era => DecCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
DecShareCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
EncCBOR (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
ToKeyValuePairs (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Rep (SnapShots era) = D1 ('MetaData "SnapShots" "Cardano.Ledger.State.SnapShots" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "SnapShots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ssStakeMark") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssStakeMarkPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PoolDistr)) :*: (S1 ('MetaSel ('Just "ssStakeSet") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: (S1 ('MetaSel ('Just "ssStakeGo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SnapShot) :*: S1 ('MetaSel ('Just "ssFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots
type Share (SnapShots era) = Share SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShots

newtypenewtype Stake

Constructors

Stake
- unStake :: VMap VB VP (Credential Staking) (CompactForm Coin)

Instances12Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Show StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Generic StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Semigroup StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
Monoid StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NFData StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
ToJSON StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
NoThunks StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
DecShareCBOR StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
EncCBOR StakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Rep Stake = D1 ('MetaData "Stake" "Cardano.Ledger.State.Stake" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Stake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VMap VB VP (Credential Staking) (CompactForm Coin)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake
type Share Stake = Share (VMap VB VP (Credential Staking) (CompactForm Coin))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Stake

datadata PoolMetadata

Constructors

PoolMetadata
- pmUrl :: !Url
- pmHash :: !ByteArray

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Ord PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Show PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Generic PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NFData PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
FromJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
ToJSON PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NoThunks PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
DecCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
EncCBOR PoolMetadataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
type Rep PoolMetadata = D1 ('MetaData "PoolMetadata" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

datadata StakePoolParams

Constructors

StakePoolParams
- sppId :: !KeyHash StakePool
- sppVrf :: !VRFVerKeyHash StakePoolVRF
- sppPledge :: !Coin
- sppCost :: !Coin
- sppMargin :: !UnitInterval
- sppAccountAddress :: !AccountAddress
- sppOwners :: !Set (KeyHash Staking)
- sppRelays :: !StrictSeq StakePoolRelay
- sppMetadata :: !StrictMaybe PoolMetadata

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Ord StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Show StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Generic StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NFData StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
FromJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
ToJSON StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
Default StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
NoThunks StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
DecCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
EncCBOR StakePoolParamsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool
type Rep StakePoolParams = D1 ('MetaData "StakePoolParams" "Cardano.Ledger.State.StakePool" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "StakePoolParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sppId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel ('Just "sppVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash StakePoolVRF))) :*: (S1 ('MetaSel ('Just "sppPledge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "sppCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: ((S1 ('MetaSel ('Just "sppMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "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)))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.StakePool

pattern

pattern PoolParams :: KeyHash StakePool -> VRFVerKeyHash StakePoolVRF -> Coin -> Coin -> UnitInterval -> AccountAddress -> Set (KeyHash Staking) -> StrictSeq StakePoolRelay -> StrictMaybe PoolMetadata -> PoolParams

Deprecated. In favor of StakePoolParams

valueppAccountAddress :: PoolParams -> AccountAddress