Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Core

Contents

Era-changing types
Era
Era
- Rules
- Protocol Version
Rewards
Re-exports
PParams lens
PParamsUpdate lens
Utility
PParamsUpdate to Data

Description

This module defines core type families which we know to vary from era to era.

Families in this module should be indexed on era.

It is intended for qualified import: > import qualified Cardano.Ledger.Core as Core

Synopsis

class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, NoThunks (Tx era), DecCBOR (Annotator (Tx era)), EncCBOR (Tx era), ToCBOR (Tx era), Show (Tx era), Eq (Tx era), EqRaw (Tx era)) ⇒ EraTx era where
- type Tx era = (r ∷ Type) | r → era
- type TxUpgradeError era ∷ Type
- mkBasicTx ∷ TxBody era → Tx era
- bodyTxL ∷ Lens' (Tx era) (TxBody era)
- witsTxL ∷ Lens' (Tx era) (TxWits era)
- auxDataTxL ∷ Lens' (Tx era) (StrictMaybe (TxAuxData era))
- sizeTxF ∷ SimpleGetter (Tx era) Integer
- wireSizeTxF ∷ SimpleGetter (Tx era) Word32
- validateNativeScript ∷ Tx era → NativeScript era → Bool
- getMinFeeTx ∷ PParams era → Tx era → Int → Coin
- upgradeTx ∷ EraTx (PreviousEra era) ⇒ Tx (PreviousEra era) → Either (TxUpgradeError era) (Tx era)
txIdTx ∷ EraTx era ⇒ Tx era → TxId
class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), EncCBOR (Value era), ToCBOR (TxOut 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), EraPParams era) ⇒ EraTxOut era where
- type TxOut era = (r ∷ Type) | r → era
- 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
bootAddrTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe BootstrapAddress)
coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin
compactCoinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) (CompactForm Coin)
isAdaOnlyTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) Bool
class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody, DecCBOR (Annotator (TxBody era)), EncCBOR (TxBody era), ToCBOR (TxBody era), NoThunks (TxBody era), NFData (TxBody era), Show (TxBody era), Eq (TxBody era), EqRaw (TxBody era)) ⇒ EraTxBody era where
- type TxBody era = (r ∷ Type) | r → era
- type TxBodyUpgradeError era ∷ Type
- mkBasicTxBody ∷ TxBody era
- inputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- outputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxOut era))
- feeTxBodyL ∷ Lens' (TxBody era) Coin
- withdrawalsTxBodyL ∷ Lens' (TxBody era) Withdrawals
- auxDataHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe TxAuxDataHash)
- spendableInputsTxBodyF ∷ SimpleGetter (TxBody era) (Set TxIn)
- allInputsTxBodyF ∷ SimpleGetter (TxBody era) (Set TxIn)
- certsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxCert era))
- getTotalDepositsTxBody ∷ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Coin
- getTotalRefundsTxBody ∷ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody era → Coin
- getGenesisKeyHashCountTxBody ∷ TxBody era → Int
- upgradeTxBody ∷ EraTxBody (PreviousEra era) ⇒ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody era)
txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId
class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData) ⇒ EraTxAuxData era where
- type TxAuxData era = (r ∷ Type) | r → era
- mkBasicTxAuxData ∷ TxAuxData era
- metadataTxAuxDataL ∷ Lens' (TxAuxData era) (Map Word64 Metadatum)
- upgradeTxAuxData ∷ EraTxAuxData (PreviousEra era) ⇒ TxAuxData (PreviousEra era) → TxAuxData era
- validateTxAuxData ∷ ProtVer → TxAuxData era → Bool
hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → TxAuxDataHash
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
- type TxWits era = (r ∷ Type) | r → era
- mkBasicTxWits ∷ TxWits era
- addrTxWitsL ∷ Lens' (TxWits era) (Set (WitVKey 'Witness))
- bootAddrTxWitsL ∷ Lens' (TxWits era) (Set BootstrapWitness)
- scriptTxWitsL ∷ Lens' (TxWits era) (Map ScriptHash (Script era))
- upgradeTxWits ∷ EraTxWits (PreviousEra era) ⇒ TxWits (PreviousEra era) → TxWits era
class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) ⇒ EraScript era where
- type Script era = (r ∷ Type) | r → era
- type NativeScript era = (r ∷ Type) | r → era
- upgradeScript ∷ EraScript (PreviousEra era) ⇒ Script (PreviousEra era) → Script era
- scriptPrefixTag ∷ Script era → ByteString
- getNativeScript ∷ Script era → Maybe (NativeScript era)
- fromNativeScript ∷ NativeScript era → Script era
hashScript ∷ ∀ era. EraScript era ⇒ Script era → ScriptHash
isNativeScript ∷ EraScript era ⇒ Script era → Bool
hashScriptTxWitsL ∷ EraTxWits era ⇒ Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era]
type family Value era ∷ Type
class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) ⇒ EraPParams era where
- type PParamsHKD (f ∷ Type → Type) era = (r ∷ Type) | r → era
- type UpgradePParams (f ∷ Type → Type) era ∷ Type
- type DowngradePParams (f ∷ Type → Type) era ∷ Type
- applyPPUpdates ∷ PParams era → PParamsUpdate era → PParams era
- emptyPParamsIdentity ∷ PParamsHKD Identity era
- emptyPParamsStrictMaybe ∷ PParamsHKD 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)
- hkdMinFeeAL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinFeeBL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f 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)
- hkdKeyDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdPoolDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f 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, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval)
- ppDG ∷ SimpleGetter (PParams era) UnitInterval
- hkdExtraEntropyL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f Nonce)
- hkdProtocolVersionL ∷ (HKDFunctor f, ProtVerAtMost era 8) ⇒ Lens' (PParamsHKD f era) (HKD f ProtVer)
- ppProtocolVersionL ∷ Lens' (PParams era) ProtVer
- ppuProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
- hkdMinUTxOValueL ∷ HKDFunctor f ⇒ ProtVerAtMost era 4 ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinPoolCostL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
mkCoinTxOut ∷ EraTxOut era ⇒ Addr → Coin → TxOut era
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, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era where
- type PreviousEra era = (r ∷ Type) | r → era
- type ProtVerLow era ∷ Nat
- type ProtVerHigh era ∷ Nat
- eraName ∷ String
data ByronEra
type family EraRule (rule ∷ Symbol) era = (r ∷ Type) | r → rule
type family EraRuleFailure (rule ∷ Symbol) era = (r ∷ Type) | r → rule era
type family EraRuleEvent (rule ∷ Symbol) era = (r ∷ Type) | r → rule era
data VoidEraRule (rule ∷ Symbol) era
absurdEraRule ∷ VoidEraRule rule era → a
class EraRuleFailure rule era ~ PredicateFailure (EraRule rule era) ⇒ InjectRuleFailure (rule ∷ Symbol) t era where
- injectFailure ∷ t era → EraRuleFailure rule era
class EraRuleEvent rule era ~ Event (EraRule rule era) ⇒ InjectRuleEvent (rule ∷ Symbol) t era where
- injectEvent ∷ t era → EraRuleEvent rule era
type AtMostEra eraMostEra era = ProtVerAtMost era (ProtVerHigh eraMostEra)
type AtLeastEra atLeastEra era = ProtVerAtLeast era (ProtVerLow atLeastEra)
type ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra)
type family ProtVerAtMost era (h ∷ Nat) ∷ Constraint where ...
type family ProtVerAtLeast era (l ∷ Nat) ∷ Constraint where ...
type ProtVerInBounds era l h = (ProtVerAtLeast era l, ProtVerAtMost era h)
atLeastEra ∷ AtLeastEra eraName era ⇒ ()
atMostEra ∷ AtMostEra eraName era ⇒ ()
notSupportedInThisEra ∷ HasCallStack ⇒ a
notSupportedInThisEraL ∷ HasCallStack ⇒ Lens' a b
eraProtVerLow ∷ ∀ era. Era era ⇒ Version
eraProtVerHigh ∷ ∀ era. Era era ⇒ Version
eraProtVersions ∷ ∀ era. Era era ⇒ [Version]
toEraCBOR ∷ ∀ era t. (Era era, EncCBOR t) ⇒ t → Encoding
fromEraCBOR ∷ ∀ era t s. (Era era, DecCBOR t) ⇒ Decoder s t
fromEraShareCBOR ∷ ∀ era t s. (Era era, DecShareCBOR t) ⇒ Decoder s t
eraDecoder ∷ ∀ era t s. Era era ⇒ Decoder s t → Decoder s t
class (EraTx era, Eq (TxSeq era), Show (TxSeq era), EncCBORGroup (TxSeq era), DecCBOR (Annotator (TxSeq era))) ⇒ EraSegWits era where
- type TxSeq era = (r ∷ Type) | r → era
- fromTxSeq ∷ TxSeq era → StrictSeq (Tx era)
- toTxSeq ∷ StrictSeq (Tx era) → TxSeq era
- hashTxSeq ∷ TxSeq era → Hash HASH EraIndependentBlockBody
- numSegComponents ∷ Word64
bBodySize ∷ ∀ era. EraSegWits era ⇒ ProtVer → TxSeq era → Int
data RewardType
- = MemberReward
- | LeaderReward
data Reward = Reward {
- rewardType ∷ !RewardType
- rewardPool ∷ !(KeyHash 'StakePool)
- rewardAmount ∷ !Coin
}
class (KnownNat (SizeHash h), Typeable h) ⇒ HashAlgorithm h
data Hash h a
data KeyRole
- = Genesis
- | GenesisDelegate
- | Payment
- | Staking
- | StakePool
- | BlockIssuer
- | Witness
- | DRepRole
- | HotCommitteeRole
- | ColdCommitteeRole
class SafeToHash x ⇒ HashAnnotated x i | x → i where
- hashAnnotated ∷ x → SafeHash i
class SafeToHash t where
- originalBytes ∷ t → ByteString
- originalBytesSize ∷ t → Int
- makeHashWithExplicitProxys ∷ Proxy i → t → SafeHash i
data SafeHash i
newtype TxAuxDataHash = TxAuxDataHash {
- unTxAuxDataHash ∷ SafeHash EraIndependentTxAuxData
}
newtype VRFVerKeyHash (r ∷ KeyRoleVRF) = VRFVerKeyHash {
- unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF
}
data KeyRoleVRF
- = StakePoolVRF
- | GenDelegVRF
- | BlockIssuerVRF
newtype ScriptHash = ScriptHash (Hash ADDRHASH EraIndependentScript)
newtype KeyHash (r ∷ KeyRole) = KeyHash {
- unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)
}
data EraIndependentScriptIntegrity
data EraIndependentPParamView
data EraIndependentScriptData
type DataHash = SafeHash EraIndependentData
data EraIndependentData
data EraIndependentScript
data EraIndependentTxAuxData
data EraIndependentMetadata
data EraIndependentBlockBody
data EraIndependentBlockHeader
data EraIndependentTxBody
type ADDRHASH = Blake2b_224
type HASH = Blake2b_256
hashKey ∷ VKey kd → KeyHash kd
hashTxBodySignature ∷ SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → Hash HASH (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))
toVRFVerKeyHash ∷ Hash HASH (VerKeyVRF v) → VRFVerKeyHash (r ∷ KeyRoleVRF)
fromVRFVerKeyHash ∷ VRFVerKeyHash (r ∷ KeyRoleVRF) → Hash HASH (VerKeyVRF v)
extractHash ∷ SafeHash i → Hash HASH i
castSafeHash ∷ ∀ i j. SafeHash i → SafeHash j
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
- type TxCert era = (r ∷ Type) | r → era
- type TxCertUpgradeError era ∷ Type
- upgradeTxCert ∷ EraTxCert (PreviousEra era) ⇒ TxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era)
- getVKeyWitnessTxCert ∷ TxCert era → Maybe (KeyHash 'Witness)
- getScriptWitnessTxCert ∷ TxCert era → Maybe ScriptHash
- mkRegPoolTxCert ∷ PoolParams → TxCert era
- getRegPoolTxCert ∷ TxCert era → Maybe PoolParams
- 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) → (Credential 'DRepRole → Maybe Coin) → f (TxCert era) → Coin
pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era
pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era
data PoolCert
- = RegPool !PoolParams
- | RetirePool !(KeyHash 'StakePool) !EpochNo
getPoolCertTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe PoolCert
poolCertKeyHashWitness ∷ PoolCert → KeyHash 'Witness
isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) ⇒ EraPParams era where
- type PParamsHKD (f ∷ Type → Type) era = (r ∷ Type) | r → era
- type UpgradePParams (f ∷ Type → Type) era ∷ Type
- type DowngradePParams (f ∷ Type → Type) era ∷ Type
- applyPPUpdates ∷ PParams era → PParamsUpdate era → PParams era
- emptyPParamsIdentity ∷ PParamsHKD Identity era
- emptyPParamsStrictMaybe ∷ PParamsHKD 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)
- hkdMinFeeAL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinFeeBL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f 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)
- hkdKeyDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdPoolDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f 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, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval)
- ppDG ∷ SimpleGetter (PParams era) UnitInterval
- hkdExtraEntropyL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f Nonce)
- hkdProtocolVersionL ∷ (HKDFunctor f, ProtVerAtMost era 8) ⇒ Lens' (PParamsHKD f era) (HKD f ProtVer)
- ppProtocolVersionL ∷ Lens' (PParams era) ProtVer
- ppuProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
- hkdMinUTxOValueL ∷ HKDFunctor f ⇒ ProtVerAtMost era 4 ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinPoolCostL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin)
newtype PParams era = PParams (PParamsHKD Identity era)
emptyPParams ∷ EraPParams era ⇒ PParams era
newtype PParamsUpdate era = PParamsUpdate (PParamsHKD StrictMaybe era)
emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era
genericApplyPPUpdates ∷ ∀ era a u. (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
ppMinFeeAL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin
ppMinFeeBL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin
ppMaxBBSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxTxSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxBHSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word16
ppKeyDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin
ppPoolDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin
ppEMaxL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) EpochInterval
ppNOptL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word16
ppA0L ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppRhoL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppTauL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppDL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval
ppExtraEntropyL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) Nonce
ppMinUTxOValueL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin
ppMinPoolCostL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin
ppuMinFeeAL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeBL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMaxBBSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxTxSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxBHSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuKeyDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuPoolDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuEMaxL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuNOptL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuA0L ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuRhoL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuTauL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuDL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuExtraEntropyL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce)
ppuMinUTxOValueL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinPoolCostL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppLens ∷ Lens' (PParams era) (PParamsHKD Identity era)
ppuLens ∷ Lens' (PParamsUpdate era) (PParamsHKD StrictMaybe era)
mapPParams ∷ (PParamsHKD Identity era1 → PParamsHKD Identity era2) → PParams era1 → PParams era2
mapPParamsUpdate ∷ (PParamsHKD StrictMaybe era1 → PParamsHKD StrictMaybe era2) → PParamsUpdate era1 → PParamsUpdate era2
upgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams Identity era → PParams (PreviousEra era) → PParams era
downgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams Identity era → PParams era → PParams (PreviousEra era)
upgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → PParamsUpdate (PreviousEra era) → PParamsUpdate era
downgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams StrictMaybe era → PParamsUpdate era → PParamsUpdate (PreviousEra era)
data PParam era where
- PParam ∷ ToPlutusData t ⇒ Word → Lens' (PParamsUpdate era) (StrictMaybe t) → PParam era
makePParamMap ∷ [PParam era] → Map Word (PParam era)
type family PreviousEra era = (r ∷ Type) | r → era
type family TranslationContext era ∷ Type
type family TranslationError era f ∷ Type
class (Era era, Era (PreviousEra era)) ⇒ TranslateEra era f
translateEra ∷ TranslateEra era f ⇒ TranslationContext era → f (PreviousEra era) → Except (TranslationError era f) (f era)
translateEraMaybe ∷ (TranslateEra era f, TranslationError era f ~ ()) ⇒ TranslationContext era → f (PreviousEra era) → Maybe (f era)
translateEra' ∷ (TranslateEra era f, TranslationError era f ~ Void) ⇒ TranslationContext era → f (PreviousEra era) → f era
translateEraThroughCBOR ∷ ∀ era ti to. (Era era, ToCBOR (ti (PreviousEra era)), DecCBOR (Annotator (to era))) ⇒ Text → ti (PreviousEra era) → Except DecoderError (to era)

Era-changing types

class (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, NoThunks (Tx era), DecCBOR (Annotator (Tx era)), EncCBOR (Tx era), ToCBOR (Tx era), Show (Tx era), Eq (Tx era), EqRaw (Tx era)) ⇒ EraTx era where Source #

A transaction.

Associated Types

type Tx era = (r ∷ Type) | r → era Source #

type TxUpgradeError era ∷ Type Source #

type TxUpgradeError era = Void

Methods

mkBasicTx ∷ TxBody era → Tx era Source #

bodyTxL ∷ Lens' (Tx era) (TxBody era) Source #

witsTxL ∷ Lens' (Tx era) (TxWits era) Source #

auxDataTxL ∷ Lens' (Tx era) (StrictMaybe (TxAuxData era)) Source #

sizeTxF ∷ SimpleGetter (Tx era) Integer Source #

For fee calculation and estimations of impact on block space

wireSizeTxF ∷ SimpleGetter (Tx era) Word32 Source #

For end use by eg. diffusion layer in transaction submission protocol

validateNativeScript ∷ Tx era → NativeScript era → Bool Source #

Using information from the transaction validate the supplied native script.

getMinFeeTx Source #

Arguments

∷ PParams era
→ Tx era
→ Int	Size in bytes of reference scripts present in this transaction
→ Coin

Minimum fee calculation excluding witnesses

upgradeTx ∷ EraTx (PreviousEra era) ⇒ Tx (PreviousEra era) → Either (TxUpgradeError era) (Tx era) Source #

txIdTx ∷ EraTx era ⇒ Tx era → TxId Source #

class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), EncCBOR (Value era), ToCBOR (TxOut 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), EraPParams era) ⇒ EraTxOut era where Source #

Abstract interface into specific fields of a TxOut

Minimal complete definition

mkBasicTxOut, upgradeTxOut, valueEitherTxOutL, addrEitherTxOutL, (getMinCoinSizedTxOut | getMinCoinTxOut)

Associated Types

type TxOut era = (r ∷ Type) | r → era Source #

The output of a UTxO for a particular era

Methods

mkBasicTxOut ∷ HasCallStack ⇒ Addr → Value era → TxOut era Source #

upgradeTxOut ∷ EraTxOut (PreviousEra era) ⇒ TxOut (PreviousEra era) → TxOut era Source #

Every era, except Shelley, must be able to upgrade a TxOut from a previous era.

valueTxOutL ∷ Lens' (TxOut era) (Value era) Source #

compactValueTxOutL ∷ HasCallStack ⇒ Lens' (TxOut era) (CompactForm (Value era)) Source #

valueEitherTxOutL ∷ Lens' (TxOut era) (Either (Value era) (CompactForm (Value era))) Source #

Lens for getting and setting in TxOut either an address or its compact version by doing the least amount of work.

addrTxOutL ∷ Lens' (TxOut era) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut era) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut era) (Either Addr CompactAddr) Source #

Lens for getting and setting in TxOut either an address or its compact version by doing the least amount of work.

The utility of this function comes from the fact that TxOut usually stores the address in either one of two forms: compacted or unpacked. In order to avoid extroneous conversions in getTxOutAddr and getTxOutCompactAddr we can define just this functionality. Also sometimes it is crucial to know at the callsite which form of address we have readily available without any conversions (eg. searching millions of TxOuts for a particular address)

getMinCoinSizedTxOut ∷ PParams era → Sized (TxOut era) → Coin Source #

Produce the minimum lovelace that a given transaction output must contain. Information about the size of the TxOut is required in some eras. Use getMinCoinTxOut if you don't have the size readily available to you.

getMinCoinTxOut ∷ PParams era → TxOut era → Coin Source #

Same as getMinCoinSizedTxOut, except information about the size of TxOut will be computed by serializing the TxOut. If the size turns out to be not needed, then serialization will have no overhead, since it is computed lazily.

bootAddrTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe BootstrapAddress) Source #

coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin Source #

compactCoinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) (CompactForm Coin) Source #

isAdaOnlyTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) Bool Source #

This is a getter that implements an efficient way to check whether TxOut contains ADA only.

class (EraTxOut era, EraTxCert era, EraPParams era, HashAnnotated (TxBody era) EraIndependentTxBody, DecCBOR (Annotator (TxBody era)), EncCBOR (TxBody era), ToCBOR (TxBody era), NoThunks (TxBody era), NFData (TxBody era), Show (TxBody era), Eq (TxBody era), EqRaw (TxBody era)) ⇒ EraTxBody era where Source #

Minimal complete definition

mkBasicTxBody, inputsTxBodyL, outputsTxBodyL, feeTxBodyL, withdrawalsTxBodyL, auxDataHashTxBodyL, spendableInputsTxBodyF, allInputsTxBodyF, certsTxBodyL, upgradeTxBody

Associated Types

type TxBody era = (r ∷ Type) | r → era Source #

The body of a transaction.

type TxBodyUpgradeError era ∷ Type Source #

type TxBodyUpgradeError era = Void

Methods

mkBasicTxBody ∷ TxBody era Source #

inputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #

outputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxOut era)) Source #

feeTxBodyL ∷ Lens' (TxBody era) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody era) Withdrawals Source #

auxDataHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ SimpleGetter (TxBody era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction might spend, which ones will depend on the validity of the transaction itself. Starting in Alonzo this will include collateral inputs.

allInputsTxBodyF ∷ SimpleGetter (TxBody era) (Set TxIn) Source #

This getter will produce all inputs from the UTxO map that this transaction is referencing, even if some of them cannot be spent by the transaction. For example starting with Babbage era it will also include reference inputs.

certsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (TxCert era)) Source #

getTotalDepositsTxBody Source #

Arguments

∷ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether stake pool is registered or not
→ TxBody era
→ Coin

Compute the total deposits from the certificates in a TxBody.

This is the contribution of a TxBody towards the consumed amount by the transaction

getTotalRefundsTxBody Source #

Arguments

∷ PParams era
→ (Credential 'Staking → Maybe Coin)	Lookup current deposit for Staking credential if one is registered
→ (Credential 'DRepRole → Maybe Coin)	Lookup current deposit for DRep credential if one is registered
→ TxBody era
→ Coin

Compute the total refunds from the Certs of a TxBody.

This is the contribution of a TxBody towards produced amount by the transaction

getGenesisKeyHashCountTxBody ∷ TxBody era → Int Source #

This function is not used in the ledger rules. It is only used by the downstream tooling to figure out how many witnesses should be supplied for Genesis keys.

upgradeTxBody ∷ EraTxBody (PreviousEra era) ⇒ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody era) Source #

Upgrade the transaction body from the previous era.

This can fail where elements of the transaction body are deprecated. Compare this to translateEraThroughCBOR: - upgradeTxBody will use the Haskell representation, but will not preserve the serialised form. However, it will be suitable for iterated translation through eras. - translateEraThroughCBOR will preserve the binary representation, but is not guaranteed to work through multiple eras - that is, the serialised representation from era n is guaranteed valid in era n + 1, but not necessarily in era n + 2.

txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId Source #

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData) ⇒ EraTxAuxData era where Source #

TxAuxData which may be attached to a transaction

Associated Types

type TxAuxData era = (r ∷ Type) | r → era Source #

Methods

mkBasicTxAuxData ∷ TxAuxData era Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData era) (Map Word64 Metadatum) Source #

upgradeTxAuxData ∷ EraTxAuxData (PreviousEra era) ⇒ TxAuxData (PreviousEra era) → TxAuxData era Source #

Every era, except Shelley, must be able to upgrade a TxAuxData from a previous era.

Warning - Important to note that any memoized binary representation will not be preserved. If you need to retain underlying bytes you can use translateEraThroughCBOR

validateTxAuxData ∷ ProtVer → TxAuxData era → Bool Source #

hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → TxAuxDataHash Source #

Compute a hash of TxAuxData

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 Source #

A collection of witnesses in a Tx

Minimal complete definition

addrTxWitsL, bootAddrTxWitsL, scriptTxWitsL, upgradeTxWits

Associated Types

type TxWits era = (r ∷ Type) | r → era Source #

Methods

mkBasicTxWits ∷ TxWits era Source #

addrTxWitsL ∷ Lens' (TxWits era) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits era) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits era) (Map ScriptHash (Script era)) Source #

upgradeTxWits ∷ EraTxWits (PreviousEra era) ⇒ TxWits (PreviousEra era) → TxWits era Source #

class (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) ⇒ EraScript era where Source #

Typeclass for script data types. Allows for script validation and hashing. You must understand the role of SafeToHash and scriptPrefixTag to make new instances. scriptPrefixTag is a magic number representing the tag of the script language. For each new script language defined, a new tag is chosen and the tag is included in the script hash for a script. The safeToHash constraint ensures that Scripts are never reserialised.

Associated Types

type Script era = (r ∷ Type) | r → era Source #

Scripts which may lock transaction outputs in this era

type NativeScript era = (r ∷ Type) | r → era Source #

Methods

upgradeScript ∷ EraScript (PreviousEra era) ⇒ Script (PreviousEra era) → Script era Source #

Every era, except Shelley, must be able to upgrade a Script from a previous era.

Warning - Important to note that any memoized binary representation will not be preserved, you need to retain underlying bytes you can use translateEraThroughCBOR

scriptPrefixTag ∷ Script era → ByteString Source #

getNativeScript ∷ Script era → Maybe (NativeScript era) Source #

fromNativeScript ∷ NativeScript era → Script era Source #

hashScript ∷ ∀ era. EraScript era ⇒ Script era → ScriptHash Source #

Compute ScriptHash of a Script for a particular era.

isNativeScript ∷ EraScript era ⇒ Script era → Bool Source #

hashScriptTxWitsL ∷ EraTxWits era ⇒ Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era] Source #

This is a helper lens that will hash the scripts when adding as witnesses.

type family Value era ∷ Type Source #

A value is something which quantifies a transaction output.

Associated Types

type PParamsHKD (f ∷ Type → Type) era = (r ∷ Type) | r → era Source #

Protocol parameters where the fields are represented with a HKD

type UpgradePParams (f ∷ Type → Type) era ∷ Type Source #

type DowngradePParams (f ∷ Type → Type) era ∷ Type Source #

Methods

applyPPUpdates ∷ PParams era → PParamsUpdate era → PParams era Source #

Applies a protocol parameters update

default applyPPUpdates ∷ ∀ a u. (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 Source #

emptyPParamsIdentity ∷ PParamsHKD Identity era Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe era Source #

upgradePParamsHKD ∷ (HKDApplicative f, EraPParams (PreviousEra era)) ⇒ UpgradePParams f era → PParamsHKD f (PreviousEra era) → PParamsHKD f era Source #

Upgrade PParams from previous era to the current one

downgradePParamsHKD ∷ (HKDFunctor f, EraPParams (PreviousEra era)) ⇒ DowngradePParams f era → PParamsHKD f era → PParamsHKD f (PreviousEra era) Source #

Downgrade PParams from the current era to the previous one

hkdMinFeeAL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The linear factor for the minimum fee calculation

hkdMinFeeBL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The constant factor for the minimum fee calculation

hkdMaxBBSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word32) Source #

Maximal block body size

hkdMaxTxSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word32) Source #

Maximal transaction size

hkdMaxBHSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word16) Source #

Maximal block header size

hkdKeyDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The amount of a key registration deposit

hkdPoolDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The amount of a pool registration deposit

hkdEMaxL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #

epoch bound on pool retirement

hkdNOptL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word16) Source #

Desired number of pools

hkdA0L ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f NonNegativeInterval) Source #

Pool influence

hkdRhoL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Monetary expansion

hkdTauL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Treasury expansion

hkdDL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Decentralization parameter

ppDG ∷ SimpleGetter (PParams era) UnitInterval Source #

Decentralization parameter getter

default ppDG ∷ ProtVerAtMost era 6 ⇒ SimpleGetter (PParams era) UnitInterval Source #

hkdExtraEntropyL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f Nonce) Source #

Extra entropy

hkdProtocolVersionL ∷ (HKDFunctor f, ProtVerAtMost era 8) ⇒ Lens' (PParamsHKD f era) (HKD f ProtVer) Source #

Protocol version

ppProtocolVersionL ∷ Lens' (PParams era) ProtVer Source #

default ppProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParams era) ProtVer Source #

ppuProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer) Source #

PParamsUpdate Protocol version

hkdMinUTxOValueL ∷ HKDFunctor f ⇒ ProtVerAtMost era 4 ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

Minimum UTxO value

hkdMinPoolCostL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

Minimum Stake Pool Cost

mkCoinTxOut ∷ EraTxOut era ⇒ Addr → Coin → TxOut era Source #

Era

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, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) ⇒ Era era where Source #

Associated Types

type PreviousEra era = (r ∷ Type) | r → era Source #

Map an era to its predecessor.

For example:

type instance PreviousEra (AllegraEra c) = ShelleyEra c

type ProtVerLow era ∷ Nat Source #

Lowest major protocol version for this era

type ProtVerHigh era ∷ Nat Source #

Highest major protocol version for this era. By default se to ProtVerLow

type ProtVerHigh era = ProtVerLow era

Methods

eraName ∷ String Source #

Textual name of the current era.

Designed to be used with TypeApplications:

>>> eraName @ByronEra
Byron

Instances

Instances details

Era ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era Associated Types type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #

data ByronEra Source #

This is the era that preceded Shelley era. It cannot have any other class instances, except for Era type class.

Instances

Instances details

Era ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era Associated Types type PreviousEra ByronEra = (r ∷ Type) Source # type ProtVerLow ByronEra ∷ Nat Source # type ProtVerHigh ByronEra ∷ Nat Source # Methods eraName ∷ String Source #
type PreviousEra ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era type PreviousEra ByronEra
type ProtVerHigh ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerHigh ByronEra = 1
type ProtVerLow ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era type ProtVerLow ByronEra = 0

Rules

type family EraRule (rule ∷ Symbol) era = (r ∷ Type) | r → rule Source #

Era STS map

type family EraRuleFailure (rule ∷ Symbol) era = (r ∷ Type) | r → rule era Source #

EraRuleFailure type family is needed for injectivity, which STS' PredicateFailure does not provide for us unfortunately.

Instances

Instances details

type EraRuleFailure "EPOCH" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "EPOCH" era = VoidEraRule "EPOCH" era
type EraRuleFailure "MIR" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "MIR" era = VoidEraRule "MIR" era
type EraRuleFailure "NEWEPOCH" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "NEWEPOCH" era = VoidEraRule "NEWEPOCH" era
type EraRuleFailure "NEWPP" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "NEWPP" era = VoidEraRule "NEWPP" era
type EraRuleFailure "POOLREAP" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "POOLREAP" era = VoidEraRule "POOLREAP" era
type EraRuleFailure "RUPD" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "RUPD" era = VoidEraRule "RUPD" era
type EraRuleFailure "SNAP" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "SNAP" era = VoidEraRule "SNAP" era
type EraRuleFailure "TICK" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "TICK" era = VoidEraRule "TICK" era
type EraRuleFailure "TICKF" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "TICKF" era = VoidEraRule "TICKF" era
type EraRuleFailure "UPEC" era Source #
Instance details Defined in Cardano.Ledger.Core.Era type EraRuleFailure "UPEC" era = VoidEraRule "UPEC" era

type family EraRuleEvent (rule ∷ Symbol) era = (r ∷ Type) | r → rule era Source #

data VoidEraRule (rule ∷ Symbol) era Source #

This is a type with no inhabitans for the rules. It is used to indicate that a rule does not have a predicate failure as well as marking rules that have been disabled when comparing to prior eras.

Instances

Instances details

Show (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods showsPrec ∷ Int → VoidEraRule rule era → ShowS Source # show ∷ VoidEraRule rule era → String Source # showList ∷ [VoidEraRule rule era] → ShowS Source #
(KnownSymbol rule, Era era) ⇒ FromCBOR (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods fromCBOR ∷ Decoder s (VoidEraRule rule era) Source # label ∷ Proxy (VoidEraRule rule era) → Text Source #
(KnownSymbol rule, Era era) ⇒ ToCBOR (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods toCBOR ∷ VoidEraRule rule era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VoidEraRule rule era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VoidEraRule rule era] → Size Source #
(KnownSymbol rule, Era era) ⇒ DecCBOR (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods decCBOR ∷ Decoder s (VoidEraRule rule era) Source # dropCBOR ∷ Proxy (VoidEraRule rule era) → Decoder s () Source # label ∷ Proxy (VoidEraRule rule era) → Text Source #
(KnownSymbol rule, Era era) ⇒ EncCBOR (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods encCBOR ∷ VoidEraRule rule era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VoidEraRule rule era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VoidEraRule rule era] → Size Source #
NFData (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods rnf ∷ VoidEraRule rule era → () Source #
Eq (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods (==) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source # (/=) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source #
Ord (VoidEraRule rule era) Source #
Instance details Defined in Cardano.Ledger.Core.Era Methods compare ∷ VoidEraRule rule era → VoidEraRule rule era → Ordering Source # (<) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source # (<=) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source # (>) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source # (>=) ∷ VoidEraRule rule era → VoidEraRule rule era → Bool Source # max ∷ VoidEraRule rule era → VoidEraRule rule era → VoidEraRule rule era Source # min ∷ VoidEraRule rule era → VoidEraRule rule era → VoidEraRule rule era Source #

absurdEraRule ∷ VoidEraRule rule era → a Source #

class EraRuleFailure rule era ~ PredicateFailure (EraRule rule era) ⇒ InjectRuleFailure (rule ∷ Symbol) t era where Source #

Minimal complete definition

Nothing

Methods

injectFailure ∷ t era → EraRuleFailure rule era Source #

default injectFailure ∷ t era ~ EraRuleFailure rule era ⇒ t era → EraRuleFailure rule era Source #

class EraRuleEvent rule era ~ Event (EraRule rule era) ⇒ InjectRuleEvent (rule ∷ Symbol) t era where Source #

Minimal complete definition

Nothing

Methods

injectEvent ∷ t era → EraRuleEvent rule era Source #

default injectEvent ∷ t era ~ EraRuleEvent rule era ⇒ t era → EraRuleEvent rule era Source #

Protocol Version

type AtMostEra eraMostEra era = ProtVerAtMost era (ProtVerHigh eraMostEra) Source #

Restrict the era to equal to eraName or come before it.

type AtLeastEra atLeastEra era = ProtVerAtLeast era (ProtVerLow atLeastEra) Source #

Restrict the era to equal to atLeastEra or come after it

type ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra) Source #

Restrict an era to the specific era through the protocol version. This is equivalent to (inEra (Crypto era) ~ era)

type family ProtVerAtMost era (h ∷ Nat) ∷ Constraint where ... Source #

Requirement for the era's lowest protocol version to be lower or equal to the supplied value

Equations

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

type family ProtVerAtLeast era (l ∷ Nat) ∷ Constraint where ... Source #

Requirement for the era's highest protocol version to be higher or equal to the supplied value

Equations

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

type ProtVerInBounds era l h = (ProtVerAtLeast era l, ProtVerAtMost era h) Source #

Restrict a lower and upper bounds of the protocol version for the particular era

atLeastEra ∷ AtLeastEra eraName era ⇒ () Source #

Enforce era to be at least the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atLeastEra @BabbageEra @ConwayEra
>>> atLeastEra @BabbageEra @BabbageEra

However this will result in a type error

>>> atLeastEra @BabbageEra @AlonzoEra

atMostEra ∷ AtMostEra eraName era ⇒ () Source #

Enforce era to be at most the specified era at the type level. In other words compiler will produce type error when applied to eras prior to the specified era. This function should be used in order to avoid redundant constraints warning.

For example these will type check

>>> atMostEra @BabbageEra @ShelleyEra
>>> atMostEra @AlonzoEra @MaryEra

However this will result in a type error

>>> atMostEra @BabbageEra @ConwayEra

notSupportedInThisEra ∷ HasCallStack ⇒ a Source #

notSupportedInThisEraL ∷ HasCallStack ⇒ Lens' a b Source #

eraProtVerLow ∷ ∀ era. Era era ⇒ Version Source #

Get the value level Version of the lowest major protocol version for the supplied era.

eraProtVerHigh ∷ ∀ era. Era era ⇒ Version Source #

Get the value level Version of the highest major protocol version for the supplied era.

eraProtVersions ∷ ∀ era. Era era ⇒ [Version] Source #

List with all major versions that are used in the particular era.

toEraCBOR ∷ ∀ era t. (Era era, EncCBOR t) ⇒ t → Encoding Source #

Convert a type that implements EncCBOR to plain Encoding using the lowest protocol version for the supplied era.

fromEraCBOR ∷ ∀ era t s. (Era era, DecCBOR t) ⇒ Decoder s t Source #

Convert a type that implements DecCBOR to plain Decoder using the lowest protocol version for the supplied era

This action should not be used for decoders that require access to original bytes, use toPlainDecoder instead.

fromEraShareCBOR ∷ ∀ era t s. (Era era, DecShareCBOR t) ⇒ Decoder s t Source #

Convert a type that implements DecShareCBOR to plain Decoder using the lowest protocol version for the supplied era

This action should not be used for decoders that require access to original bytes, use toPlainDecoder instead.

eraDecoder ∷ ∀ era t s. Era era ⇒ Decoder s t → Decoder s t Source #

Convert a versioned Decoder to plain a Decoder using the lowest protocol version for the supplied era

This action should not be used for decoders that require access to original bytes, use toPlainDecoder instead.

Segregated Witness

The idea of segregated witnessing is to alter the encoding of transactions in a block such that the witnesses (the information needed to verify the validity of the transactions) can be stored separately from the body (the information needed to update the ledger state). In this way, a node which only cares about replaying transactions need not even decode the witness information.

In order to do this, we introduce two concepts: - A TxSeq, which represents the decoded structure of a sequence of transactions as represented in the encoded block; that is, with witnessing, metadata and other non-body parts split separately.

class (EraTx era, Eq (TxSeq era), Show (TxSeq era), EncCBORGroup (TxSeq era), DecCBOR (Annotator (TxSeq era))) ⇒ EraSegWits era where Source #

Indicates that an era supports segregated witnessing.

This class embodies an isomorphism between 'TxSeq era' and 'StrictSeq (Tx era)', witnessed by fromTxSeq and toTxSeq.

Associated Types

type TxSeq era = (r ∷ Type) | r → era Source #

Methods

fromTxSeq ∷ TxSeq era → StrictSeq (Tx era) Source #

toTxSeq ∷ StrictSeq (Tx era) → TxSeq era Source #

hashTxSeq ∷ TxSeq era → Hash HASH EraIndependentBlockBody Source #

Get the block body hash from the TxSeq. Note that this is not a regular "hash the stored bytes" function since the block body hash forms a small Merkle tree.

numSegComponents ∷ Word64 Source #

The number of segregated components

bBodySize ∷ ∀ era. EraSegWits era ⇒ ProtVer → TxSeq era → Int Source #

Rewards

data RewardType Source #

The staking rewards in Cardano are all either:

member rewards - rewards given to a registered stake credential which has delegated to a stake pool, or
leader rewards - rewards given to a registered stake pool (in particular, given to the stake credential in the stake pool registration certificate).

See Figure 47, "Functions used in the Reward Splitting", of the formal specification for more details.

Constructors

MemberReward
LeaderReward

Instances

Instances details

ToJSON RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods toJSON ∷ RewardType → Value Source # toEncoding ∷ RewardType → Encoding Source # toJSONList ∷ [RewardType] → Value Source # toEncodingList ∷ [RewardType] → Encoding Source # omitField ∷ RewardType → Bool Source #
Bounded RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods minBound ∷ RewardType Source # maxBound ∷ RewardType Source #
Enum RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods succ ∷ RewardType → RewardType Source # pred ∷ RewardType → RewardType Source # toEnum ∷ Int → RewardType Source # fromEnum ∷ RewardType → Int Source # enumFrom ∷ RewardType → [RewardType] Source # enumFromThen ∷ RewardType → RewardType → [RewardType] Source # enumFromTo ∷ RewardType → RewardType → [RewardType] Source # enumFromThenTo ∷ RewardType → RewardType → RewardType → [RewardType] Source #
Generic RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep RewardType ∷ Type → Type Source # Methods from ∷ RewardType → Rep RewardType x Source # to ∷ Rep RewardType x → RewardType Source #
Show RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → RewardType → ShowS Source # show ∷ RewardType → String Source # showList ∷ [RewardType] → ShowS Source #
DecCBOR RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods decCBOR ∷ Decoder s RewardType Source # dropCBOR ∷ Proxy RewardType → Decoder s () Source # label ∷ Proxy RewardType → Text Source #
EncCBOR RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods encCBOR ∷ RewardType → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy RewardType → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardType] → Size Source #
NFData RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ RewardType → () Source #
Eq RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ RewardType → RewardType → Bool Source # (/=) ∷ RewardType → RewardType → Bool Source #
Ord RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods compare ∷ RewardType → RewardType → Ordering Source # (<) ∷ RewardType → RewardType → Bool Source # (<=) ∷ RewardType → RewardType → Bool Source # (>) ∷ RewardType → RewardType → Bool Source # (>=) ∷ RewardType → RewardType → Bool Source # max ∷ RewardType → RewardType → RewardType Source # min ∷ RewardType → RewardType → RewardType Source #
NoThunks RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards Methods noThunks ∷ Context → RewardType → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardType → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RewardType → String Source #
type Rep RewardType Source #
Instance details Defined in Cardano.Ledger.Rewards type Rep RewardType = D1 ('MetaData "RewardType" "Cardano.Ledger.Rewards" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "MemberReward" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeaderReward" 'PrefixI 'False) (U1 ∷ Type → Type))

data Reward Source #

The Reward type captures:

if the reward is a member or leader reward
the stake pool ID associated with the reward
the number of Lovelace in the reward

Constructors

Reward
Fields rewardType ∷ !RewardType rewardPool ∷ !(KeyHash 'StakePool) rewardAmount ∷ !Coin

Instances

Instances details

ToJSON Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods toJSON ∷ Reward → Value Source # toEncoding ∷ Reward → Encoding Source # toJSONList ∷ [Reward] → Value Source # toEncodingList ∷ [Reward] → Encoding Source # omitField ∷ Reward → Bool Source #
Generic Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep Reward ∷ Type → Type Source # Methods from ∷ Reward → Rep Reward x Source # to ∷ Rep Reward x → Reward Source #
Show Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → Reward → ShowS Source # show ∷ Reward → String Source # showList ∷ [Reward] → ShowS Source #
DecCBOR Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods decCBOR ∷ Decoder s Reward Source # dropCBOR ∷ Proxy Reward → Decoder s () Source # label ∷ Proxy Reward → Text Source #
EncCBOR Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods encCBOR ∷ Reward → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Reward → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Reward] → Size Source #
NFData Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ Reward → () Source #
Eq Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ Reward → Reward → Bool Source # (/=) ∷ Reward → Reward → Bool Source #
Ord Reward Source #	Note that this Ord instance is chosen to align precisely with the Allegra reward aggregation, as given by the function `aggregateRewards` so that `findMax` returns the expected value.
Instance details Defined in Cardano.Ledger.Rewards Methods compare ∷ Reward → Reward → Ordering Source # (<) ∷ Reward → Reward → Bool Source # (<=) ∷ Reward → Reward → Bool Source # (>) ∷ Reward → Reward → Bool Source # (>=) ∷ Reward → Reward → Bool Source # max ∷ Reward → Reward → Reward Source # min ∷ Reward → Reward → Reward Source #
NoThunks Reward Source #
Instance details Defined in Cardano.Ledger.Rewards Methods noThunks ∷ Context → Reward → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Reward → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Reward → String Source #
type Rep Reward Source #
Instance details Defined in Cardano.Ledger.Rewards type Rep Reward = D1 ('MetaData "Reward" "Cardano.Ledger.Rewards" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Reward" 'PrefixI 'True) (S1 ('MetaSel ('Just "rewardType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RewardType) :: (S1 ('MetaSel ('Just "rewardPool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :: S1 ('MetaSel ('Just "rewardAmount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))

Re-exports

class (KnownNat (SizeHash h), Typeable h) ⇒ HashAlgorithm h Source #

Minimal complete definition

hashAlgorithmName, digest

Instances

Instances details

HashAlgorithm Blake2b_224
Instance details Defined in Cardano.Crypto.Hash.Blake2b Associated Types type SizeHash Blake2b_224 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy Blake2b_224 → String Source # digest ∷ proxy Blake2b_224 → ByteString → ByteString Source #
HashAlgorithm Blake2b_256
Instance details Defined in Cardano.Crypto.Hash.Blake2b Associated Types type SizeHash Blake2b_256 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy Blake2b_256 → String Source # digest ∷ proxy Blake2b_256 → ByteString → ByteString Source #
HashAlgorithm Keccak256
Instance details Defined in Cardano.Crypto.Hash.Keccak256 Associated Types type SizeHash Keccak256 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy Keccak256 → String Source # digest ∷ proxy Keccak256 → ByteString → ByteString Source #
HashAlgorithm NeverHash
Instance details Defined in Cardano.Crypto.Hash.NeverUsed Associated Types type SizeHash NeverHash ∷ Nat Source # Methods hashAlgorithmName ∷ proxy NeverHash → String Source # digest ∷ proxy NeverHash → ByteString → ByteString Source #
HashAlgorithm RIPEMD160
Instance details Defined in Cardano.Crypto.Hash.RIPEMD160 Associated Types type SizeHash RIPEMD160 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy RIPEMD160 → String Source # digest ∷ proxy RIPEMD160 → ByteString → ByteString Source #
HashAlgorithm SHA256
Instance details Defined in Cardano.Crypto.Hash.SHA256 Associated Types type SizeHash SHA256 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy SHA256 → String Source # digest ∷ proxy SHA256 → ByteString → ByteString Source #
HashAlgorithm SHA3_256
Instance details Defined in Cardano.Crypto.Hash.SHA3_256 Associated Types type SizeHash SHA3_256 ∷ Nat Source # Methods hashAlgorithmName ∷ proxy SHA3_256 → String Source # digest ∷ proxy SHA3_256 → ByteString → ByteString Source #
(KnownNat n, CmpNat n 33 ~ 'LT) ⇒ HashAlgorithm (Blake2bPrefix n)
Instance details Defined in Cardano.Crypto.Hash.Short Associated Types type SizeHash (Blake2bPrefix n) ∷ Nat Source # Methods hashAlgorithmName ∷ proxy (Blake2bPrefix n) → String Source # digest ∷ proxy (Blake2bPrefix n) → ByteString → ByteString Source #

data Hash h a Source #

Instances

Instances details

HashAlgorithm h ⇒ IsString (Q (TExp (Hash h a)))	This instance is meant to be used with `TemplateHaskell` `>>>` `import Cardano.Crypto.Hash.Class (Hash)``>>>` `import Cardano.Crypto.Hash.Short (ShortHash)``>>>` `:set -XTemplateHaskell``>>>` `:set -XOverloadedStrings``>>>` `let hash = $$("0xBADC0FFEE0DDF00D") :: Hash ShortHash ()``>>>` `print hash`"badc0ffee0ddf00d" `>>>` `let hash = $$("0123456789abcdef") :: Hash ShortHash ()``>>>` `print hash`"0123456789abcdef" `>>>` `let hash = $$("deadbeef") :: Hash ShortHash ()`<interactive>:5:15: error: • <Hash blake2b_prefix_8>: Expected in decoded form to be: 8 bytes, but got: 4 • In the Template Haskell splice $$("deadbeef") In the expression: $$("deadbeef") :: Hash ShortHash () In an equation for ‘hash’: hash = $$("deadbeef") :: Hash ShortHash () `>>>` `let hash = $$("123") :: Hash ShortHash ()`<interactive>:6:15: error: • <Hash blake2b_prefix_8>: Malformed hex: invalid bytestring size • In the Template Haskell splice $$("123") In the expression: $$("123") :: Hash ShortHash () In an equation for ‘hash’: hash = $$("123") :: Hash ShortHash ()
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromString ∷ String → Q (TExp (Hash h a)) Source #
HashAlgorithm h ⇒ FromJSON (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods parseJSON ∷ Value → Parser (Hash h a) Source # parseJSONList ∷ Value → Parser [Hash h a] Source # omittedField ∷ Maybe (Hash h a) Source #
HashAlgorithm h ⇒ FromJSONKey (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromJSONKey ∷ FromJSONKeyFunction (Hash h a) Source # fromJSONKeyList ∷ FromJSONKeyFunction [Hash h a] Source #
HashAlgorithm h ⇒ ToJSON (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods toJSON ∷ Hash h a → Value Source # toEncoding ∷ Hash h a → Encoding Source # toJSONList ∷ [Hash h a] → Value Source # toEncodingList ∷ [Hash h a] → Encoding Source # omitField ∷ Hash h a → Bool Source #
HashAlgorithm h ⇒ ToJSONKey (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods toJSONKey ∷ ToJSONKeyFunction (Hash h a) Source # toJSONKeyList ∷ ToJSONKeyFunction [Hash h a] Source #
HashAlgorithm h ⇒ IsString (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromString ∷ String → Hash h a Source #
Generic (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Associated Types type Rep (Hash h a) ∷ Type → Type Source # Methods from ∷ Hash h a → Rep (Hash h a) x Source # to ∷ Rep (Hash h a) x → Hash h a Source #
HashAlgorithm h ⇒ Read (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods readsPrec ∷ Int → ReadS (Hash h a) Source # readList ∷ ReadS [Hash h a] Source # readPrec ∷ ReadPrec (Hash h a) Source # readListPrec ∷ ReadPrec [Hash h a] Source #
Show (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods showsPrec ∷ Int → Hash h a → ShowS Source # show ∷ Hash h a → String Source # showList ∷ [Hash h a] → ShowS Source #
(HashAlgorithm h, Typeable a) ⇒ FromCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromCBOR ∷ Decoder s (Hash h a) Source # label ∷ Proxy (Hash h a) → Text Source #
(HashAlgorithm h, Typeable a) ⇒ ToCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods toCBOR ∷ Hash h a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash h a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash h a] → Size Source #
SignableRepresentation (Hash a b) Source #
Instance details Defined in Cardano.Ledger.Orphans Methods getSignableRepresentation ∷ Hash a b → ByteString Source #
(HashAlgorithm h, Typeable a) ⇒ DecCBOR (Hash h a)
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Hash h a) Source # dropCBOR ∷ Proxy (Hash h a) → Decoder s () Source # label ∷ Proxy (Hash h a) → Text Source #
(HashAlgorithm h, Typeable a) ⇒ EncCBOR (Hash h a)
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Hash h a → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Hash h a) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Hash h a] → Size Source #
HashAlgorithm h ⇒ SafeToHash (Hash h i) Source #	Hash of a hash. Hash is always safe to hash. Do you even hash?
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ Hash h i → ByteString Source # originalBytesSize ∷ Hash h i → Int Source # makeHashWithExplicitProxys ∷ Proxy i0 → Hash h i → SafeHash i0 Source #
HashAlgorithm h ⇒ Default (Hash h b) Source #
Instance details Defined in Cardano.Ledger.Orphans Methods def ∷ Hash h b Source #
NFData (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods rnf ∷ Hash h a → () Source #
Eq (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods (==) ∷ Hash h a → Hash h a → Bool Source # (/=) ∷ Hash h a → Hash h a → Bool Source #
Ord (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods compare ∷ Hash h a → Hash h a → Ordering Source # (<) ∷ Hash h a → Hash h a → Bool Source # (<=) ∷ Hash h a → Hash h a → Bool Source # (>) ∷ Hash h a → Hash h a → Bool Source # (>=) ∷ Hash h a → Hash h a → Bool Source # max ∷ Hash h a → Hash h a → Hash h a Source # min ∷ Hash h a → Hash h a → Hash h a Source #
HeapWords (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods heapWords ∷ Hash h a → Int Source #
HashAlgorithm h ⇒ MemPack (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods typeName ∷ String Source # packedByteCount ∷ Hash h a → Int Source # packM ∷ Hash h a → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (Hash h a) Source #
NoThunks (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods noThunks ∷ Context → Hash h a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Hash h a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Hash h a) → String Source #
HashAlgorithm h ⇒ IsString (Code Q (Hash h a))
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromString ∷ String → Code Q (Hash h a) Source #
type Rep (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class type Rep (Hash h a) = D1 ('MetaData "Hash" "Cardano.Crypto.Hash.Class" "cardano-crypto-class-2.2.0.0-26c5fd30d06a5d79fe778ccc9b3b70cb764a47cb3e1af3de4f34878e2972d13e" 'True) (C1 ('MetaCons "UnsafeHashRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PackedBytes (SizeHash h)))))

data KeyRole Source #

The role of a key.

All key roles are fixed and unique, except for the Witness role. In particular, keys can be cast to a Witness role with the help of asWitness, because same witness can be valid for many roles.

In fact, it is perfectly allowable for a key to be used in many roles by the end user; there is nothing prohibiting somebody using the same underlying key or a script as their payment and staking credential, as well as the key for their stake pool. However, in the ledger code mixing up keys with different roles could be catastrophic, that is why we have this separation.

Constructors

Genesis
GenesisDelegate
Payment
Staking
StakePool
BlockIssuer
Witness
DRepRole
HotCommitteeRole
ColdCommitteeRole

Instances

Instances details

Show KeyRole Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods showsPrec ∷ Int → KeyRole → ShowS Source # show ∷ KeyRole → String Source # showList ∷ [KeyRole] → ShowS Source #

class SafeToHash x ⇒ HashAnnotated x i | x → i where Source #

Types that are SafeToHash AND have the type uniquely determines the index type tag of SafeHash index

The SafeToHash and the HashAnnotated classes are designed so that their instances can be easily derived (because their methods have default methods when the type is a newtype around a type that is SafeToHash). For example,

Minimal complete definition

Nothing

Methods

hashAnnotated ∷ x → SafeHash i Source #

Create a (SafeHash i), given (HashAnnotated x i) instance.

Instances

Instances details

HashAnnotated AnchorData AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods hashAnnotated ∷ AnchorData → SafeHash AnchorData Source #
HashAnnotated (BinaryData era) EraIndependentData Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods hashAnnotated ∷ BinaryData era → SafeHash EraIndependentData Source #
HashAnnotated (Data era) EraIndependentData Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods hashAnnotated ∷ Data era → SafeHash EraIndependentData Source #

class SafeToHash t where Source #

Only Types that preserve their serialisation bytes are members of the class SafeToHash. There are only a limited number of primitive direct instances of SafeToHash, all but two of them are present in this file. Instead of making explicit instances, we almost always use a newtype (around a type S) where their is already an instance (SafeToHash S). In that case the newtype has its SafeToHash instance derived using newtype deriving. The prime example of s is MemoBytes. The only exceptions are the legacy Shelley types: Metadata and ShelleyTx, that preserve their serialization bytes using a different mechanism than the use of MemoBytes. SafeToHash is a superclass requirement of the classes HashAnnotated which provide more convenient ways to construct SafeHashes than using makeHashWithExplicitProxys.

Minimal complete definition

originalBytes

Methods

originalBytes ∷ t → ByteString Source #

Extract the original bytes from t

originalBytesSize ∷ t → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → t → SafeHash i Source #

Instances

Instances details

SafeToHash ByteString Source #
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ ByteString → ByteString Source # originalBytesSize ∷ ByteString → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ByteString → SafeHash i Source #
SafeToHash ShortByteString Source #
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ ShortByteString → ByteString Source # originalBytesSize ∷ ShortByteString → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShortByteString → SafeHash i Source #
SafeToHash AnchorData Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods originalBytes ∷ AnchorData → ByteString Source # originalBytesSize ∷ AnchorData → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AnchorData → SafeHash i Source #
SafeToHash PlutusBinary Source #
Instance details Defined in Cardano.Ledger.Plutus.Language Methods originalBytes ∷ PlutusBinary → ByteString Source # originalBytesSize ∷ PlutusBinary → Int Source # makeHashWithExplicitProxys ∷ Proxy i → PlutusBinary → SafeHash i Source #
SafeToHash (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ SafeHash i → ByteString Source # originalBytesSize ∷ SafeHash i → Int Source # makeHashWithExplicitProxys ∷ Proxy i0 → SafeHash i → SafeHash i0 Source #
SafeToHash (BinaryData era) Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods originalBytes ∷ BinaryData era → ByteString Source # originalBytesSize ∷ BinaryData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → BinaryData era → SafeHash i Source #
SafeToHash (Data era) Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods originalBytes ∷ Data era → ByteString Source # originalBytesSize ∷ Data era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → Data era → SafeHash i Source #
SafeToHash (Plutus l) Source #
Instance details Defined in Cardano.Ledger.Plutus.Language Methods originalBytes ∷ Plutus l → ByteString Source # originalBytesSize ∷ Plutus l → Int Source # makeHashWithExplicitProxys ∷ Proxy i → Plutus l → SafeHash i Source #
HashAlgorithm h ⇒ SafeToHash (Hash h i) Source #	Hash of a hash. Hash is always safe to hash. Do you even hash?
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ Hash h i → ByteString Source # originalBytesSize ∷ Hash h i → Int Source # makeHashWithExplicitProxys ∷ Proxy i0 → Hash h i → SafeHash i0 Source #
SafeToHash (MemoBytes t era) Source #
Instance details Defined in Cardano.Ledger.MemoBytes.Internal Methods originalBytes ∷ MemoBytes t era → ByteString Source # originalBytesSize ∷ MemoBytes t era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → MemoBytes t era → SafeHash i Source #

data SafeHash i Source #

A SafeHash is a hash of something that is safe to hash. Such types store their own serialisation bytes. The prime example is (MemoBytes t), but other examples are things that consist of only ByteStrings (i.e. they are their own serialization) or for some other reason store their original bytes.

We do NOT export the constructor SafeHash, but instead export other functions such as hashAnnotated and extractHash which have constraints that limit their application to types which preserve their original serialization bytes.

Instances

Instances details

FromJSON (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (SafeHash i) Source # parseJSONList ∷ Value → Parser [SafeHash i] Source # omittedField ∷ Maybe (SafeHash i) Source #
ToJSON (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ SafeHash i → Value Source # toEncoding ∷ SafeHash i → Encoding Source # toJSONList ∷ [SafeHash i] → Value Source # toEncodingList ∷ [SafeHash i] → Encoding Source # omitField ∷ SafeHash i → Bool Source #
Show (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → SafeHash i → ShowS Source # show ∷ SafeHash i → String Source # showList ∷ [SafeHash i] → ShowS Source #
Typeable i ⇒ FromCBOR (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (SafeHash i) Source # label ∷ Proxy (SafeHash i) → Text Source #
Typeable i ⇒ ToCBOR (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ SafeHash i → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SafeHash i) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SafeHash i] → Size Source #
Typeable i ⇒ DecCBOR (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (SafeHash i) Source # dropCBOR ∷ Proxy (SafeHash i) → Decoder s () Source # label ∷ Proxy (SafeHash i) → Text Source #
Typeable i ⇒ EncCBOR (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ SafeHash i → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (SafeHash i) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SafeHash i] → Size Source #
SafeToHash (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods originalBytes ∷ SafeHash i → ByteString Source # originalBytesSize ∷ SafeHash i → Int Source # makeHashWithExplicitProxys ∷ Proxy i0 → SafeHash i → SafeHash i0 Source #
Default (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ SafeHash i Source #
NFData (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ SafeHash i → () Source #
Eq (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ SafeHash i → SafeHash i → Bool Source # (/=) ∷ SafeHash i → SafeHash i → Bool Source #
Ord (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ SafeHash i → SafeHash i → Ordering Source # (<) ∷ SafeHash i → SafeHash i → Bool Source # (<=) ∷ SafeHash i → SafeHash i → Bool Source # (>) ∷ SafeHash i → SafeHash i → Bool Source # (>=) ∷ SafeHash i → SafeHash i → Bool Source # max ∷ SafeHash i → SafeHash i → SafeHash i Source # min ∷ SafeHash i → SafeHash i → SafeHash i Source #
HeapWords (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods heapWords ∷ SafeHash i → Int Source #
HeapWords (StrictMaybe DataHash) Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods heapWords ∷ StrictMaybe DataHash → Int Source #
NoThunks (SafeHash i) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → SafeHash i → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SafeHash i → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (SafeHash i) → String Source #

newtype TxAuxDataHash Source #

Constructors

TxAuxDataHash
Fields unTxAuxDataHash ∷ SafeHash EraIndependentTxAuxData

Instances

Instances details

ToJSON TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ TxAuxDataHash → Value Source # toEncoding ∷ TxAuxDataHash → Encoding Source # toJSONList ∷ [TxAuxDataHash] → Value Source # toEncodingList ∷ [TxAuxDataHash] → Encoding Source # omitField ∷ TxAuxDataHash → Bool Source #
Generic TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep TxAuxDataHash ∷ Type → Type Source # Methods from ∷ TxAuxDataHash → Rep TxAuxDataHash x Source # to ∷ Rep TxAuxDataHash x → TxAuxDataHash Source #
Show TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → TxAuxDataHash → ShowS Source # show ∷ TxAuxDataHash → String Source # showList ∷ [TxAuxDataHash] → ShowS Source #
DecCBOR TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s TxAuxDataHash Source # dropCBOR ∷ Proxy TxAuxDataHash → Decoder s () Source # label ∷ Proxy TxAuxDataHash → Text Source #
EncCBOR TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ TxAuxDataHash → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxAuxDataHash → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxAuxDataHash] → Size Source #
NFData TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ TxAuxDataHash → () Source #
Eq TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source # (/=) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source #
Ord TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ TxAuxDataHash → TxAuxDataHash → Ordering Source # (<) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source # (<=) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source # (>) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source # (>=) ∷ TxAuxDataHash → TxAuxDataHash → Bool Source # max ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash Source # min ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash Source #
NoThunks TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → TxAuxDataHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxAuxDataHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxAuxDataHash → String Source #
type Rep TxAuxDataHash Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep TxAuxDataHash = D1 ('MetaData "TxAuxDataHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "TxAuxDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxAuxDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentTxAuxData))))

newtype VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

Discriminated hash of VRF Verification Key

Constructors

VRFVerKeyHash
Fields unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF

Instances

Instances details

FromJSON (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (VRFVerKeyHash r) Source # parseJSONList ∷ Value → Parser [VRFVerKeyHash r] Source # omittedField ∷ Maybe (VRFVerKeyHash r) Source #
FromJSONKey (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (VRFVerKeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [VRFVerKeyHash r] Source #
ToJSON (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ VRFVerKeyHash r → Value Source # toEncoding ∷ VRFVerKeyHash r → Encoding Source # toJSONList ∷ [VRFVerKeyHash r] → Value Source # toEncodingList ∷ [VRFVerKeyHash r] → Encoding Source # omitField ∷ VRFVerKeyHash r → Bool Source #
ToJSONKey (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (VRFVerKeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [VRFVerKeyHash r] Source #
Generic (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (VRFVerKeyHash r) ∷ Type → Type Source # Methods from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x Source # to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r Source #
Show (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → VRFVerKeyHash r → ShowS Source # show ∷ VRFVerKeyHash r → String Source # showList ∷ [VRFVerKeyHash r] → ShowS Source #
Typeable r ⇒ FromCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (VRFVerKeyHash r) Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
Typeable r ⇒ ToCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ VRFVerKeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size Source #
Typeable r ⇒ DecCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (VRFVerKeyHash r) Source # dropCBOR ∷ Proxy (VRFVerKeyHash r) → Decoder s () Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
Typeable r ⇒ EncCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ VRFVerKeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size Source #
Default (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ VRFVerKeyHash r Source #
NFData (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ VRFVerKeyHash r → () Source #
Eq (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #
Ord (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering Source # (<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source # min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source #
NoThunks (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VRFVerKeyHash r) → String Source #
type Rep (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)

data KeyRoleVRF Source #

Constructors

StakePoolVRF
GenDelegVRF
BlockIssuerVRF

newtype ScriptHash Source #

Constructors

ScriptHash (Hash ADDRHASH EraIndependentScript)

Instances

Instances details

FromJSON ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser ScriptHash Source # parseJSONList ∷ Value → Parser [ScriptHash] Source # omittedField ∷ Maybe ScriptHash Source #
FromJSONKey ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction ScriptHash Source # fromJSONKeyList ∷ FromJSONKeyFunction [ScriptHash] Source #
ToJSON ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ ScriptHash → Value Source # toEncoding ∷ ScriptHash → Encoding Source # toJSONList ∷ [ScriptHash] → Value Source # toEncodingList ∷ [ScriptHash] → Encoding Source # omitField ∷ ScriptHash → Bool Source #
ToJSONKey ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction ScriptHash Source # toJSONKeyList ∷ ToJSONKeyFunction [ScriptHash] Source #
Generic ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep ScriptHash ∷ Type → Type Source # Methods from ∷ ScriptHash → Rep ScriptHash x Source # to ∷ Rep ScriptHash x → ScriptHash Source #
Show ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → ScriptHash → ShowS Source # show ∷ ScriptHash → String Source # showList ∷ [ScriptHash] → ShowS Source #
FromCBOR ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s ScriptHash Source # label ∷ Proxy ScriptHash → Text Source #
ToCBOR ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ ScriptHash → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ScriptHash → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash] → Size Source #
DecCBOR ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s ScriptHash Source # dropCBOR ∷ Proxy ScriptHash → Decoder s () Source # label ∷ Proxy ScriptHash → Text Source #
EncCBOR ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ ScriptHash → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ScriptHash → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash] → Size Source #
NFData ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ ScriptHash → () Source #
Eq ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ ScriptHash → ScriptHash → Bool Source # (/=) ∷ ScriptHash → ScriptHash → Bool Source #
Ord ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ ScriptHash → ScriptHash → Ordering Source # (<) ∷ ScriptHash → ScriptHash → Bool Source # (<=) ∷ ScriptHash → ScriptHash → Bool Source # (>) ∷ ScriptHash → ScriptHash → Bool Source # (>=) ∷ ScriptHash → ScriptHash → Bool Source # max ∷ ScriptHash → ScriptHash → ScriptHash Source # min ∷ ScriptHash → ScriptHash → ScriptHash Source #
NoThunks ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → ScriptHash → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScriptHash → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ScriptHash → String Source #
type Rep ScriptHash Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash ADDRHASH EraIndependentScript))))

newtype KeyHash (r ∷ KeyRole) Source #

Discriminated hash of public Key

Constructors

KeyHash
Fields unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)

Instances

Instances details

HasKeyRole KeyHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). KeyHash r → KeyHash r' Source #
FromJSON (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (KeyHash r) Source # parseJSONList ∷ Value → Parser [KeyHash r] Source # omittedField ∷ Maybe (KeyHash r) Source #
FromJSONKey (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (KeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [KeyHash r] Source #
ToJSON (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ KeyHash r → Value Source # toEncoding ∷ KeyHash r → Encoding Source # toJSONList ∷ [KeyHash r] → Value Source # toEncodingList ∷ [KeyHash r] → Encoding Source # omitField ∷ KeyHash r → Bool Source #
ToJSONKey (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (KeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [KeyHash r] Source #
Generic (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (KeyHash r) ∷ Type → Type Source # Methods from ∷ KeyHash r → Rep (KeyHash r) x Source # to ∷ Rep (KeyHash r) x → KeyHash r Source #
Show (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → KeyHash r → ShowS Source # show ∷ KeyHash r → String Source # showList ∷ [KeyHash r] → ShowS Source #
Typeable r ⇒ FromCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (KeyHash r) Source # label ∷ Proxy (KeyHash r) → Text Source #
Typeable r ⇒ ToCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ KeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (KeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KeyHash r] → Size Source #
Typeable r ⇒ DecCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (KeyHash r) Source # dropCBOR ∷ Proxy (KeyHash r) → Decoder s () Source # label ∷ Proxy (KeyHash r) → Text Source #
Typeable r ⇒ EncCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ KeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (KeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [KeyHash r] → Size Source #
Default (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ KeyHash r Source #
NFData (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ KeyHash r → () Source #
Eq (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ KeyHash r → KeyHash r → Bool Source # (/=) ∷ KeyHash r → KeyHash r → Bool Source #
Ord (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ KeyHash r → KeyHash r → Ordering Source # (<) ∷ KeyHash r → KeyHash r → Bool Source # (<=) ∷ KeyHash r → KeyHash r → Bool Source # (>) ∷ KeyHash r → KeyHash r → Bool Source # (>=) ∷ KeyHash r → KeyHash r → Bool Source # max ∷ KeyHash r → KeyHash r → KeyHash r Source # min ∷ KeyHash r → KeyHash r → KeyHash r Source #
NoThunks (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KeyHash r) → String Source #
type Rep (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))

data EraIndependentScriptIntegrity Source #

data EraIndependentPParamView Source #

data EraIndependentScriptData Source #

type DataHash = SafeHash EraIndependentData Source #

data EraIndependentData Source #

Instances

Instances details

HeapWords (StrictMaybe DataHash) Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods heapWords ∷ StrictMaybe DataHash → Int Source #
HashAnnotated (BinaryData era) EraIndependentData Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods hashAnnotated ∷ BinaryData era → SafeHash EraIndependentData Source #
HashAnnotated (Data era) EraIndependentData Source #
Instance details Defined in Cardano.Ledger.Plutus.Data Methods hashAnnotated ∷ Data era → SafeHash EraIndependentData Source #

data EraIndependentScript Source #

data EraIndependentTxAuxData Source #

data EraIndependentMetadata Source #

data EraIndependentBlockBody Source #

data EraIndependentBlockHeader Source #

data EraIndependentTxBody Source #

type ADDRHASH = Blake2b_224 Source #

Hashing algorithm used for hashing cryptographic keys and scripts. As the type synonym name alludes, this is the hashing algorithm used for addresses.

type HASH = Blake2b_256 Source #

Hashing algorithm used for hashing everything, except addresses, for which ADDRHASH is used.

hashKey ∷ VKey kd → KeyHash kd Source #

Hash a given public key

hashTxBodySignature ∷ SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → Hash HASH (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)) Source #

Hash a given signature

toVRFVerKeyHash ∷ Hash HASH (VerKeyVRF v) → VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

fromVRFVerKeyHash ∷ VRFVerKeyHash (r ∷ KeyRoleVRF) → Hash HASH (VerKeyVRF v) Source #

extractHash ∷ SafeHash i → Hash HASH i Source #

Extract the hash out of a SafeHash

castSafeHash ∷ ∀ i j. SafeHash i → SafeHash j Source #

To change the index parameter of SafeHash (which is a phantom type) use castSafeHash

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 Source #

Associated Types

type TxCert era = (r ∷ Type) | r → era Source #

type TxCertUpgradeError era ∷ Type Source #

type TxCertUpgradeError era = Void

Methods

upgradeTxCert ∷ EraTxCert (PreviousEra era) ⇒ TxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era) Source #

Every era, except Shelley, must be able to upgrade a TxCert from a previous era. However, not all certificates can be upgraded, because some eras lose some of the certificates, thus return type is an Either. Eg. from Babbage to Conway: MIR and Genesis certificates were removed.

getVKeyWitnessTxCert ∷ TxCert era → Maybe (KeyHash 'Witness) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCert ∷ TxCert era → Maybe ScriptHash Source #

Return a ScriptHash for certificate types that require a witness

mkRegPoolTxCert ∷ PoolParams → TxCert era Source #

getRegPoolTxCert ∷ TxCert era → Maybe PoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert era Source #

getRetirePoolTxCert ∷ TxCert era → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can register such credential

lookupUnRegStakeTxCert ∷ TxCert era → Maybe (Credential 'Staking) Source #

Extract staking credential from any certificate that can unregister such credential

getTotalDepositsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether stake pool is registered or not
→ f (TxCert era)
→ Coin

Compute the total deposits from a list of certificates.

getTotalRefundsTxCerts Source #

Arguments

∷ Foldable f
⇒ PParams era
→ (Credential 'Staking → Maybe Coin)	Lookup current deposit for Staking credential if one is registered
→ (Credential 'DRepRole → Maybe Coin)	Lookup current deposit for DRep credential if one is registered
→ f (TxCert era)
→ Coin

Compute the total refunds from a list of certificates.

pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era Source #

pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era Source #

data PoolCert Source #

Constructors

RegPool !PoolParams	A stake pool registration certificate.
RetirePool !(KeyHash 'StakePool) !EpochNo	A stake pool retirement certificate.

Instances

Instances details

ToJSON PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods toJSON ∷ PoolCert → Value Source # toEncoding ∷ PoolCert → Encoding Source # toJSONList ∷ [PoolCert] → Value Source # toEncodingList ∷ [PoolCert] → Encoding Source # omitField ∷ PoolCert → Bool Source #
Generic PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Associated Types type Rep PoolCert ∷ Type → Type Source # Methods from ∷ PoolCert → Rep PoolCert x Source # to ∷ Rep PoolCert x → PoolCert Source #
Show PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods showsPrec ∷ Int → PoolCert → ShowS Source # show ∷ PoolCert → String Source # showList ∷ [PoolCert] → ShowS Source #
EncCBOR PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods encCBOR ∷ PoolCert → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PoolCert → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolCert] → Size Source #
NFData PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods rnf ∷ PoolCert → () Source #
Eq PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods (==) ∷ PoolCert → PoolCert → Bool Source # (/=) ∷ PoolCert → PoolCert → Bool Source #
Ord PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods compare ∷ PoolCert → PoolCert → Ordering Source # (<) ∷ PoolCert → PoolCert → Bool Source # (<=) ∷ PoolCert → PoolCert → Bool Source # (>) ∷ PoolCert → PoolCert → Bool Source # (>=) ∷ PoolCert → PoolCert → Bool Source # max ∷ PoolCert → PoolCert → PoolCert Source # min ∷ PoolCert → PoolCert → PoolCert Source #
NoThunks PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert Methods noThunks ∷ Context → PoolCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PoolCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PoolCert → String Source #
type Rep PoolCert Source #
Instance details Defined in Cardano.Ledger.Core.TxCert type Rep PoolCert = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolParams)) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo)))

getPoolCertTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe PoolCert Source #

poolCertKeyHashWitness ∷ PoolCert → KeyHash 'Witness Source #

isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake registering certificate

isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake un-registering certificate

Associated Types

type PParamsHKD (f ∷ Type → Type) era = (r ∷ Type) | r → era Source #

Protocol parameters where the fields are represented with a HKD

type UpgradePParams (f ∷ Type → Type) era ∷ Type Source #

type DowngradePParams (f ∷ Type → Type) era ∷ Type Source #

Methods

applyPPUpdates ∷ PParams era → PParamsUpdate era → PParams era Source #

Applies a protocol parameters update

default applyPPUpdates ∷ ∀ a u. (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 Source #

emptyPParamsIdentity ∷ PParamsHKD Identity era Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe era Source #

upgradePParamsHKD ∷ (HKDApplicative f, EraPParams (PreviousEra era)) ⇒ UpgradePParams f era → PParamsHKD f (PreviousEra era) → PParamsHKD f era Source #

Upgrade PParams from previous era to the current one

downgradePParamsHKD ∷ (HKDFunctor f, EraPParams (PreviousEra era)) ⇒ DowngradePParams f era → PParamsHKD f era → PParamsHKD f (PreviousEra era) Source #

Downgrade PParams from the current era to the previous one

hkdMinFeeAL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The linear factor for the minimum fee calculation

hkdMinFeeBL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The constant factor for the minimum fee calculation

hkdMaxBBSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word32) Source #

Maximal block body size

hkdMaxTxSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word32) Source #

Maximal transaction size

hkdMaxBHSizeL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word16) Source #

Maximal block header size

hkdKeyDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The amount of a key registration deposit

hkdPoolDepositL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

The amount of a pool registration deposit

hkdEMaxL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #

epoch bound on pool retirement

hkdNOptL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Word16) Source #

Desired number of pools

hkdA0L ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f NonNegativeInterval) Source #

Pool influence

hkdRhoL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Monetary expansion

hkdTauL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Treasury expansion

hkdDL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #

Decentralization parameter

ppDG ∷ SimpleGetter (PParams era) UnitInterval Source #

Decentralization parameter getter

default ppDG ∷ ProtVerAtMost era 6 ⇒ SimpleGetter (PParams era) UnitInterval Source #

hkdExtraEntropyL ∷ (HKDFunctor f, ProtVerAtMost era 6) ⇒ Lens' (PParamsHKD f era) (HKD f Nonce) Source #

Extra entropy

hkdProtocolVersionL ∷ (HKDFunctor f, ProtVerAtMost era 8) ⇒ Lens' (PParamsHKD f era) (HKD f ProtVer) Source #

Protocol version

ppProtocolVersionL ∷ Lens' (PParams era) ProtVer Source #

default ppProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParams era) ProtVer Source #

ppuProtocolVersionL ∷ ProtVerAtMost era 8 ⇒ Lens' (PParamsUpdate era) (StrictMaybe ProtVer) Source #

PParamsUpdate Protocol version

hkdMinUTxOValueL ∷ HKDFunctor f ⇒ ProtVerAtMost era 4 ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

Minimum UTxO value

hkdMinPoolCostL ∷ HKDFunctor f ⇒ Lens' (PParamsHKD f era) (HKD f Coin) Source #

Minimum Stake Pool Cost

newtype PParams era Source #

Protocol parameters

Constructors

PParams (PParamsHKD Identity era)

Instances

Instances details

FromJSON (PParamsHKD Identity era) ⇒ FromJSON (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParams era) Source # parseJSONList ∷ Value → Parser [PParams era] Source # omittedField ∷ Maybe (PParams era) Source #
ToJSON (PParamsHKD Identity era) ⇒ ToJSON (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParams era → Value Source # toEncoding ∷ PParams era → Encoding Source # toJSONList ∷ [PParams era] → Value Source # toEncodingList ∷ [PParams era] → Encoding Source # omitField ∷ PParams era → Bool Source #
Generic (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParams era) ∷ Type → Type Source # Methods from ∷ PParams era → Rep (PParams era) x Source # to ∷ Rep (PParams era) x → PParams era Source #
Show (PParamsHKD Identity era) ⇒ Show (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParams era → ShowS Source # show ∷ PParams era → String Source # showList ∷ [PParams era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD Identity era)) ⇒ FromCBOR (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParams era) Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD Identity era)) ⇒ ToCBOR (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD Identity era)) ⇒ DecCBOR (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParams era) Source # dropCBOR ∷ Proxy (PParams era) → Decoder s () Source # label ∷ Proxy (PParams era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD Identity era)) ⇒ EncCBOR (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParams era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParams era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParams era] → Size Source #
EraPParams era ⇒ Default (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParams era Source #
NFData (PParamsHKD Identity era) ⇒ NFData (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParams era → () Source #
Eq (PParamsHKD Identity era) ⇒ Eq (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParams era → PParams era → Bool Source # (/=) ∷ PParams era → PParams era → Bool Source #
Ord (PParamsHKD Identity era) ⇒ Ord (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParams era → PParams era → Ordering Source # (<) ∷ PParams era → PParams era → Bool Source # (<=) ∷ PParams era → PParams era → Bool Source # (>) ∷ PParams era → PParams era → Bool Source # (>=) ∷ PParams era → PParams era → Bool Source # max ∷ PParams era → PParams era → PParams era Source # min ∷ PParams era → PParams era → PParams era Source #
NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParams era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParams era) → String Source #
type Rep (PParams era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era))))

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

newtype PParamsUpdate era Source #

The type of updates to Protocol parameters

Constructors

PParamsUpdate (PParamsHKD StrictMaybe era)

Instances

Instances details

FromJSON (PParamsHKD StrictMaybe era) ⇒ FromJSON (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods parseJSON ∷ Value → Parser (PParamsUpdate era) Source # parseJSONList ∷ Value → Parser [PParamsUpdate era] Source # omittedField ∷ Maybe (PParamsUpdate era) Source #
ToJSON (PParamsHKD StrictMaybe era) ⇒ ToJSON (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods toJSON ∷ PParamsUpdate era → Value Source # toEncoding ∷ PParamsUpdate era → Encoding Source # toJSONList ∷ [PParamsUpdate era] → Value Source # toEncodingList ∷ [PParamsUpdate era] → Encoding Source # omitField ∷ PParamsUpdate era → Bool Source #
Generic (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParamsUpdate era) ∷ Type → Type Source # Methods from ∷ PParamsUpdate era → Rep (PParamsUpdate era) x Source # to ∷ Rep (PParamsUpdate era) x → PParamsUpdate era Source #
Show (PParamsHKD StrictMaybe era) ⇒ Show (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParamsUpdate era → ShowS Source # show ∷ PParamsUpdate era → String Source # showList ∷ [PParamsUpdate era] → ShowS Source #
(Typeable era, FromCBOR (PParamsHKD StrictMaybe era)) ⇒ FromCBOR (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) ⇒ ToCBOR (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
(Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) ⇒ DecCBOR (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods decCBOR ∷ Decoder s (PParamsUpdate era) Source # dropCBOR ∷ Proxy (PParamsUpdate era) → Decoder s () Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
(Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) ⇒ EncCBOR (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods encCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
EraPParams era ⇒ Default (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParamsUpdate era Source #
NFData (PParamsHKD StrictMaybe era) ⇒ NFData (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParamsUpdate era → () Source #
Eq (PParamsHKD StrictMaybe era) ⇒ Eq (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (/=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source #
Ord (PParamsHKD StrictMaybe era) ⇒ Ord (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParamsUpdate era → PParamsUpdate era → Ordering Source # (<) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (<=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # (>=) ∷ PParamsUpdate era → PParamsUpdate era → Bool Source # max ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source # min ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era Source #
NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (PParamsUpdate era) → String Source #
type Rep (PParamsUpdate era) Source #
Instance details Defined in Cardano.Ledger.Core.PParams type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era))))

emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era Source #

genericApplyPPUpdates ∷ ∀ era a u. (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 Source #

PParams lens

ppMinFeeAL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin Source #

The linear factor for the minimum fee calculation

ppMinFeeBL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin Source #

The constant factor for the minimum fee calculation

ppMaxBBSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal block body size

ppMaxTxSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word32 Source #

Maximal transaction size

ppMaxBHSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word16 Source #

Maximal block header size

ppKeyDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a key registration deposit

ppPoolDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin Source #

The amount of a pool registration deposit

ppEMaxL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) EpochInterval Source #

epoch bound on pool retirement

ppNOptL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Word16 Source #

Desired number of pools

ppA0L ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval Source #

Pool influence

ppRhoL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Monetary expansion

ppTauL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) UnitInterval Source #

Treasury expansion

ppDL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval Source #

Decentralization parameter

ppExtraEntropyL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) Nonce Source #

Extra entropy

ppMinUTxOValueL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin Source #

Minimum UTxO value

ppMinPoolCostL ∷ ∀ era. EraPParams era ⇒ Lens' (PParams era) Coin Source #

Minimum Stake Pool Cost

PParamsUpdate lens

ppuMinFeeAL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The linear factor for the minimum fee calculation

ppuMinFeeBL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The constant factor for the minimum fee calculation

ppuMaxBBSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal block body size

ppuMaxTxSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32) Source #

Maximal transaction size

ppuMaxBHSizeL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

Maximal block header size

ppuKeyDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a key registration deposit

ppuPoolDepositL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

The amount of a pool registration deposit

ppuEMaxL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval) Source #

epoch bound on pool retirement

ppuNOptL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

Desired number of pools

ppuA0L ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval) Source #

Pool influence

ppuRhoL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Monetary expansion

ppuTauL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Treasury expansion

ppuDL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval) Source #

Decentralization parameter

ppuExtraEntropyL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce) Source #

Extra entropy

ppuMinUTxOValueL ∷ ∀ era. (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum UTxO value

ppuMinPoolCostL ∷ ∀ era. EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin) Source #

Minimum Stake Pool Cost

Utility

ppLens ∷ Lens' (PParams era) (PParamsHKD Identity era) Source #

ppuLens ∷ Lens' (PParamsUpdate era) (PParamsHKD StrictMaybe era) Source #

mapPParams ∷ (PParamsHKD Identity era1 → PParamsHKD Identity era2) → PParams era1 → PParams era2 Source #

mapPParamsUpdate ∷ (PParamsHKD StrictMaybe era1 → PParamsHKD StrictMaybe era2) → PParamsUpdate era1 → PParamsUpdate era2 Source #

upgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams Identity era → PParams (PreviousEra era) → PParams era Source #

downgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams Identity era → PParams era → PParams (PreviousEra era) Source #

upgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → PParamsUpdate (PreviousEra era) → PParamsUpdate era Source #

downgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams StrictMaybe era → PParamsUpdate era → PParamsUpdate (PreviousEra era) Source #

PParamsUpdate to Data

data PParam era where Source #

Pair the tag, and exisitenially hide the type of the lens for the field with that Lens'

Constructors

PParam ∷ ToPlutusData t ⇒ Word → Lens' (PParamsUpdate era) (StrictMaybe t) → PParam era

makePParamMap ∷ [PParam era] → Map Word (PParam era) Source #

Turn a list into a Map, this assures we have no duplicates.

type family PreviousEra era = (r ∷ Type) | r → era Source #

Map an era to its predecessor.

For example:

type instance PreviousEra (AllegraEra c) = ShelleyEra c

Instances

Instances details

type PreviousEra ByronEra Source #
Instance details Defined in Cardano.Ledger.Core.Era type PreviousEra ByronEra

type family TranslationContext era ∷ Type Source #

Per-era context used for TranslateEra.

This context will be passed to the translation instances of all types of that particular era. In practice, most instances won't need the context, but this approach makes the translation composable (as opposed to having a separate context per type).

type family TranslationError era f ∷ Type Source #

Most translations should be infallible (default instance), but we leave the door open for partial translations.

For a partial translation, override the default type to be () or a concrete error type.

class (Era era, Era (PreviousEra era)) ⇒ TranslateEra era f Source #

Translation of types between eras, e.g., from Shelley to Allegra.

When era is just a phantom type parameter, an empty standalone deriving can be used:

newtype Foo era = Foo Int

instance TranslateEra AllegraEra Foo

Note that one could use DerivingAnyClass (deriving (TranslateEra (Allegra c))), but this would introduce an undesired coupling between the era-parametric type and (a) particular era(s). The intention is to have a module with orphan instances per era.

In most cases, the era parameter won't be phantom, and a manual instance will have to be written:

newtype Bar era = Bar (TxBody era)

instance TranslateEra AllegraEra Bar where
    translateEra ctxt = Bar <$> translateEra ctxt

-- With the following instance being in scope:
instance TranslatEra AllegraEra TxBody

Note: we use PreviousEra instead of NextEra as an era definitely knows its predecessor, but not necessarily its successor. Moreover, one could argue that it makes more sense to define the translation from era A to era B where era B is defined, than where era A is defined.

translateEra ∷ TranslateEra era f ⇒ TranslationContext era → f (PreviousEra era) → Except (TranslationError era f) (f era) Source #

Translate a type f parameterised by the era from an era to the era after it.

The translation is a given the translation context of era.

A default instance is provided for when the two types are Coercible.

translateEraMaybe ∷ (TranslateEra era f, TranslationError era f ~ ()) ⇒ TranslationContext era → f (PreviousEra era) → Maybe (f era) Source #

Variant of translateEra for when TranslationError is (), converting the result to a Maybe.

translateEra' ∷ (TranslateEra era f, TranslationError era f ~ Void) ⇒ TranslationContext era → f (PreviousEra era) → f era Source #

Variant of translateEra for when TranslationError is Void and the translation thus cannot fail.

translateEraThroughCBOR Source #

Arguments

∷ ∀ era ti to. (Era era, ToCBOR (ti (PreviousEra era)), DecCBOR (Annotator (to era)))
⇒ Text	Label for error reporting
→ ti (PreviousEra era)
→ Except DecoderError (to era)

Translate a type through its binary representation from previous era to the current one.