Cardano.Ledger.Core · cardano-ledger-core-1.21.0.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

#

newtypenewtype Hash h a

#

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

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

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

#

Instances10HashAlgorithm, …

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

datadata AccountAddress

#

Constructors

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

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

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

newtypenewtype AccountId

#

Constructors

AccountId
- unAccountId :: Credential Staking

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

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

datadata Addr

#

Constructors

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

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

newtypenewtype Withdrawals

#

Constructors

Withdrawals
- unWithdrawals :: Map AccountAddress Coin

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

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

newtypenewtype CoinPerByte

#

Constructors

CoinPerByte
- unCoinPerByte :: CompactForm Coin

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

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

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

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

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

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

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

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

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

familytype family Value era

#

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

#

familytype family EraRuleEvent (rule :: Symbol) era

#

familytype family EraRuleFailure (rule :: Symbol) era

#

Instances10EraRuleFailure, …

type EraRuleFailure "EPOCH" era = VoidEraRule "EPOCH" eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
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 "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

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

class

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

#

Methods

injectFailure :: t era -> EraRuleFailure rule era

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

#

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
emptyPParamsIdentity :: PParamsHKD Identity era
emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe era
emptyUpgradePParamsUpdate :: UpgradePParams StrictMaybe era
upgradePParamsHKD :: (HKDApplicative f, EraPParams (PreviousEra era)) => UpgradePParams f era -> PParamsHKD f (PreviousEra era) -> PParamsHKD f era
downgradePParamsHKD :: (HKDFunctor f, EraPParams (PreviousEra era)) => DowngradePParams f era -> PParamsHKD f era -> PParamsHKD f (PreviousEra era)
hkdTxFeePerByteL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f CoinPerByte)
hkdTxFeeFixedCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdMaxBBSizeL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32)
hkdMaxTxSizeL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32)
hkdMaxBHSizeL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word16)
hkdKeyDepositCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdPoolDepositCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdEMaxL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval)
hkdNOptL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word16)
hkdA0L :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f NonNegativeInterval)
hkdRhoL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval)
hkdTauL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval)
hkdDL :: (HKDFunctor f, AtMostEra "Alonzo" era) => Lens' (PParamsHKD f era) (HKD f UnitInterval)
ppDG :: SimpleGetter (PParams era) UnitInterval
hkdExtraEntropyL :: (HKDFunctor f, AtMostEra "Alonzo" era) => Lens' (PParamsHKD f era) (HKD f Nonce)
hkdProtocolVersionL :: (HKDFunctor f, AtMostEra "Babbage" era) => Lens' (PParamsHKD f era) (HKD f ProtVer)
ppProtocolVersionL :: Lens' (PParams era) ProtVer
ppuProtocolVersionL :: AtMostEra "Babbage" era => Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
hkdMinUTxOValueCompactL :: (HKDFunctor f, AtMostEra "Mary" era) => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
hkdMinPoolCostCompactL :: HKDFunctor f => Lens' (PParamsHKD f era) (HKD f (CompactForm Coin))
eraPParams :: [PParam era]

datadata PParam era where

#

Constructors

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

datadata PParamUpdate era t

#

Constructors

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

newtypenewtype PParams era

#

Constructors

PParams (PParamsHKD Identity era)

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

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

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

#

newtypenewtype PParamsUpdate era

#

Constructors

PParamsUpdate (PParamsHKD StrictMaybe era)

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

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

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

#

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

#

Associated types

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

Methods

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

familytype family TranslationContext era

#

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

#

class

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

#

Associated types

type family TxCert era
type family TxCertUpgradeError era

Methods

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

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

#

familytype family TxCertUpgradeError era

#

classclass Era era => EraTxLevel era where

#

Associated types

type family STxLevel (l :: TxLevel) era

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

#

Methods

toSTxLevel :: t l era -> STxLevel l era

datadata STxBothLevels (l :: TxLevel) era where

#

Constructors

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

familytype family STxLevel (l :: TxLevel) era

#

datadata STxTopLevel (l :: TxLevel) era where

#

Constructors

STopTxOnly :: STxTopLevel TopTx era

constructorSubTx

constructorTopTx

datadata TxLevel

typetype ADDRHASH = Blake2b_224

#

constructorBlockIssuerVRF

#

typetype DataHash = SafeHash EraIndependentData

#

datadata EraIndependentBlockBody

#

datadata EraIndependentBlockHeader

#

datadata EraIndependentData

#

Instances2HashAnnotated

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

datadata EraIndependentEb

#

datadata EraIndependentMetadata

#

datadata EraIndependentPParamView

#

datadata EraIndependentScript

#

datadata EraIndependentScriptData

#

datadata EraIndependentScriptIntegrity

#

datadata EraIndependentTxAuxData

#

datadata EraIndependentTxBody

#

constructorGenDelegVRF

#

typetype HASH = Blake2b_256

#

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

#

Methods

hashAnnotated :: x -> SafeHash i

Instances3HashAnnotated

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

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

Instances10SafeToHash, …

SafeToHash ByteStringDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash ShortByteStringDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
SafeToHash PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
SafeToHash (MemoBytes t)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.MemoBytes.Internal
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
HashAlgorithm h => SafeToHash (Hash h i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes

newtypenewtype ScriptHash

#

Constructors

ScriptHash (Hash ADDRHASH EraIndependentScript)

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

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

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

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

#