Cardano.Ledger.Shelley.Core · cardano-ledger-shelley-1.19.0.1

valuebinaryUpgradeTx

:: (Era era, ToCBOR (Tx l (PreviousEra era)), DecCBOR (Annotator (Tx l era)))
=> Tx l (PreviousEra era)
-> Except DecoderError (Tx l era)

#

valuebinaryUpgradeTxAuxData

:: (Era era, ToCBOR (TxAuxData (PreviousEra era)), DecCBOR (Annotator (TxAuxData era)))
=> TxAuxData (PreviousEra era)
-> Except DecoderError (TxAuxData era)

#

valuebinaryUpgradeTxBody

:: (Era era, ToCBOR (TxBody l (PreviousEra era)), DecCBOR (Annotator (TxBody l era)))
=> TxBody l (PreviousEra era)
-> Except DecoderError (TxBody l era)

#

valuebinaryUpgradeTxWits

:: (Era era, ToCBOR (TxWits (PreviousEra era)), DecCBOR (Annotator (TxWits era)))
=> TxWits (PreviousEra era)
-> Except DecoderError (TxWits era)

#

valuebootAddrTxOutF :: EraTxOut era => SimpleGetter (TxOut era) (Maybe BootstrapAddress)

#

valuecoinTxOutL :: (HasCallStack, EraTxOut era) => Lens' (TxOut era) Coin

#

valuecompactCoinTxOutL :: (HasCallStack, EraTxOut era) => Lens' (TxOut era) (CompactForm Coin)

#

valuefromStrictMaybeL

:: Functor f
=> Maybe a -> f (Maybe a)
-> StrictMaybe a
-> f (StrictMaybe a)

#

valuehashScript :: EraScript era => Script era -> ScriptHash

#

valuehashScriptTxWitsL :: EraTxWits era => Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era]

#

valuehashTxAuxData :: EraTxAuxData era => TxAuxData era -> TxAuxDataHash

#

valueisAdaOnlyTxOutF :: EraTxOut era => SimpleGetter (TxOut era) Bool

#

valueisNativeScript :: EraScript era => Script era -> Bool

#

valuekeyHashWitnessesTxWits

:: EraTxWits era
=> TxWits era
-> Set (KeyHash Witness)

#

valuemkCoinTxOut :: EraTxOut era => Addr -> Coin -> TxOut era

#

valuemodifyTxAuxData

:: EraTx era
=> TxAuxData era -> TxAuxData era
-> Tx l era
-> Tx l era

#

valuetoStrictMaybeL

:: Functor f
=> StrictMaybe a -> f (StrictMaybe a)
-> Maybe a
-> f (Maybe a)

#

valuetxIdTx :: EraTx era => Tx l era -> TxId

#

valuetxIdTxBody :: EraTxBody era => TxBody l era -> TxId

#

valuewireSizeTxF :: EraTx era => SimpleGetter (Tx l era) Word32

#

valueabsurdEraRule :: VoidEraRule rule era -> a

#

valueatLeastEra :: AtLeastEra eraName era => ()

#

valueatMostEra :: AtMostEra eraName era => ()

#

valueeraDecoder :: Era era => Decoder s t -> Decoder s t

#

valueeraDecoderWithBytes :: Era era => ByteString -> Decoder s t -> Decoder s t

#

valueeraProtVerHigh :: Era era => Version

#

valueeraProtVerLow :: Era era => Version

#

valueeraProtVersions :: Era era => [Version]

#

valuefromEraCBOR :: (Era era, DecCBOR t) => Decoder s t

#

valuefromEraShareCBOR :: (Era era, DecShareCBOR t) => Decoder s t

#

valuenotSupportedInThisEra :: HasCallStack => a

#

valuenotSupportedInThisEraL :: HasCallStack => Lens' a b

#

valuetoEraCBOR :: (Era era, EncCBOR t) => t -> Encoding

#

valuedowngradePParams

:: (EraPParams era, EraPParams (PreviousEra era))
=> DowngradePParams Identity era
-> PParams era
-> PParams (PreviousEra era)

#

valuedowngradePParamsUpdate

:: (EraPParams era, EraPParams (PreviousEra era))
=> DowngradePParams StrictMaybe era
-> PParamsUpdate era
-> PParamsUpdate (PreviousEra era)

#

valueemptyPParams :: EraPParams era => PParams era

#

valueemptyPParamsUpdate :: EraPParams era => PParamsUpdate era

#

valuegenericApplyPPUpdates

:: (Generic (PParamsHKD Identity era), Generic (PParamsHKD StrictMaybe era), Updatable (Rep (PParamsHKD Identity era) a) (Rep (PParamsHKD StrictMaybe era) u))
=> PParams era
-> PParamsUpdate era
-> PParams era

#

valuehkdMinFeeAL :: (EraPParams era, HKDFunctor f) => Lens' (PParamsHKD f era) (HKD f Coin)

#

Deprecated. In favor of hkdTxFeePerByteL

valuehkdMinFeeBL :: (EraPParams era, HKDFunctor f) => Lens' (PParamsHKD f era) (HKD f Coin)

#

Deprecated. In favor of hkdTxFeeFixedCompactL

valuemapPParams

:: PParamsHKD Identity era1 -> PParamsHKD Identity era2
-> PParams era1
-> PParams era2

#

valuemapPParamsUpdate

:: PParamsHKD StrictMaybe era1 -> PParamsHKD StrictMaybe era2
-> PParamsUpdate era1
-> PParamsUpdate era2

#

valueppA0L :: EraPParams era => Lens' (PParams era) NonNegativeInterval

#

valueppDL :: (EraPParams era, AtMostEra "Alonzo" era) => Lens' (PParams era) UnitInterval

#

valueppEMaxL :: EraPParams era => Lens' (PParams era) EpochInterval

#

valueppExtraEntropyL :: (EraPParams era, AtMostEra "Alonzo" era) => Lens' (PParams era) Nonce

#

valueppKeyDepositCompactL :: EraPParams era => Lens' (PParams era) (CompactForm Coin)

#

valueppKeyDepositL :: (EraPParams era, HasCallStack) => Lens' (PParams era) Coin

#

valueppLensHKD

:: Functor f
=> PParamsHKD Identity era -> f (PParamsHKD Identity era)
-> PParams era
-> f (PParams era)

#

valueppMaxBBSizeL :: EraPParams era => Lens' (PParams era) Word32

#

valueppMaxBHSizeL :: EraPParams era => Lens' (PParams era) Word16

#

valueppMaxTxSizeL :: EraPParams era => Lens' (PParams era) Word32

#

valueppMinFeeAL :: EraPParams era => Lens' (PParams era) Coin

#

Deprecated. In favor of ppTxFeePerByteL

valueppMinFeeBL :: EraPParams era => Lens' (PParams era) Coin

#

Deprecated. In favor of ppTxFeeFixedL

valueppMinPoolCostCompactL :: EraPParams era => Lens' (PParams era) (CompactForm Coin)

#

valueppMinPoolCostL :: (EraPParams era, HasCallStack) => Lens' (PParams era) Coin

#

valueppMinUTxOValueCompactL :: (EraPParams era, AtMostEra "Mary" era) => Lens' (PParams era) (CompactForm Coin)

#

valueppMinUTxOValueL :: (EraPParams era, AtMostEra "Mary" era, HasCallStack) => Lens' (PParams era) Coin

#

valueppNOptL :: EraPParams era => Lens' (PParams era) Word16

#

valueppPoolDepositCompactL :: EraPParams era => Lens' (PParams era) (CompactForm Coin)

#

valueppPoolDepositL :: (EraPParams era, HasCallStack) => Lens' (PParams era) Coin

#

valueppRhoL :: EraPParams era => Lens' (PParams era) UnitInterval

#

valueppTauL :: EraPParams era => Lens' (PParams era) UnitInterval

#

valueppTxFeeFixedCompactL :: EraPParams era => Lens' (PParams era) (CompactForm Coin)

#

valueppTxFeeFixedL :: (EraPParams era, HasCallStack) => Lens' (PParams era) Coin

#

valueppTxFeePerByteL :: EraPParams era => Lens' (PParams era) CoinPerByte

#

valueppuA0L :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)

#

valueppuDL :: (EraPParams era, AtMostEra "Alonzo" era) => Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)

#

valueppuEMaxL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)

#

valueppuExtraEntropyL :: (EraPParams era, AtMostEra "Alonzo" era) => Lens' (PParamsUpdate era) (StrictMaybe Nonce)

#

valueppuKeyDepositCompactL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

#

valueppuKeyDepositL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

valueppuLensHKD

:: Functor f
=> PParamsHKD StrictMaybe era -> f (PParamsHKD StrictMaybe era)
-> PParamsUpdate era
-> f (PParamsUpdate era)

#

valueppuMaxBBSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word32)

#

valueppuMaxBHSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word16)

#

valueppuMaxTxSizeL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word32)

#

valueppuMinFeeAL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

Deprecated. In favor of ppuTxFeePerByteL

valueppuMinFeeBL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

Deprecated. In favor of ppuTxFeeFixedL

valueppuMinPoolCostCompactL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

#

valueppuMinPoolCostL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

value

ppuMinUTxOValueCompactL :: (EraPParams era, AtMostEra "Mary" era) => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

#

valueppuMinUTxOValueL :: (EraPParams era, AtMostEra "Mary" era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

valueppuNOptL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe Word16)

#

valueppuPoolDepositCompactL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

#

valueppuPoolDepositL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

valueppuRhoL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)

#

valueppuTauL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)

#

valueppuTxFeeFixedCompactL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe (CompactForm Coin))

#

valueppuTxFeeFixedL :: (EraPParams era, HasCallStack) => Lens' (PParamsUpdate era) (StrictMaybe Coin)

#

valueppuTxFeePerByteL :: EraPParams era => Lens' (PParamsUpdate era) (StrictMaybe CoinPerByte)

#

valueupgradePParams

:: (EraPParams era, EraPParams (PreviousEra era))
=> UpgradePParams Identity era
-> PParams (PreviousEra era)
-> PParams era

#

valueupgradePParamsUpdate

:: (EraPParams era, EraPParams (PreviousEra era))
=> UpgradePParams StrictMaybe era
-> PParamsUpdate (PreviousEra era)
-> PParamsUpdate era

#

valuetranslateEra'

:: (TranslateEra era f, TranslationError era f ~ Void)
=> TranslationContext era
-> f (PreviousEra era)
-> f era

#

valuetranslateEraMaybe

:: (TranslateEra era f, TranslationError era f ~ ())
=> TranslationContext era
-> f (PreviousEra era)
-> Maybe (f era)

#

valuetranslateEraThroughCBOR

:: (Era era, ToCBOR (ti (PreviousEra era)), DecCBOR (Annotator (to era)))
=> Text
-> ti (PreviousEra era)
-> Except DecoderError (to era)

#

patternpattern RegPoolTxCert :: EraTxCert era => StakePoolParams -> TxCert era

#

patternpattern RetirePoolTxCert :: EraTxCert era => KeyHash StakePool -> EpochNo -> TxCert era

#

valuegetPoolCertTxCert :: EraTxCert era => TxCert era -> Maybe PoolCert

#

valueisRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

#

valueisUnRegStakeTxCert :: EraTxCert era => TxCert era -> Bool

#

valuepoolCertKeyHashWitness :: PoolCert -> KeyHash Witness

#

valueasSTxBothLevels

:: (Typeable l, HasEraTxLevel t era, STxLevel l era ~ STxBothLevels l era)
=> t TopTx era
-> t SubTx era
-> t l era

#

valueasSTxTopLevel

:: (Typeable l, HasEraTxLevel t era, STxLevel l era ~ STxTopLevel l era)
=> t TopTx era
-> t l era

#

valuemkSTxBothLevelsM

:: (Typeable l, Monad m, HasEraTxLevel t era, STxLevel l era ~ STxBothLevels l era)
=> m (t TopTx era)
-> m (t SubTx era)
-> m (t l era)

#

valuemkSTxTopLevelM

:: (Typeable l, Monad m, HasEraTxLevel t era, STxLevel l era ~ STxTopLevel l era)
=> m (t TopTx era)
-> m (t l era)

#

valuewithBothTxLevels

:: (HasEraTxLevel t era, STxLevel l era ~ STxBothLevels l era)
=> t l era
-> t TopTx era -> a
-> t SubTx era -> a
-> a

#

valuewithSTxBothLevels

:: (Typeable l, HasCallStack)
=> STxBothLevels l era -> a
-> a

#

valuewithSTxTopLevelM

:: (Typeable l, Era era, MonadFail m)
=> STxTopLevel l era -> m a
-> m a

#

valuewithTopTxLevelOnly

:: (HasEraTxLevel t era, STxLevel l era ~ STxTopLevel l era)
=> t l era
-> t TopTx era -> a
-> a

#

valuecastSafeHash :: SafeHash i -> SafeHash j

#

valueextractHash :: SafeHash i -> Hash HASH i

#

valuefromVRFVerKeyHash :: VRFVerKeyHash r -> Hash HASH (VerKeyVRF v)

#

valuehashKey :: VKey kd -> KeyHash kd

#

valuehashTxBodySignature

:: SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)
-> Hash HASH (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))

#

valuestandardAddrHashSize :: Int

#

valuestandardHashSize :: Int

#

valuetoVRFVerKeyHash :: Hash HASH (VerKeyVRF v) -> VRFVerKeyHash r

#

valueknownFuturePParams :: FuturePParams era -> Maybe (PParams era)

#

valuenextEpochPParams :: EraGov era => GovState era -> PParams era

#

valuenextEpochUpdatedPParams

:: EraGov era
=> GovState era
-> StrictMaybe (PParams era)

#

valuesolidifyFuturePParams :: FuturePParams era -> FuturePParams era

#

valuecurPParamsShelleyGovStateL

:: Functor f
=> PParams era -> f (PParams era)
-> ShelleyGovState era
-> f (ShelleyGovState era)

#

valueemptyShelleyGovState :: EraPParams era => ShelleyGovState era

#

valuefuturePParamsShelleyGovStateL

:: Functor f
=> FuturePParams era -> f (FuturePParams era)
-> ShelleyGovState era
-> f (ShelleyGovState era)

#

valueprevPParamsShelleyGovStateL

:: Functor f
=> PParams era -> f (PParams era)
-> ShelleyGovState era
-> f (ShelleyGovState era)

#

patternpattern DelegStakeTxCert :: ShelleyEraTxCert era => Credential Staking -> KeyHash StakePool -> TxCert era

#

pattern

pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert era

#

patternpattern MirTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => MIRCert -> TxCert era

#

patternpattern RegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

#

patternpattern UnRegTxCert :: ShelleyEraTxCert era => Credential Staking -> TxCert era

#

newtypenewtype Hash h a

#

Instances25Eq, Ord, Read, Show, Generic, Storable, …

HashAlgorithm h => IsString (Q (TExp (Hash h a)))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
Eq (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
Ord (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => Read (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
Show (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => IsString (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
Generic (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => Storable (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
NFData (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => FromJSON (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => FromJSONKey (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => ToJSON (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => ToJSONKey (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HashAlgorithm h => Default (Hash h b)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Orphans · orphan
HashAlgorithm h => MemPack (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
NoThunks (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
(HashAlgorithm h, Typeable a) => FromCBOR (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
(HashAlgorithm h, Typeable a) => ToCBOR (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
HeapWords (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
SignableRepresentation (Hash a b)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Orphans · orphan
(HashAlgorithm h, Typeable a) => DecCBOR (Hash h a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
HashAlgorithm h => EncCBOR (Hash h a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
HashAlgorithm h => SafeToHash (Hash h i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
HashAlgorithm h => IsString (Code Q (Hash h a))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
type Rep (Hash h a) = D1 ('MetaData "Hash" "Cardano.Crypto.Hash.Class" "cardano-crypto-class-2.5.1.0-2YbSTqCvsz43JrgaH5m8D0" 'True) (C1 ('MetaCons "UnsafeHashRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PackedBytes (HashSize h)))))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class

classclass (KnownNat (HashSize h), Typeable h) => HashAlgorithm h where

#

Instances10HashAlgorithm, …

HashAlgorithm Blake2b_224Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Blake2b
HashAlgorithm Blake2b_256Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Blake2b
HashAlgorithm Keccak256Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Keccak256
HashAlgorithm NeverHashDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.NeverUsed
HashAlgorithm RIPEMD160Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.RIPEMD160
HashAlgorithm SHA256Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.SHA256
HashAlgorithm SHA3_256Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.SHA3_256
HashAlgorithm SHA3_512Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.SHA3_512
HashAlgorithm SHA512Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.SHA512
(KnownNat n, CmpNat n 33 ~ 'LT) => HashAlgorithm (Blake2bPrefix n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Short

datadata AccountAddress

#

Constructors

AccountAddress
- aaNetworkId :: !Network
- aaId :: !AccountId

Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSONKey AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSONKey AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Default AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AccountAddressDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep AccountAddress = D1 ('MetaData "AccountAddress" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "AccountAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "aaNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "aaId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AccountId)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

newtypenewtype AccountId

#

Constructors

AccountId
- unAccountId :: Credential Staking

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

Eq AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Ord AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Show AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
Generic AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NFData AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
FromJSON AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
ToJSON AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
NoThunks AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
DecCBOR AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
EncCBOR AccountIdDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address
type Rep AccountId = D1 ('MetaData "AccountId" "Cardano.Ledger.Address" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "AccountId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAccountId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Credential Staking))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Address

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 CoinPerByte

#

Constructors

CoinPerByte
- unCoinPerByte :: CompactForm Coin

Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …

Eq CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Ord CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
Show CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NFData CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
FromJSON CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToJSON CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
NoThunks CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
DecCBOR CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
EncCBOR CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
ToPlutusData CoinPerByteDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData

familytype family BlockBody era

#

Instances1BlockBody

type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal · orphan

class

class (EraTx era, Eq (BlockBody era), Show (BlockBody era), Typeable (BlockBody era), DecCBOR (Annotator (BlockBody era))) => EraBlockBody era where

#

Associated types

type family BlockBody era

Methods

mkBasicBlockBody :: BlockBody era
txSeqBlockBodyL :: Lens' (BlockBody era) (StrictSeq (Tx TopTx era))
hashBlockBody :: BlockBody era -> Hash HASH EraIndependentBlockBody
numSegComponents :: Word64
blockBodySize :: ProtVer -> BlockBody era -> Int

Instances1EraBlockBody

EraBlockBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal · orphan

class

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToJSON (Script era), FromJSON (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NFData (Script era), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), ToJSON (NativeScript era), FromJSON (NativeScript era), ToCBOR (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) => EraScript era where

#

Associated types

type family Script era
type family NativeScript era

Methods

upgradeScript :: EraScript (PreviousEra era) => Script (PreviousEra era) -> Script era
scriptPrefixTag :: Script era -> ByteString
getNativeScript :: Script era -> Maybe (NativeScript era)
fromNativeScript :: NativeScript era -> Script era

Instances1EraScript

EraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

class

class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, HasEraTxLevel Tx era, Monoid (StAnnTxCache era), forall (l :: TxLevel). Typeable l => NoThunks (Tx l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (Tx l era)), forall (l :: TxLevel). Typeable l => ToCBOR (Tx l era), forall (l :: TxLevel). EncCBOR (Tx l era), forall (l :: TxLevel). NFData (Tx l era), forall (l :: TxLevel). Show (Tx l era), forall (l :: TxLevel). Eq (Tx l era)) => EraTx era where

#

Associated types

data family Tx (l :: TxLevel) era
type family StAnnTx (l :: TxLevel) era
type family StAnnTxCache era

Methods

txStAnnTxG :: SimpleGetter (StAnnTx l era) (Tx l era)
cacheStAnnTxG :: SimpleGetter (StAnnTx l era) (StAnnTxCache era)
mkBasicTx :: TxBody l era -> Tx l era
bodyTxL :: Lens' (Tx l era) (TxBody l era)
witsTxL :: Lens' (Tx l era) (TxWits era)
auxDataTxL :: Lens' (Tx l era) (StrictMaybe (TxAuxData era))
sizeTxF :: HasCallStack => SimpleGetter (Tx l era) Word32
sizeTxForFeeCalculation :: (HasCallStack, SafeToHash (TxWits era), Typeable l) => Tx l era -> Word32
validateNativeScript :: Tx l era -> NativeScript era -> Bool
getMinFeeTx :: PParams era -> Tx l era -> Int -> Coin

Instances1EraTx

EraTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

class

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), NFData (TxAuxData era), ToJSON (TxAuxData era), FromJSON (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData) => EraTxAuxData era where

#

Associated types

type family TxAuxData era

Methods

mkBasicTxAuxData :: TxAuxData era
metadataTxAuxDataL :: Lens' (TxAuxData era) (Map Word64 Metadatum)
validateTxAuxData :: StAnnTxCache era -> ProtVer -> TxAuxData era -> Bool

Instances1EraTxAuxData

EraTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan

class

class (EraTxOut era, EraTxCert era, EraPParams era, HasEraTxLevel TxBody era, forall (l :: TxLevel). HashAnnotated (TxBody l era) EraIndependentTxBody, forall (l :: TxLevel). EncCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (TxBody l era)), forall (l :: TxLevel). Typeable l => ToCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => NoThunks (TxBody l era), forall (l :: TxLevel). NFData (TxBody l era), forall (l :: TxLevel). Show (TxBody l era), forall (l :: TxLevel). Eq (TxBody l era), forall (l :: TxLevel). EqRaw (TxBody l era)) => EraTxBody era where

#

Associated types

data family TxBody (l :: TxLevel) era

Methods

mkBasicTxBody :: Typeable l => TxBody l era
inputsTxBodyL :: Lens' (TxBody l era) (Set TxIn)
outputsTxBodyL :: Lens' (TxBody l era) (StrictSeq (TxOut era))
feeTxBodyL :: Lens' (TxBody TopTx era) Coin
withdrawalsTxBodyL :: Lens' (TxBody l era) Withdrawals
auxDataHashTxBodyL :: Lens' (TxBody l era) (StrictMaybe TxAuxDataHash)
spendableInputsTxBodyF :: SimpleGetter (TxBody l era) (Set TxIn)
allInputsTxBodyF :: SimpleGetter (TxBody TopTx era) (Set TxIn)
certsTxBodyL :: Lens' (TxBody l era) (StrictSeq (TxCert era))
getTotalDepositsTxBody :: PParams era -> (KeyHash StakePool -> Bool) -> TxBody TopTx era -> Coin
getTotalRefundsTxBody :: PParams era -> (Credential Staking -> Maybe Coin) -> TxBody l era -> Coin
getGenesisKeyHashCountTxBody :: TxBody TopTx era -> Int

Instances1EraTxBody

EraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

class

class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (CompactForm (Value era)), EncCBOR (Value era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential Staking), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), MemPack (TxOut era), EraPParams era) => EraTxOut era where

#

Associated types

type family TxOut era

Methods

mkBasicTxOut :: HasCallStack => Addr -> Value era -> TxOut era
upgradeTxOut :: EraTxOut (PreviousEra era) => TxOut (PreviousEra era) -> TxOut era
valueTxOutL :: Lens' (TxOut era) (Value era)
compactValueTxOutL :: HasCallStack => Lens' (TxOut era) (CompactForm (Value era))
valueEitherTxOutL :: Lens' (TxOut era) (Either (Value era) (CompactForm (Value era)))
addrTxOutL :: Lens' (TxOut era) Addr
compactAddrTxOutL :: Lens' (TxOut era) CompactAddr
addrEitherTxOutL :: Lens' (TxOut era) (Either Addr CompactAddr)
getMinCoinSizedTxOut :: PParams era -> Sized (TxOut era) -> Coin
getMinCoinTxOut :: PParams era -> TxOut era -> Coin

Instances1EraTxOut

EraTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

class

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) => EraTxWits era where

#

Associated types

type family TxWits era

Methods

mkBasicTxWits :: TxWits era
addrTxWitsL :: Lens' (TxWits era) (Set (WitVKey Witness))
bootAddrTxWitsL :: Lens' (TxWits era) (Set BootstrapWitness)
scriptTxWitsL :: Lens' (TxWits era) (Map ScriptHash (Script era))

Instances1EraTxWits

EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

familytype family NativeScript era

#

Instances1NativeScript

type NativeScript ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family Script era

#

Instances1Script

type Script ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family StAnnTx (l :: TxLevel) era

#

Instances1StAnnTx

type StAnnTx l ShelleyEra = Tx l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

familytype family StAnnTxCache era

#

Instances1StAnnTxCache

type StAnnTxCache ShelleyEra = ()Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

familydata family Tx (l :: TxLevel) era

#

Instances13HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EraTx era => HasOKey TxId (Tx l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

familytype family TxAuxData era

#

Instances1TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan

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

familytype family TxOut era

#

Instances1TxOut

type TxOut ShelleyEra = ShelleyTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

familytype family TxWits era

#

Instances1TxWits

type TxWits ShelleyEra = ShelleyTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

familytype family Value era

#

Instances1Value

type Value ShelleyEra = CoinDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan

typetype AtLeastEra (atLeastEra :: Symbol) era = ProtVerAtLeast era (ProtVerLow (EraFromName atLeastEra))

#

typetype AtMostEra (eraMostEra :: Symbol) era = ProtVerAtMost era (ProtVerHigh (EraFromName eraMostEra))

#

familytype family EraRule (rule :: Symbol) era

#

Instances20EraRule, …

type EraRule "BBODY" ShelleyEra = BBODY ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEGS" ShelleyEra = DELEGS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEG" ShelleyEra = DELEG ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELPL" ShelleyEra = DELPL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "EPOCH" ShelleyEra = EPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGERS" ShelleyEra = LEDGERS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGER" ShelleyEra = LEDGER ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "MIR" ShelleyEra = MIR ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWEPOCH" ShelleyEra = NEWEPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWPP" ShelleyEra = NEWPP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOLREAP" ShelleyEra = POOLREAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOL" ShelleyEra = POOL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "PPUP" ShelleyEra = PPUP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "RUPD" ShelleyEra = RUPD ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "SNAP" ShelleyEra = SNAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICKF" ShelleyEra = TICKF ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICK" ShelleyEra = TICK ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UPEC" ShelleyEra = UPEC ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXOW" ShelleyEra = UTXOW ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXO" ShelleyEra = UTXO ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan

familytype family EraRuleEvent (rule :: Symbol) era

#

Instances6EraRuleEvent

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleEvent "LEDGER" ShelleyEra = ShelleyLedgerEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type EraRuleEvent "NEWEPOCH" ShelleyEra = ShelleyNewEpochEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.NewEpoch · orphan
type EraRuleEvent "POOLREAP" ShelleyEra = ShelleyPoolreapEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.PoolReap · orphan
type EraRuleEvent "POOL" ShelleyEra = PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleEvent "TICK" ShelleyEra = ShelleyTickEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Tick · orphan

familytype family EraRuleFailure (rule :: Symbol) era

#

Instances20EraRuleFailure, …

type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type EraRuleFailure "DELPL" ShelleyEra = ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
type EraRuleFailure "EPOCH" era = VoidEraRule "EPOCH" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" ShelleyEra = ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
type EraRuleFailure "MIR" era = VoidEraRule "MIR" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "NEWEPOCH" era = VoidEraRule "NEWEPOCH" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "NEWPP" era = VoidEraRule "NEWPP" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "POOLREAP" era = VoidEraRule "POOLREAP" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleFailure "PPUP" ShelleyEra = ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup · orphan
type EraRuleFailure "RUPD" era = VoidEraRule "RUPD" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "SNAP" era = VoidEraRule "SNAP" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "TICKF" era = VoidEraRule "TICKF" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "TICK" era = VoidEraRule "TICK" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "UPEC" era = VoidEraRule "UPEC" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type EraRuleFailure "UTXO" ShelleyEra = ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan

typetype ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra)

#

classclass EraRuleEvent rule era ~ Event (EraRule rule era) => InjectRuleEvent (rule :: Symbol) (t :: Type -> Type) era where

#

Methods

injectEvent :: t era -> EraRuleEvent rule era

Instances1InjectRuleEvent

InjectRuleEvent "POOL" PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool

class

class EraRuleFailure rule era ~ PredicateFailure (EraRule rule era) => InjectRuleFailure (rule :: Symbol) (t :: Type -> Type) era where

#

Methods

injectFailure :: t era -> EraRuleFailure rule era

Instances42InjectRuleFailure, …

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo

familytype family ProtVerAtLeast era (l :: Nat) :: Constraint where

#

Equations

ProtVerAtLeast era l = ProtVerIsInBounds "at least" era l (l <=? ProtVerHigh era)

familytype family ProtVerAtMost era (h :: Nat) :: Constraint where

#

Equations

ProtVerAtMost era h = ProtVerIsInBounds "at most" era h (ProtVerLow era <=? h)

typetype ProtVerInBounds era (l :: Nat) (h :: Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h)

#

datadata VoidEraRule (rule :: Symbol) era

#

Instances6Eq, Ord, Show, NFData, DecCBOR, EncCBOR

Eq (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
Ord (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
Show (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
NFData (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
(KnownSymbol rule, Era era) => DecCBOR (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
(KnownSymbol rule, Era era) => EncCBOR (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era

familytype family DowngradePParams (f :: Type -> Type) era

#

Instances1DowngradePParams

type DowngradePParams f ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan

newtypenewtype EraDecoder t

#

Constructors

EraDecoder (forall s. Decoder s t)

class

class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era)) => EraPParams era where

#

Associated types

type family PParamsHKD (f :: Type -> Type) era
type family UpgradePParams (f :: Type -> Type) era
type family DowngradePParams (f :: Type -> Type) era

Methods

applyPPUpdates :: PParams era -> PParamsUpdate era -> PParams era
ppDG :: SimpleGetter (PParams era) UnitInterval
ppProtocolVersionL :: Lens' (PParams era) ProtVer
ppuProtocolVersionL :: AtMostEra "Babbage" era => Lens' (PParamsUpdate era) (StrictMaybe ProtVer)

Instances1EraPParams

EraPParams ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan

datadata PParam era where

#

Constructors

PParam :: (DecCBOR t, EncCBOR t, FromJSON t, ToJSON t, ToPlutusData t) => Text -> Lens' (PParams era) t -> Maybe (EraDecoder t) -> Maybe (PParamUpdate era t) -> PParam era
- ppName :: Text
- ppLens :: Lens' (PParams era) t
- ppEraDecoder :: Maybe (EraDecoder t)
- ppUpdate :: Maybe (PParamUpdate era t)

datadata PParamUpdate era t

#

Constructors

PParamUpdate
- ppuTag :: Word
- ppuLens :: Lens' (PParamsUpdate era) (StrictMaybe t)

newtypenewtype PParams era

#

Constructors

PParams (PParamsHKD Identity era)

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq (PParamsHKD Identity era) => Eq (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Ord (PParamsHKD Identity era) => Ord (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Show (PParamsHKD Identity era) => Show (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Generic (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
NFData (PParamsHKD Identity era) => NFData (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => FromJSON (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToJSON (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => Default (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
NoThunks (PParamsHKD Identity era) => NoThunks (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => FromCBOR (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToCBOR (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => DecCBOR (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => EncCBOR (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToKeyValuePairs (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams

familytype family PParamsHKD (f :: Type -> Type) era

#

Instances1PParamsHKD

type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan

newtypenewtype PParamsUpdate era

#

Constructors

PParamsUpdate (PParamsHKD StrictMaybe era)

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq (PParamsHKD StrictMaybe era) => Eq (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Ord (PParamsHKD StrictMaybe era) => Ord (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Show (PParamsHKD StrictMaybe era) => Show (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Generic (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
NFData (PParamsHKD StrictMaybe era) => NFData (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => FromJSON (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToJSON (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => Default (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
NoThunks (PParamsHKD StrictMaybe era) => NoThunks (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => FromCBOR (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToCBOR (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => DecCBOR (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => EncCBOR (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
EraPParams era => ToKeyValuePairs (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams

familytype family UpgradePParams (f :: Type -> Type) era

#

Instances1UpgradePParams

type UpgradePParams f ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan

classclass (Era era, Era (PreviousEra era)) => TranslateEra era (f :: Type -> Type) where

#

Associated types

type family TranslationError era (f :: Type -> Type)

Methods

translateEra :: TranslationContext era -> f (PreviousEra era) -> Except (TranslationError era f) (f era)

familytype family TranslationContext era

#

Instances1TranslationContext

type TranslationContext ShelleyEra = FromByronTranslationContextDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Translation · orphan

familytype family TranslationError era (f :: Type -> Type)

#

class

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) => EraTxCert era where

#

Associated types

type family TxCert era
type family TxCertUpgradeError era

Methods

upgradeTxCert :: EraTxCert (PreviousEra era) => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)
getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash Witness)
getScriptWitnessTxCert :: TxCert era -> Maybe ScriptHash
mkRegPoolTxCert :: StakePoolParams -> TxCert era
getRegPoolTxCert :: TxCert era -> Maybe StakePoolParams
mkRetirePoolTxCert :: KeyHash StakePool -> EpochNo -> TxCert era
getRetirePoolTxCert :: TxCert era -> Maybe (KeyHash StakePool, EpochNo)
lookupRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)
lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)
getTotalDepositsTxCerts :: Foldable f => PParams era -> (KeyHash StakePool -> Bool) -> f (TxCert era) -> Coin
getTotalRefundsTxCerts :: Foldable f => PParams era -> (Credential Staking -> Maybe Coin) -> f (TxCert era) -> Coin

Instances1EraTxCert

EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

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

familytype family TxCert era

#

Instances1TxCert

type TxCert ShelleyEra = ShelleyTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

familytype family TxCertUpgradeError era

#

Instances1TxCertUpgradeError

type TxCertUpgradeError ShelleyEra = VoidDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

classclass Era era => EraTxLevel era where

#

Associated types

type family STxLevel (l :: TxLevel) era

Instances1EraTxLevel

EraTxLevel ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan

classclass EraTxLevel era => HasEraTxLevel (t :: TxLevel -> Type -> Type) era where

#

Methods

toSTxLevel :: t l era -> STxLevel l era

Instances3HasEraTxLevel

HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HasEraTxLevel ShelleyTxBodyRaw ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

datadata STxBothLevels (l :: TxLevel) era where

#

Constructors

STopTx :: STxBothLevels TopTx era
SSubTx :: STxBothLevels SubTx era

familytype family STxLevel (l :: TxLevel) era

#

Instances1STxLevel

type STxLevel l ShelleyEra = STxTopLevel l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan

datadata STxTopLevel (l :: TxLevel) era where

#

Constructors

STopTxOnly :: STxTopLevel TopTx era

constructorSubTx

constructorTopTx

datadata TxLevel

typetype ADDRHASH = Blake2b_224

#

constructorBlockIssuerVRF

#

typetype DataHash = SafeHash EraIndependentData

#

datadata EraIndependentBlockBody

#

datadata EraIndependentBlockHeader

#

datadata EraIndependentData

#

Instances2HashAnnotated

HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

datadata EraIndependentEb

#

datadata EraIndependentMetadata

#

datadata EraIndependentPParamView

#

datadata EraIndependentScript

#

datadata EraIndependentScriptData

#

datadata EraIndependentScriptIntegrity

#

datadata EraIndependentTxAuxData

#

Instances1HashAnnotated

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData

datadata EraIndependentTxBody

#

Instances1HashAnnotated

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

constructorGenDelegVRF

#

typetype HASH = Blake2b_256

#

classclass SafeToHash x => HashAnnotated x i | x -> i where

#

Methods

hashAnnotated :: x -> SafeHash i

Instances5HashAnnotated

HashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

newtypenewtype HashHeader

#

Constructors

HashHeader
- unHashHeader :: Hash HASH EraIndependentBlockHeader

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

Eq HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR HashHeaderDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep HashHeader = D1 ('MetaData "HashHeader" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "HashHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "unHashHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockHeader))))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

datadata KeyRoleVRF

#

StakePoolVRF GenDelegVRF BlockIssuerVRF

newtypenewtype SafeHash i

#

Instances12Eq, Ord, Show, NFData, FromJSON, ToJSON, …

Eq (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Default (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
MemPack (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Typeable i => DecCBOR (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

classclass SafeToHash t where

#

Methods

originalBytes :: t -> ByteString
originalBytesSize :: t -> Int
makeHashWithExplicitProxys :: Proxy i -> t -> SafeHash i

Instances14SafeToHash, …

SafeToHash ByteStringDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash ShortByteStringDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
SafeToHash PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash (MultiSig era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts
SafeToHash (ShelleyTxAuxData era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData
SafeToHash (ShelleyTxWits era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits
HashAlgorithm h => SafeToHash (Hash h i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

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

constructorStakePoolVRF

#

newtypenewtype TxAuxDataHash

#

Constructors

TxAuxDataHash
- unTxAuxDataHash :: SafeHash EraIndependentTxAuxData

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
DecCBOR TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR TxAuxDataHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype VRFVerKeyHash (r :: KeyRoleVRF)

#

Constructors

VRFVerKeyHash
- unVRFVerKeyHash :: Hash HASH KeyRoleVRF

Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Ord (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Show (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Generic (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NFData (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSON (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
FromJSONKey (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSON (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
ToJSONKey (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Default (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
NoThunks (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
Typeable r => DecCBOR (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
EncCBOR (VRFVerKeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

constructorBlockIssuer

#

constructorColdCommitteeRole

#

constructorDRepRole

#

constructorGenesisDelegate

#

constructorGenesisRole

#

constructorGuard

#

constructorHotCommitteeRole

#

datadata KeyRole

#

GenesisRole GenesisDelegate Payment Staking StakePool BlockIssuer Witness DRepRole HotCommitteeRole ColdCommitteeRole Guard

constructorPayment

#

constructorStakePool

#

constructorStaking

#

constructorWitness

#

class

class (EraPParams era, Eq (GovState era), Show (GovState era), NoThunks (GovState era), NFData (GovState era), EncCBOR (GovState era), DecCBOR (GovState era), DecShareCBOR (GovState era), Share (GovState era) ~ (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole)), ToCBOR (GovState era), FromCBOR (GovState era), Default (GovState era), ToJSON (GovState era)) => EraGov era where

#

Associated types

type family GovState era

Methods

emptyGovState :: GovState era
curPParamsGovStateL :: Lens' (GovState era) (PParams era)
prevPParamsGovStateL :: Lens' (GovState era) (PParams era)
futurePParamsGovStateL :: Lens' (GovState era) (FuturePParams era)
obligationGovState :: GovState era -> Obligations

Instances1EraGov

EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan

datadata FuturePParams era

#

Constructors

NoPParamsUpdate
DefinitePParamsUpdate !(PParams era)
PotentialPParamsUpdate (Maybe (PParams era))

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

Eq (PParams era) => Eq (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Show (PParams era) => Show (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Generic (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
NFData (PParams era) => NFData (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
ToJSON (PParams era) => ToJSON (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
Default (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
NoThunks (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
(Typeable era, DecCBOR (PParams era)) => DecCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
EncCBOR (PParams era) => EncCBOR (FuturePParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance
type Rep (FuturePParams era) = D1 ('MetaData "FuturePParams" "Cardano.Ledger.State.Governance" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "NoPParamsUpdate" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DefinitePParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era))) :+: C1 ('MetaCons "PotentialPParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (PParams era))))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.Governance

familytype family GovState era

#

Instances1GovState

type GovState ShelleyEra = ShelleyGovState ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan

datadata ByronEra

#

class

class (Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT) => Era era where

#

Associated types

type family EraName era :: Symbol
type family PreviousEra era
type family ProtVerLow era :: Nat
type family ProtVerHigh era :: Nat

Methods

eraName :: String

familytype family EraName era :: Symbol

#

familytype family PreviousEra era

#

familytype family ProtVerHigh era :: Nat

#

familytype family ProtVerLow era :: Nat

#

datadata ShelleyBlockBody era

#

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq (Tx TopTx era) => Eq (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
Show (Tx TopTx era) => Show (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
Generic (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
NFData (Tx TopTx era) => NFData (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
(Typeable era, NoThunks (Tx TopTx era)) => NoThunks (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
(EraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody TopTx era)), DecCBOR (Annotator (TxWits era))) => DecCBOR (Annotator (ShelleyBlockBody era))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
Era era => EncCBORGroup (ShelleyBlockBody era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal
type Rep (ShelleyBlockBody era) = D1 ('MetaData "ShelleyBlockBody" "Cardano.Ledger.Shelley.BlockBody.Internal" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "ShelleyBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx TopTx era))) :*: S1 ('MetaSel ('Just "sbbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody))) :*: (S1 ('MetaSel ('Just "sbbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: (S1 ('MetaSel ('Just "sbbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "sbbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal

patternpattern ShelleyBlockBody :: (EraTx era, SafeToHash (TxWits era)) => StrictSeq (Tx TopTx era) -> ShelleyBlockBody era

#

datadata ShelleyGovState era

#

Constructors

ShelleyGovState
- sgsCurProposals :: !ProposedPPUpdates era
- sgsFutureProposals :: !ProposedPPUpdates era
- sgsCurPParams :: !PParams era
- sgsPrevPParams :: !PParams era
- sgsFuturePParams :: !FuturePParams era

Instances15Eq, Show, Generic, NFData, ToJSON, Default, …

(Eq (PParamsUpdate era), Eq (PParams era)) => Eq (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Show (PParamsUpdate era), Show (PParams era)) => Show (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
Generic (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(NFData (PParamsUpdate era), NFData (PParams era)) => NFData (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => ToJSON (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => Default (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(NoThunks (PParamsUpdate era), NoThunks (PParams era)) => NoThunks (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => FromCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => ToCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecShareCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => EncCBOR (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
EraPParams era => ToKeyValuePairs (ShelleyGovState era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
type Rep (ShelleyGovState era) = D1 ('MetaData "ShelleyGovState" "Cardano.Ledger.Shelley.Governance" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" '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))))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance
type Share (ShelleyGovState era) = (Interns (Credential Staking), Interns (KeyHash StakePool), Interns (Credential DRepRole), Interns (Credential HotCommitteeRole))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance

classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where

#

Methods

ttlTxBodyL :: ExactEra ShelleyEra era => Lens' (TxBody TopTx era) SlotNo
updateTxBodyL :: Lens' (TxBody TopTx era) (StrictMaybe (Update era))

Instances1ShelleyEraTxBody

ShelleyEraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody

datadata MIRCert

#

Constructors

MIRCert
- mirPot :: !MIRPot
- mirRewards :: !MIRTarget

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Ord MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Show MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Generic MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NFData MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
ToJSON MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NoThunks MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
DecCBOR MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
EncCBOR MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
type Rep MIRCert = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRTarget)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert

datadata MIRPot

#

ReservesMIR TreasuryMIR

Instances12Bounded, Enum, Eq, Ord, Show, Generic, …

Bounded MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Enum MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Eq MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Ord MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Show MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Generic MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NFData MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
ToJSON MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NoThunks MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
DecCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
EncCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) U1)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert

datadata MIRTarget

#

Constructors

StakeAddressesMIR !(Map (Credential Staking) DeltaCoin)
SendToOppositePotMIR !Coin

Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Ord MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Show MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Generic MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NFData MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
ToJSON MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
NoThunks MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
DecCBOR MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
EncCBOR MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
type Rep MIRTarget = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert

classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where

#

Methods

mkRegTxCert :: Credential Staking -> TxCert era
getRegTxCert :: TxCert era -> Maybe (Credential Staking)
mkUnRegTxCert :: Credential Staking -> TxCert era
getUnRegTxCert :: TxCert era -> Maybe (Credential Staking)
mkDelegStakeTxCert :: Credential Staking -> KeyHash StakePool -> TxCert era
getDelegStakeTxCert :: TxCert era -> Maybe (Credential Staking, KeyHash StakePool)
mkGenesisDelegTxCert :: AtMostEra "Babbage" era => GenesisDelegCert -> TxCert era
getGenesisDelegTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe GenesisDelegCert
mkMirTxCert :: AtMostEra "Babbage" era => MIRCert -> TxCert era
getMirTxCert :: AtMostEra "Babbage" era => TxCert era -> Maybe MIRCert

Instances1ShelleyEraTxCert

ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert