Cardano.Ledger.Allegra.Core · cardano-ledger-allegra-1.10.1.0

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 ValidityInterval

#

Constructors

ValidityInterval
- invalidBefore :: !StrictMaybe SlotNo
- invalidHereafter :: !StrictMaybe SlotNo

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

Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
FromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
ToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
DecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

classclass EraTxAuxData era => AllegraEraTxAuxData era where

#

Methods

nativeScriptsTxAuxDataL :: Lens' (TxAuxData era) (StrictSeq (NativeScript era))

Instances1AllegraEraTxAuxData

AllegraEraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData

classclass EraTxBody era => AllegraEraTxBody era where

#

Methods

vldtTxBodyL :: Lens' (TxBody l era) ValidityInterval

Instances1AllegraEraTxBody

AllegraEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody

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

#

Instances2BlockBody

type BlockBody AllegraEra = ShelleyBlockBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.BlockBody · orphan
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

Instances2EraBlockBody

EraBlockBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.BlockBody · orphan
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

Instances2EraScript

EraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
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

Instances2EraTx

EraTx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
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

Instances2EraTxAuxData

EraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData · orphan
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

Instances2EraTxBody

EraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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

Instances2EraTxOut

EraTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
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))

Instances2EraTxWits

EraTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

familytype family NativeScript era

#

Instances2NativeScript

type NativeScript AllegraEra = Timelock AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
type NativeScript ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family Script era

#

Instances2Script

type Script AllegraEra = Timelock AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
type Script ShelleyEra = MultiSig ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan

familytype family StAnnTx (l :: TxLevel) era

#

Instances2StAnnTx

type StAnnTx l AllegraEra = Tx l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
type StAnnTx l ShelleyEra = Tx l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan

familytype family StAnnTxCache era

#

Instances2StAnnTxCache

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

familydata family Tx (l :: TxLevel) era

#

Instances27HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …

HasEraTxLevel Tx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · 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
Typeable t => DecCBOR (Annotator (Tx t AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => NoThunks (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => ToCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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
type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx t AllegraEra
- MkAllegraTxunAllegraTx :: ShelleyTx t AllegraEra
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

familytype family TxAuxData era

#

Instances2TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData · orphan
type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxAuxData · orphan

familydata family TxBody (l :: TxLevel) era

#

Instances33HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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 AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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 AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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 AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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 AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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 AllegraEra
- MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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 AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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

#

Instances2TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
type TxOut ShelleyEra = ShelleyTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

familytype family TxWits era

#

Instances2TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
type TxWits ShelleyEra = ShelleyTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

familytype family Value era

#

Instances2Value

type Value AllegraEra = CoinDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
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

#

Instances40EraRule, …

type EraRule "BBODY" AllegraEra = BBODY AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "BBODY" ShelleyEra = BBODY ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEGS" AllegraEra = DELEGS AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "DELEGS" ShelleyEra = DELEGS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELEG" AllegraEra = DELEG AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "DELEG" ShelleyEra = DELEG ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "DELPL" AllegraEra = DELPL AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "DELPL" ShelleyEra = DELPL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "EPOCH" AllegraEra = EPOCH AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "EPOCH" ShelleyEra = EPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGERS" AllegraEra = LEDGERS AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "LEDGERS" ShelleyEra = LEDGERS ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "LEDGER" AllegraEra = LEDGER AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "LEDGER" ShelleyEra = LEDGER ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "MIR" AllegraEra = MIR AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "MIR" ShelleyEra = MIR ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWEPOCH" AllegraEra = NEWEPOCH AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "NEWEPOCH" ShelleyEra = NEWEPOCH ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "NEWPP" AllegraEra = NEWPP AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "NEWPP" ShelleyEra = NEWPP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOLREAP" AllegraEra = POOLREAP AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "POOLREAP" ShelleyEra = POOLREAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "POOL" AllegraEra = POOL AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "POOL" ShelleyEra = POOL ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "PPUP" AllegraEra = PPUP AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "PPUP" ShelleyEra = PPUP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "RUPD" AllegraEra = RUPD AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "RUPD" ShelleyEra = RUPD ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "SNAP" AllegraEra = SNAP AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "SNAP" ShelleyEra = SNAP ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICKF" AllegraEra = TICKF AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "TICKF" ShelleyEra = TICKF ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "TICK" AllegraEra = TICK AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "TICK" ShelleyEra = TICK ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UPEC" AllegraEra = UPEC AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "UPEC" ShelleyEra = UPEC ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXOW" AllegraEra = UTXOW AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type EraRule "UTXOW" ShelleyEra = UTXOW ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
type EraRule "UTXO" AllegraEra = UTXO AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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

#

Instances9EraRuleEvent, …

type EraRuleEvent "LEDGERS" ShelleyEra = ShelleyLedgersEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · 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" AllegraEra = PoolEvent AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Pool · orphan
type EraRuleEvent "POOL" ShelleyEra = PoolEvent ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules · 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

#

Instances30EraRuleFailure, …

type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
type EraRuleFailure "BBODY" ShelleyEra = ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delegs · orphan
type EraRuleFailure "DELEGS" ShelleyEra = ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Deleg · orphan
type EraRuleFailure "DELEG" ShelleyEra = ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg · orphan
type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delpl · 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" AllegraEra = ShelleyLedgersPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
type EraRuleFailure "LEDGERS" ShelleyEra = ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · 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" AllegraEra = ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Pool · orphan
type EraRuleFailure "POOL" ShelleyEra = ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool · orphan
type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ppup · 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" AllegraEra = ShelleyUtxowPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
type EraRuleFailure "UTXOW" ShelleyEra = ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · 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

Instances2InjectRuleEvent

InjectRuleEvent "POOL" PoolEvent AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Pool · orphan
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

Instances86InjectRuleFailure, …

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody
InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delegs · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Deleg · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Deleg
InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl
InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Pool · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Pool
InjectRuleFailure "PPUP" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Ppup · orphan
InjectRuleFailure "PPUP" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Ppup
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxow
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo
InjectRuleFailure "UTXO" ShelleyPpupPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyPpupPredFailure ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.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

#

Instances2DowngradePParams

type DowngradePParams f AllegraEra = ()Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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)

Instances2EraPParams

EraPParams AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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)

Instances17TranslateEra, Eq, Ord, Show, Generic, NFData, …

TranslateEra AllegraEra PParamsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
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
type TranslationError AllegraEra PParams = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

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

#

Instances2PParamsHKD

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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)

Instances17TranslateEra, Eq, Ord, Show, Generic, NFData, …

TranslateEra AllegraEra PParamsUpdateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
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
type TranslationError AllegraEra PParamsUpdate = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

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

#

Instances2UpgradePParams

type UpgradePParams f AllegraEra = ()Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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)

Instances21TranslateEra, …

TranslateEra AllegraEra PParamsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra PParamsUpdateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra CommitteeStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra DStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra PStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra FuturePParamsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra SnapShotsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra UTxODefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyGovStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra EpochStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra LedgerStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra NewEpochStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra UTxOStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ProposedPPUpdatesDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra UpdateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyAccountsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyCertStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyInstantStakeDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyTxOutDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra ShelleyTxWitsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

familytype family TranslationContext era

#

Instances2TranslationContext

type TranslationContext AllegraEra = NoGenesis AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
type TranslationContext ShelleyEra = FromByronTranslationContextDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Translation · orphan

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

#

Instances21TranslationError, …

type TranslationError AllegraEra PParams = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra PParamsUpdate = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra CommitteeState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra DState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra PState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra FuturePParams = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra SnapShots = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra UTxO = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyGovState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra EpochState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra LedgerState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra NewEpochState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra UTxOState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ProposedPPUpdates = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra Update = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyAccounts = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyCertState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyInstantStake = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyTxOut = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra ShelleyTxWits = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

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

Instances2EraTxCert

EraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
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

#

Instances2TxCert

type TxCert AllegraEra = ShelleyTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
type TxCert ShelleyEra = ShelleyTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan

familytype family TxCertUpgradeError era

#

Instances2TxCertUpgradeError

type TxCertUpgradeError AllegraEra = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
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

Instances2EraTxLevel

EraTxLevel AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
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

Instances6HasEraTxLevel

HasEraTxLevel Tx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · 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
HasEraTxLevel (AllegraTxBodyRaw m) AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody

datadata STxBothLevels (l :: TxLevel) era where

#

Constructors

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

familytype family STxLevel (l :: TxLevel) era

#

Instances2STxLevel

type STxLevel l AllegraEra = STxTopLevel l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
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

#

Instances2TranslateEra, TranslationError

TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

datadata TxLevel

#

TopTx SubTx

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

#

Instances2HashAnnotated

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

datadata EraIndependentTxBody

#

Instances2HashAnnotated

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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

Instances7HashAnnotated, …

HashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
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 AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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

Instances17SafeToHash, …

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 (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
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 (Timelock era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
SafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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

Instances2EraGov

EraGov AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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))

Instances12TranslateEra, Eq, Show, Generic, NFData, ToJSON, …

TranslateEra AllegraEra FuturePParamsDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
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
type TranslationError AllegraEra FuturePParams = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

familytype family GovState era

#

Instances2GovState

type GovState AllegraEra = ShelleyGovState AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
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

Instances17TranslateEra, Eq, Show, Generic, NFData, ToJSON, …

TranslateEra AllegraEra ShelleyGovStateDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
(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
type TranslationError AllegraEra ShelleyGovState = VoidDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan

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))

Instances2ShelleyEraTxBody

ShelleyEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
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

Instances2ShelleyEraTxCert

ShelleyEraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert