Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Core

Synopsis

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
newtype Withdrawals = Withdrawals {
- unWithdrawals ∷ Map RewardAccount Coin
}
class EraTxCert era ⇒ ShelleyEraTxCert era where
- mkRegTxCert ∷ StakeCredential → TxCert era
- getRegTxCert ∷ TxCert era → Maybe StakeCredential
- mkUnRegTxCert ∷ StakeCredential → TxCert era
- getUnRegTxCert ∷ TxCert era → Maybe StakeCredential
- mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert era
- getDelegStakeTxCert ∷ TxCert era → Maybe (StakeCredential, KeyHash 'StakePool)
- mkGenesisDelegTxCert ∷ ProtVerAtMost era 8 ⇒ GenesisDelegCert → TxCert era
- getGenesisDelegTxCert ∷ ProtVerAtMost era 8 ⇒ TxCert era → Maybe GenesisDelegCert
- mkMirTxCert ∷ ProtVerAtMost era 8 ⇒ MIRCert → TxCert era
- getMirTxCert ∷ ProtVerAtMost era 8 ⇒ TxCert era → Maybe MIRCert
pattern MirTxCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ MIRCert → TxCert era
data MIRCert = MIRCert {
- mirPot ∷ !MIRPot
- mirRewards ∷ !MIRTarget
}
data MIRPot
- = ReservesMIR
- | TreasuryMIR
data MIRTarget
- = StakeAddressesMIR !(Map (Credential 'Staking) DeltaCoin)
- | SendToOppositePotMIR !Coin
pattern GenesisDelegTxCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era
pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era
pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era
pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → KeyHash 'StakePool → TxCert era
class (KnownNat (SizeHash h), Typeable h) ⇒ HashAlgorithm h
data Hash h a
txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId
txIdTx ∷ EraTx era ⇒ Tx era → TxId
bBodySize ∷ EraSegWits era ⇒ ProtVer → TxSeq era → Int
hashScript ∷ 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]
hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → TxAuxDataHash
mkCoinTxOut ∷ EraTxOut era ⇒ Addr → Coin → TxOut era
isAdaOnlyTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) Bool
compactCoinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) (CompactForm Coin)
coinTxOutL ∷ (HasCallStack, EraTxOut era) ⇒ Lens' (TxOut era) Coin
bootAddrTxOutF ∷ EraTxOut era ⇒ SimpleGetter (TxOut era) (Maybe BootstrapAddress)
type family TxUpgradeError era
type family Tx era = (r ∷ Type) | r → era
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
- 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 ∷ Tx (PreviousEra era) → Either (TxUpgradeError era) (Tx era)
type family TxBodyUpgradeError era
type family TxBody era = (r ∷ Type) | r → era
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
- 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 ∷ TxBody (PreviousEra era) → Either (TxBodyUpgradeError era) (TxBody era)
type family TxOut era = (r ∷ Type) | r → era
class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (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), MemPack (TxOut era), EraPParams era) ⇒ EraTxOut era where
- type TxOut era = (r ∷ Type) | r → era
- mkBasicTxOut ∷ Addr → Value era → TxOut era
- upgradeTxOut ∷ TxOut (PreviousEra era) → TxOut era
- valueTxOutL ∷ Lens' (TxOut era) (Value era)
- compactValueTxOutL ∷ 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
type family Value era
type family TxAuxData era = (r ∷ Type) | r → era
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 ∷ TxAuxData (PreviousEra era) → TxAuxData era
- validateTxAuxData ∷ ProtVer → TxAuxData era → Bool
type family TxWits era = (r ∷ Type) | r → era
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 ∷ TxWits (PreviousEra era) → TxWits era
type family NativeScript era = (r ∷ Type) | r → era
type family Script era = (r ∷ Type) | r → 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 ∷ Script (PreviousEra era) → Script era
- scriptPrefixTag ∷ Script era → ByteString
- getNativeScript ∷ Script era → Maybe (NativeScript era)
- fromNativeScript ∷ NativeScript era → Script era
type family TxSeq era = (r ∷ Type) | r → era
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
isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool
poolCertKeyHashWitness ∷ PoolCert → KeyHash 'Witness
getPoolCertTxCert ∷ EraTxCert era ⇒ TxCert era → Maybe PoolCert
pattern RegPoolTxCert ∷ EraTxCert era ⇒ PoolParams → TxCert era
pattern RetirePoolTxCert ∷ EraTxCert era ⇒ KeyHash 'StakePool → EpochNo → TxCert era
type family TxCertUpgradeError era
type family TxCert era = (r ∷ Type) | r → era
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
- upgradeTxCert ∷ 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
data PoolCert
- = RegPool !PoolParams
- | RetirePool !(KeyHash 'StakePool) !EpochNo
data RewardType
- = MemberReward
- | LeaderReward
data Reward = Reward {
- rewardType ∷ !RewardType
- rewardPool ∷ !(KeyHash 'StakePool)
- rewardAmount ∷ !Coin
}
makePParamMap ∷ [PParam era] → Map Word (PParam era)
downgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams StrictMaybe era → PParamsUpdate era → PParamsUpdate (PreviousEra era)
upgradePParamsUpdate ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams StrictMaybe era → PParamsUpdate (PreviousEra era) → PParamsUpdate era
downgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ DowngradePParams Identity era → PParams era → PParams (PreviousEra era)
upgradePParams ∷ (EraPParams era, EraPParams (PreviousEra era)) ⇒ UpgradePParams Identity era → PParams (PreviousEra era) → PParams era
mapPParamsUpdate ∷ (PParamsHKD StrictMaybe era1 → PParamsHKD StrictMaybe era2) → PParamsUpdate era1 → PParamsUpdate era2
mapPParams ∷ (PParamsHKD Identity era1 → PParamsHKD Identity era2) → PParams era1 → PParams era2
ppuMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe Nonce)
ppuDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuTauL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuRhoL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe UnitInterval)
ppuA0L ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe NonNegativeInterval)
ppuNOptL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuEMaxL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe EpochInterval)
ppuPoolDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuKeyDepositL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16)
ppuMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word32)
ppuMinFeeBL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppuMinFeeAL ∷ EraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Coin)
ppMinPoolCostL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMinUTxOValueL ∷ (EraPParams era, ProtVerAtMost era 4) ⇒ Lens' (PParams era) Coin
ppExtraEntropyL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) Nonce
ppDL ∷ (EraPParams era, ProtVerAtMost era 6) ⇒ Lens' (PParams era) UnitInterval
ppTauL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppRhoL ∷ EraPParams era ⇒ Lens' (PParams era) UnitInterval
ppA0L ∷ EraPParams era ⇒ Lens' (PParams era) NonNegativeInterval
ppNOptL ∷ EraPParams era ⇒ Lens' (PParams era) Word16
ppEMaxL ∷ EraPParams era ⇒ Lens' (PParams era) EpochInterval
ppPoolDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppKeyDepositL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMaxBHSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word16
ppMaxTxSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppMaxBBSizeL ∷ EraPParams era ⇒ Lens' (PParams era) Word32
ppMinFeeBL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppMinFeeAL ∷ EraPParams era ⇒ Lens' (PParams era) Coin
ppuLens ∷ Lens' (PParamsUpdate era) (PParamsHKD StrictMaybe era)
ppLens ∷ Lens' (PParams era) (PParamsHKD Identity era)
emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era
emptyPParams ∷ EraPParams era ⇒ PParams era
genericApplyPPUpdates ∷ (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
newtype PParams era = PParams (PParamsHKD Identity era)
newtype PParamsUpdate era = PParamsUpdate (PParamsHKD StrictMaybe era)
type family DowngradePParams (f ∷ Type → Type) era
type family UpgradePParams (f ∷ Type → Type) era
type family PParamsHKD (f ∷ Type → Type) era = (r ∷ Type) | r → era
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 DowngradePParams (f ∷ Type → Type) era
- applyPPUpdates ∷ PParams era → PParamsUpdate era → PParams era
- ppDG ∷ SimpleGetter (PParams era) UnitInterval
- ppProtocolVersionL ∷ Lens' (PParams era) ProtVer
- ppuProtocolVersionL ∷ Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
data PParam era where
- PParam ∷ ∀ t era. ToPlutusData t ⇒ Word → Lens' (PParamsUpdate era) (StrictMaybe t) → PParam era
castSafeHash ∷ SafeHash i → SafeHash j
extractHash ∷ SafeHash i → Hash HASH i
fromVRFVerKeyHash ∷ ∀ (r ∷ KeyRoleVRF) v. VRFVerKeyHash r → Hash HASH (VerKeyVRF v)
toVRFVerKeyHash ∷ ∀ v (r ∷ KeyRoleVRF). Hash HASH (VerKeyVRF v) → VRFVerKeyHash r
hashTxBodySignature ∷ SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → Hash HASH (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))
hashKey ∷ ∀ (kd ∷ KeyRole). VKey kd → KeyHash kd
type HASH = Blake2b_256
type ADDRHASH = Blake2b_224
data EraIndependentTxBody
data EraIndependentBlockHeader
data EraIndependentBlockBody
data EraIndependentMetadata
data EraIndependentTxAuxData
data EraIndependentScript
data EraIndependentData
type DataHash = SafeHash EraIndependentData
data EraIndependentScriptData
data EraIndependentPParamView
data EraIndependentScriptIntegrity
newtype KeyHash (r ∷ KeyRole) = KeyHash {
- unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)
}
newtype ScriptHash = ScriptHash (Hash ADDRHASH EraIndependentScript)
data KeyRoleVRF
- = StakePoolVRF
- | GenDelegVRF
- | BlockIssuerVRF
newtype VRFVerKeyHash (r ∷ KeyRoleVRF) = VRFVerKeyHash {
- unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF
}
newtype TxAuxDataHash = TxAuxDataHash {
- unTxAuxDataHash ∷ SafeHash EraIndependentTxAuxData
}
data SafeHash i
class SafeToHash t where
- originalBytes ∷ t → ByteString
- originalBytesSize ∷ t → Int
- makeHashWithExplicitProxys ∷ Proxy i → t → SafeHash i
class SafeToHash x ⇒ HashAnnotated x i | x → i where
- hashAnnotated ∷ x → SafeHash i
data KeyRole
- = Genesis
- | GenesisDelegate
- | Payment
- | Staking
- | StakePool
- | BlockIssuer
- | Witness
- | DRepRole
- | HotCommitteeRole
- | ColdCommitteeRole
translateEraThroughCBOR ∷ (Era era, ToCBOR (ti (PreviousEra era)), DecCBOR (Annotator (to era))) ⇒ Text → ti (PreviousEra era) → Except DecoderError (to 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
type family TranslationContext era
type family TranslationError era (f ∷ Type → TYPE LiftedRep)
class (Era era, Era (PreviousEra era)) ⇒ TranslateEra era (f ∷ Type → TYPE LiftedRep) where
- type TranslationError era (f ∷ Type → TYPE LiftedRep)
- translateEra ∷ TranslationContext era → f (PreviousEra era) → Except (TranslationError era f) (f era)
eraDecoder ∷ ∀ era t s. Era era ⇒ Decoder s t → Decoder s t
fromEraShareCBOR ∷ (Era era, DecShareCBOR t) ⇒ Decoder s t
fromEraCBOR ∷ (Era era, DecCBOR t) ⇒ Decoder s t
toEraCBOR ∷ (Era era, EncCBOR t) ⇒ t → Encoding
notSupportedInThisEraL ∷ HasCallStack ⇒ Lens' a b
notSupportedInThisEra ∷ HasCallStack ⇒ a
atMostEra ∷ AtMostEra eraName era ⇒ ()
atLeastEra ∷ AtLeastEra eraName era ⇒ ()
eraProtVersions ∷ Era era ⇒ [Version]
eraProtVerHigh ∷ Era era ⇒ Version
eraProtVerLow ∷ Era era ⇒ Version
absurdEraRule ∷ ∀ (rule ∷ Symbol) era a. VoidEraRule rule era → a
type family ProtVerHigh era ∷ Nat
type family ProtVerLow era ∷ Nat
type family PreviousEra era = (r ∷ Type) | r → 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
class EraRuleFailure rule era ~ PredicateFailure (EraRule rule era) ⇒ InjectRuleFailure (rule ∷ Symbol) (t ∷ Type → TYPE LiftedRep) era where
- injectFailure ∷ t era → EraRuleFailure rule era
class EraRuleEvent rule era ~ Event (EraRule rule era) ⇒ InjectRuleEvent (rule ∷ Symbol) (t ∷ Type → TYPE LiftedRep) era where
- injectEvent ∷ t era → EraRuleEvent rule era
type family ProtVerAtLeast era (l ∷ Nat) where ...
type family ProtVerAtMost era (h ∷ Nat) where ...
type ProtVerInBounds era (l ∷ Nat) (h ∷ Nat) = (ProtVerAtLeast era l, ProtVerAtMost era h)
type ExactEra inEra era = ProtVerInBounds era (ProtVerLow inEra) (ProtVerHigh inEra)
type AtLeastEra atLeastEra era = ProtVerAtLeast era (ProtVerLow atLeastEra)
type AtMostEra eraMostEra era = ProtVerAtMost era (ProtVerHigh eraMostEra)
module Cardano.Ledger.Shelley.Governance

Documentation

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #

Instances

Instances details

ShelleyEraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

newtype Withdrawals Source #

This is called wdrl in the spec.

Constructors

Withdrawals
Fields unWithdrawals ∷ Map RewardAccount Coin

Instances

Instances details

Generic Withdrawals
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep Withdrawals ∷ Type → Type # Methods from ∷ Withdrawals → Rep Withdrawals x # to ∷ Rep Withdrawals x → Withdrawals #
Show Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals → ShowS # show ∷ Withdrawals → String # showList ∷ [Withdrawals] → ShowS #
DecCBOR Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods decCBOR ∷ Decoder s Withdrawals Source # dropCBOR ∷ Proxy Withdrawals → Decoder s () Source # label ∷ Proxy Withdrawals → Text Source #
EncCBOR Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods encCBOR ∷ Withdrawals → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Withdrawals → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals] → Size Source #
NFData Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals → () #
Eq Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods (==) ∷ Withdrawals → Withdrawals → Bool # (/=) ∷ Withdrawals → Withdrawals → Bool #
NoThunks Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods noThunks ∷ Context → Withdrawals → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Withdrawals → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Withdrawals → String Source #
type Rep Withdrawals
Instance details Defined in Cardano.Ledger.Address type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

class EraTxCert era ⇒ ShelleyEraTxCert era where Source #

Methods

mkRegTxCert ∷ StakeCredential → TxCert era Source #

getRegTxCert ∷ TxCert era → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert era Source #

getUnRegTxCert ∷ TxCert era → Maybe StakeCredential Source #

mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert era Source #

getDelegStakeTxCert ∷ TxCert era → Maybe (StakeCredential, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ ProtVerAtMost era 8 ⇒ GenesisDelegCert → TxCert era Source #

getGenesisDelegTxCert ∷ ProtVerAtMost era 8 ⇒ TxCert era → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ ProtVerAtMost era 8 ⇒ MIRCert → TxCert era Source #

getMirTxCert ∷ ProtVerAtMost era 8 ⇒ TxCert era → Maybe MIRCert Source #

Instances

Instances details

ShelleyEraTxCert ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkUnRegTxCert ∷ StakeCredential → TxCert ShelleyEra Source #

getUnRegTxCert ∷ TxCert ShelleyEra → Maybe StakeCredential Source #

mkDelegStakeTxCert ∷ StakeCredential → KeyHash 'StakePool → TxCert ShelleyEra Source #

getDelegStakeTxCert ∷ TxCert ShelleyEra → Maybe (StakeCredential, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert ShelleyEra Source #

getGenesisDelegTxCert ∷ TxCert ShelleyEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert ShelleyEra Source #

getMirTxCert ∷ TxCert ShelleyEra → Maybe MIRCert Source #

pattern MirTxCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ MIRCert → TxCert era Source #

data MIRCert Source #

Move instantaneous rewards certificate

Constructors

MIRCert
Fields mirPot ∷ !MIRPot mirRewards ∷ !MIRTarget

Instances

Instances details

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

data MIRPot Source #

Constructors

ReservesMIR
TreasuryMIR

Instances

Instances details

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

data MIRTarget Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Constructors

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

Instances

Instances details

ToJSON MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON ∷ MIRTarget → Value Source # toEncoding ∷ MIRTarget → Encoding Source # toJSONList ∷ [MIRTarget] → Value Source # toEncodingList ∷ [MIRTarget] → Encoding Source # omitField ∷ MIRTarget → Bool Source #
Generic MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Associated Types type Rep MIRTarget ∷ Type → Type # Methods from ∷ MIRTarget → Rep MIRTarget x # to ∷ Rep MIRTarget x → MIRTarget #
Show MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods showsPrec ∷ Int → MIRTarget → ShowS # show ∷ MIRTarget → String # showList ∷ [MIRTarget] → ShowS #
DecCBOR MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods decCBOR ∷ Decoder s MIRTarget Source # dropCBOR ∷ Proxy MIRTarget → Decoder s () Source # label ∷ Proxy MIRTarget → Text Source #
EncCBOR MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods encCBOR ∷ MIRTarget → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MIRTarget → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRTarget] → Size Source #
NFData MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods rnf ∷ MIRTarget → () #
Eq MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods (==) ∷ MIRTarget → MIRTarget → Bool # (/=) ∷ MIRTarget → MIRTarget → Bool #
Ord MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods compare ∷ MIRTarget → MIRTarget → Ordering # (<) ∷ MIRTarget → MIRTarget → Bool # (<=) ∷ MIRTarget → MIRTarget → Bool # (>) ∷ MIRTarget → MIRTarget → Bool # (>=) ∷ MIRTarget → MIRTarget → Bool # max ∷ MIRTarget → MIRTarget → MIRTarget # min ∷ MIRTarget → MIRTarget → MIRTarget #
NoThunks MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks ∷ Context → MIRTarget → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MIRTarget → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy MIRTarget → String Source #
type Rep MIRTarget Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRTarget = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

pattern GenesisDelegTxCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ KeyHash 'Genesis → KeyHash 'GenesisDelegate → VRFVerKeyHash 'GenDelegVRF → TxCert era Source #

pattern RegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era Source #

pattern UnRegTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → TxCert era Source #

pattern DelegStakeTxCert ∷ ShelleyEraTxCert era ⇒ StakeCredential → KeyHash 'StakePool → TxCert era Source #

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)) #
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 #
Generic (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Associated Types type Rep (Hash h a) ∷ Type → Type # Methods from ∷ Hash h a → Rep (Hash h a) x # to ∷ Rep (Hash h a) x → Hash h a #
HashAlgorithm h ⇒ Read (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods readsPrec ∷ Int → ReadS (Hash h a) # readList ∷ ReadS [Hash h a] # readPrec ∷ ReadPrec (Hash h a) # readListPrec ∷ ReadPrec [Hash h a] #
Show (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods showsPrec ∷ Int → Hash h a → ShowS # show ∷ Hash h a → String # showList ∷ [Hash h a] → ShowS #
(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 #
(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)	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 #
NFData (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods rnf ∷ Hash h a → () #
Eq (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods (==) ∷ Hash h a → Hash h a → Bool # (/=) ∷ Hash h a → Hash h a → Bool #
Ord (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods compare ∷ Hash h a → Hash h a → Ordering # (<) ∷ Hash h a → Hash h a → Bool # (<=) ∷ Hash h a → Hash h a → Bool # (>) ∷ Hash h a → Hash h a → Bool # (>=) ∷ Hash h a → Hash h a → Bool # max ∷ Hash h a → Hash h a → Hash h a # min ∷ Hash h a → Hash h a → Hash h a #
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) #
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-23f62f43b5ff9b1ea2de52a5d5b93b2bcb91ce88174fddbcca6d93648313d72b" 'True) (C1 ('MetaCons "UnsafeHashRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PackedBytes (SizeHash h)))))

txIdTxBody ∷ EraTxBody era ⇒ TxBody era → TxId Source #

txIdTx ∷ EraTx era ⇒ Tx era → TxId Source #

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

hashScript ∷ 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.

hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → TxAuxDataHash Source #

Compute a hash of TxAuxData

mkCoinTxOut ∷ EraTxOut era ⇒ Addr → Coin → TxOut era 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.

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

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

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

type family TxUpgradeError era Source #

Instances

Instances details

type TxUpgradeError ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type TxUpgradeError ShelleyEra = Void

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

Instances

Instances details

type Tx ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Tx ShelleyEra = ShelleyTx ShelleyEra

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 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 ∷ Tx (PreviousEra era) → Either (TxUpgradeError era) (Tx era) Source #

Instances

Instances details

EraTx ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Tx.Internal

Associated Types

type Tx ShelleyEra = (r ∷ Type) Source #

type TxUpgradeError ShelleyEra Source #

Methods

mkBasicTx ∷ TxBody ShelleyEra → Tx ShelleyEra Source #

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

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

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

sizeTxF ∷ SimpleGetter (Tx ShelleyEra) Integer Source #

wireSizeTxF ∷ SimpleGetter (Tx ShelleyEra) Word32 Source #

validateNativeScript ∷ Tx ShelleyEra → NativeScript ShelleyEra → Bool Source #

getMinFeeTx ∷ PParams ShelleyEra → Tx ShelleyEra → Int → Coin Source #

upgradeTx ∷ Tx (PreviousEra ShelleyEra) → Either (TxUpgradeError ShelleyEra) (Tx ShelleyEra) Source #

type family TxBodyUpgradeError era Source #

Instances

Instances details

type TxBodyUpgradeError ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBodyUpgradeError ShelleyEra = Void

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

The body of a transaction.

Instances

Instances details

type TxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type TxBody ShelleyEra = ShelleyTxBody ShelleyEra

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 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 ∷ 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.

Instances

Instances details

EraTxBody ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type TxBody ShelleyEra = (r ∷ Type) Source #

type TxBodyUpgradeError ShelleyEra Source #

Methods

mkBasicTxBody ∷ TxBody ShelleyEra Source #

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

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

feeTxBodyL ∷ Lens' (TxBody ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ Lens' (TxBody ShelleyEra) Withdrawals Source #

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

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

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

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

getTotalDepositsTxBody ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody ShelleyEra → Int Source #

upgradeTxBody ∷ TxBody (PreviousEra ShelleyEra) → Either (TxBodyUpgradeError ShelleyEra) (TxBody ShelleyEra) Source #

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

The output of a UTxO for a particular era

Instances

Instances details

type TxOut ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra

class (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (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), MemPack (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 ∷ Addr → Value era → TxOut era Source #

upgradeTxOut ∷ 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 ∷ 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.

Instances

Instances details

EraTxOut ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxOut

Associated Types

type TxOut ShelleyEra = (r ∷ Type) Source #

Methods

mkBasicTxOut ∷ Addr → Value ShelleyEra → TxOut ShelleyEra Source #

upgradeTxOut ∷ TxOut (PreviousEra ShelleyEra) → TxOut ShelleyEra Source #

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

compactValueTxOutL ∷ Lens' (TxOut ShelleyEra) (CompactForm (Value ShelleyEra)) Source #

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

addrTxOutL ∷ Lens' (TxOut ShelleyEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut ShelleyEra) CompactAddr Source #

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

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

getMinCoinTxOut ∷ PParams ShelleyEra → TxOut ShelleyEra → Coin Source #

type family Value era Source #

A value is something which quantifies a transaction output.

Instances

Instances details

type Value ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Era type Value ShelleyEra = Coin

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

Instances

Instances details

type TxAuxData ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

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

Instances

Instances details

EraTxAuxData ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra = (r ∷ Type) Source #

Methods

mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source #

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

upgradeTxAuxData ∷ TxAuxData (PreviousEra ShelleyEra) → TxAuxData ShelleyEra Source #

validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #

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

Instances

Instances details

type TxWits ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

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 ∷ TxWits (PreviousEra era) → TxWits era Source #

Instances

Instances details

EraTxWits ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type TxWits ShelleyEra = (r ∷ Type) Source #

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

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

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

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

upgradeTxWits ∷ TxWits (PreviousEra ShelleyEra) → TxWits ShelleyEra Source #

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

Instances

Instances details

type NativeScript ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type NativeScript ShelleyEra = MultiSig ShelleyEra

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

Scripts which may lock transaction outputs in this era

Instances

Instances details

type Script ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts type Script ShelleyEra = MultiSig ShelleyEra

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

Instances

Instances details

EraScript ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.Scripts

Associated Types

type Script ShelleyEra = (r ∷ Type) Source #

type NativeScript ShelleyEra = (r ∷ Type) Source #

Methods

upgradeScript ∷ Script (PreviousEra ShelleyEra) → Script ShelleyEra Source #

scriptPrefixTag ∷ Script ShelleyEra → ByteString Source #

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

fromNativeScript ∷ NativeScript ShelleyEra → Script ShelleyEra Source #

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

Instances

Instances details

type TxSeq ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain type TxSeq ShelleyEra = ShelleyTxSeq ShelleyEra

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

Instances

Instances details

EraSegWits ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockChain Associated Types type TxSeq ShelleyEra = (r ∷ Type) Source # Methods fromTxSeq ∷ TxSeq ShelleyEra → StrictSeq (Tx ShelleyEra) Source # toTxSeq ∷ StrictSeq (Tx ShelleyEra) → TxSeq ShelleyEra Source # hashTxSeq ∷ TxSeq ShelleyEra → Hash HASH EraIndependentBlockBody Source # numSegComponents ∷ Word64 Source #

isUnRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake un-registering certificate

isRegStakeTxCert ∷ EraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake registering certificate

poolCertKeyHashWitness ∷ PoolCert → KeyHash 'Witness Source #

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

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

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

type family TxCertUpgradeError era Source #

Instances

Instances details

type TxCertUpgradeError ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCertUpgradeError ShelleyEra = Void

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

Instances

Instances details

type TxCert ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxCert type TxCert ShelleyEra = ShelleyTxCert ShelleyEra

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

type TxCertUpgradeError era = Void

Methods

upgradeTxCert ∷ 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.

Instances

Instances details

EraTxCert ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert ShelleyEra = (r ∷ Type) Source #

type TxCertUpgradeError ShelleyEra Source #

Methods

upgradeTxCert ∷ TxCert (PreviousEra ShelleyEra) → Either (TxCertUpgradeError ShelleyEra) (TxCert ShelleyEra) Source #

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

getScriptWitnessTxCert ∷ TxCert ShelleyEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ PoolParams → TxCert ShelleyEra Source #

getRegPoolTxCert ∷ TxCert ShelleyEra → Maybe PoolParams Source #

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

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

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

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

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → f (TxCert ShelleyEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert ShelleyEra) → Coin 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
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
Instance details Defined in Cardano.Ledger.Core.TxCert Associated Types type Rep PoolCert ∷ Type → Type # Methods from ∷ PoolCert → Rep PoolCert x # to ∷ Rep PoolCert x → PoolCert #
Show PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods showsPrec ∷ Int → PoolCert → ShowS # show ∷ PoolCert → String # showList ∷ [PoolCert] → ShowS #
EncCBOR PoolCert
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
Instance details Defined in Cardano.Ledger.Core.TxCert Methods rnf ∷ PoolCert → () #
Eq PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods (==) ∷ PoolCert → PoolCert → Bool # (/=) ∷ PoolCert → PoolCert → Bool #
Ord PoolCert
Instance details Defined in Cardano.Ledger.Core.TxCert Methods compare ∷ PoolCert → PoolCert → Ordering # (<) ∷ PoolCert → PoolCert → Bool # (<=) ∷ PoolCert → PoolCert → Bool # (>) ∷ PoolCert → PoolCert → Bool # (>=) ∷ PoolCert → PoolCert → Bool # max ∷ PoolCert → PoolCert → PoolCert # min ∷ PoolCert → PoolCert → PoolCert #
NoThunks PoolCert
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
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 'DecidedUnpack) (Rec0 EpochNo)))

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
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
Instance details Defined in Cardano.Ledger.Rewards Methods minBound ∷ RewardType # maxBound ∷ RewardType #
Enum RewardType
Instance details Defined in Cardano.Ledger.Rewards Methods succ ∷ RewardType → RewardType # pred ∷ RewardType → RewardType # toEnum ∷ Int → RewardType # fromEnum ∷ RewardType → Int # enumFrom ∷ RewardType → [RewardType] # enumFromThen ∷ RewardType → RewardType → [RewardType] # enumFromTo ∷ RewardType → RewardType → [RewardType] # enumFromThenTo ∷ RewardType → RewardType → RewardType → [RewardType] #
Generic RewardType
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep RewardType ∷ Type → Type # Methods from ∷ RewardType → Rep RewardType x # to ∷ Rep RewardType x → RewardType #
Show RewardType
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → RewardType → ShowS # show ∷ RewardType → String # showList ∷ [RewardType] → ShowS #
DecCBOR RewardType
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
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
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ RewardType → () #
Eq RewardType
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ RewardType → RewardType → Bool # (/=) ∷ RewardType → RewardType → Bool #
Ord RewardType
Instance details Defined in Cardano.Ledger.Rewards Methods compare ∷ RewardType → RewardType → Ordering # (<) ∷ RewardType → RewardType → Bool # (<=) ∷ RewardType → RewardType → Bool # (>) ∷ RewardType → RewardType → Bool # (>=) ∷ RewardType → RewardType → Bool # max ∷ RewardType → RewardType → RewardType # min ∷ RewardType → RewardType → RewardType #
NoThunks RewardType
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
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
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
Instance details Defined in Cardano.Ledger.Rewards Associated Types type Rep Reward ∷ Type → Type # Methods from ∷ Reward → Rep Reward x # to ∷ Rep Reward x → Reward #
Show Reward
Instance details Defined in Cardano.Ledger.Rewards Methods showsPrec ∷ Int → Reward → ShowS # show ∷ Reward → String # showList ∷ [Reward] → ShowS #
DecCBOR Reward
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
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
Instance details Defined in Cardano.Ledger.Rewards Methods rnf ∷ Reward → () #
Eq Reward
Instance details Defined in Cardano.Ledger.Rewards Methods (==) ∷ Reward → Reward → Bool # (/=) ∷ Reward → Reward → Bool #
Ord Reward	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 # (<) ∷ Reward → Reward → Bool # (<=) ∷ Reward → Reward → Bool # (>) ∷ Reward → Reward → Bool # (>=) ∷ Reward → Reward → Bool # max ∷ Reward → Reward → Reward # min ∷ Reward → Reward → Reward #
NoThunks Reward
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
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))))

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

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

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

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

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

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

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

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

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

Minimum Stake Pool Cost

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

Minimum UTxO value

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

Extra entropy

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

Decentralization parameter

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

Treasury expansion

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

Monetary expansion

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

Pool influence

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

Desired number of pools

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

epoch bound on pool retirement

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

The amount of a pool registration deposit

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

The amount of a key registration deposit

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

Maximal block header size

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

Maximal transaction size

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

Maximal block body size

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

The constant factor for the minimum fee calculation

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

The linear factor for the minimum fee calculation

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

Minimum Stake Pool Cost

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

Minimum UTxO value

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

Extra entropy

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

Decentralization parameter

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

Treasury expansion

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

Monetary expansion

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

Pool influence

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

Desired number of pools

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

epoch bound on pool retirement

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

The amount of a pool registration deposit

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

The amount of a key registration deposit

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

Maximal block header size

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

Maximal transaction size

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

Maximal block body size

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

The constant factor for the minimum fee calculation

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

The linear factor for the minimum fee calculation

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

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

emptyPParamsUpdate ∷ EraPParams era ⇒ PParamsUpdate era Source #

emptyPParams ∷ EraPParams era ⇒ PParams era Source #

genericApplyPPUpdates ∷ (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 #

newtype PParams era Source #

Protocol parameters

Constructors

PParams (PParamsHKD Identity era)

Instances

Instances details

FromJSON (PParamsHKD Identity era) ⇒ FromJSON (PParams era)
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)
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)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParams era) ∷ Type → Type # Methods from ∷ PParams era → Rep (PParams era) x # to ∷ Rep (PParams era) x → PParams era #
Show (PParamsHKD Identity era) ⇒ Show (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParams era → ShowS # show ∷ PParams era → String # showList ∷ [PParams era] → ShowS #
(Typeable era, FromCBOR (PParamsHKD Identity era)) ⇒ FromCBOR (PParams era)
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)
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)
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)
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)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParams era Source #
NFData (PParamsHKD Identity era) ⇒ NFData (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParams era → () #
Eq (PParamsHKD Identity era) ⇒ Eq (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParams era → PParams era → Bool # (/=) ∷ PParams era → PParams era → Bool #
Ord (PParamsHKD Identity era) ⇒ Ord (PParams era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParams era → PParams era → Ordering # (<) ∷ PParams era → PParams era → Bool # (<=) ∷ PParams era → PParams era → Bool # (>) ∷ PParams era → PParams era → Bool # (>=) ∷ PParams era → PParams era → Bool # max ∷ PParams era → PParams era → PParams era # min ∷ PParams era → PParams era → PParams era #
NoThunks (PParamsHKD Identity era) ⇒ NoThunks (PParams era)
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)
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))))

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)
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)
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)
Instance details Defined in Cardano.Ledger.Core.PParams Associated Types type Rep (PParamsUpdate era) ∷ Type → Type # Methods from ∷ PParamsUpdate era → Rep (PParamsUpdate era) x # to ∷ Rep (PParamsUpdate era) x → PParamsUpdate era #
Show (PParamsHKD StrictMaybe era) ⇒ Show (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods showsPrec ∷ Int → PParamsUpdate era → ShowS # show ∷ PParamsUpdate era → String # showList ∷ [PParamsUpdate era] → ShowS #
(Typeable era, FromCBOR (PParamsHKD StrictMaybe era)) ⇒ FromCBOR (PParamsUpdate era)
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)
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)
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)
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)
Instance details Defined in Cardano.Ledger.Core.PParams Methods def ∷ PParamsUpdate era Source #
NFData (PParamsHKD StrictMaybe era) ⇒ NFData (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods rnf ∷ PParamsUpdate era → () #
Eq (PParamsHKD StrictMaybe era) ⇒ Eq (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods (==) ∷ PParamsUpdate era → PParamsUpdate era → Bool # (/=) ∷ PParamsUpdate era → PParamsUpdate era → Bool #
Ord (PParamsHKD StrictMaybe era) ⇒ Ord (PParamsUpdate era)
Instance details Defined in Cardano.Ledger.Core.PParams Methods compare ∷ PParamsUpdate era → PParamsUpdate era → Ordering # (<) ∷ PParamsUpdate era → PParamsUpdate era → Bool # (<=) ∷ PParamsUpdate era → PParamsUpdate era → Bool # (>) ∷ PParamsUpdate era → PParamsUpdate era → Bool # (>=) ∷ PParamsUpdate era → PParamsUpdate era → Bool # max ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era # min ∷ PParamsUpdate era → PParamsUpdate era → PParamsUpdate era #
NoThunks (PParamsHKD StrictMaybe era) ⇒ NoThunks (PParamsUpdate era)
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)
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))))

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

Instances

Instances details

type DowngradePParams f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type DowngradePParams f ShelleyEra = Void

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

Instances

Instances details

type UpgradePParams f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type UpgradePParams f ShelleyEra = Void

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

Protocol parameters where the fields are represented with a HKD

Instances

Instances details

type PParamsHKD f ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.PParams type PParamsHKD f ShelleyEra = ShelleyPParams f ShelleyEra

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

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

Methods

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

Applies a protocol parameters update

ppDG ∷ SimpleGetter (PParams era) UnitInterval Source #

Decentralization parameter getter

ppProtocolVersionL ∷ Lens' (PParams era) ProtVer Source #

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

PParamsUpdate Protocol version

Instances

Instances details

EraPParams ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.PParams

Associated Types

type PParamsHKD f ShelleyEra = (r ∷ Type) Source #

type UpgradePParams f ShelleyEra Source #

type DowngradePParams f ShelleyEra Source #

Methods

applyPPUpdates ∷ PParams ShelleyEra → PParamsUpdate ShelleyEra → PParams ShelleyEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity ShelleyEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe ShelleyEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra ShelleyEra)) ⇒ UpgradePParams f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) → PParamsHKD f ShelleyEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra ShelleyEra)) ⇒ DowngradePParams f ShelleyEra → PParamsHKD f ShelleyEra → PParamsHKD f (PreviousEra ShelleyEra) Source #

hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 6) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams ShelleyEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 6) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 8) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams ShelleyEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate ShelleyEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ProtVerAtMost ShelleyEra 4) ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f ShelleyEra) (HKD f Coin) Source #

data PParam era where Source #

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

Constructors

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

castSafeHash ∷ SafeHash i → SafeHash j Source #

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

extractHash ∷ SafeHash i → Hash HASH i Source #

Extract the hash out of a SafeHash

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

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

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

Hash a given signature

hashKey ∷ ∀ (kd ∷ KeyRole). VKey kd → KeyHash kd Source #

Hash a given public key

type HASH = Blake2b_256 Source #

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

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.

data EraIndependentTxBody Source #

Instances

Instances details

Era era ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ ShelleyTxBody era → SafeHash EraIndependentTxBody Source #

data EraIndependentBlockHeader Source #

data EraIndependentBlockBody Source #

data EraIndependentMetadata Source #

data EraIndependentTxAuxData Source #

Instances

Instances details

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

data EraIndependentScript Source #

data EraIndependentData Source #

type DataHash = SafeHash EraIndependentData Source #

data EraIndependentScriptData Source #

data EraIndependentPParamView Source #

data EraIndependentScriptIntegrity Source #

newtype KeyHash (r ∷ KeyRole) Source #

Discriminated hash of public Key

Constructors

KeyHash
Fields unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)

Instances

Instances details

HasKeyRole KeyHash
Instance details Defined in Cardano.Ledger.Hashes Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). KeyHash r → KeyHash r' Source #
FromJSON (KeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (KeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [KeyHash r] Source #
ToJSON (KeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (KeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [KeyHash r] Source #
Generic (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (KeyHash r) ∷ Type → Type # Methods from ∷ KeyHash r → Rep (KeyHash r) x # to ∷ Rep (KeyHash r) x → KeyHash r #
Show (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → KeyHash r → ShowS # show ∷ KeyHash r → String # showList ∷ [KeyHash r] → ShowS #
Typeable r ⇒ FromCBOR (KeyHash r)
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)
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)
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)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ KeyHash r Source #
NFData (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ KeyHash r → () #
Eq (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ KeyHash r → KeyHash r → Bool # (/=) ∷ KeyHash r → KeyHash r → Bool #
Ord (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ KeyHash r → KeyHash r → Ordering # (<) ∷ KeyHash r → KeyHash r → Bool # (<=) ∷ KeyHash r → KeyHash r → Bool # (>) ∷ KeyHash r → KeyHash r → Bool # (>=) ∷ KeyHash r → KeyHash r → Bool # max ∷ KeyHash r → KeyHash r → KeyHash r # min ∷ KeyHash r → KeyHash r → KeyHash r #
MemPack (KeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods typeName ∷ String Source # packedByteCount ∷ KeyHash r → Int Source # packM ∷ KeyHash r → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (KeyHash r) Source #
NoThunks (KeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))

newtype ScriptHash Source #

Constructors

ScriptHash (Hash ADDRHASH EraIndependentScript)

Instances

Instances details

FromJSON ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser ScriptHash Source # parseJSONList ∷ Value → Parser [ScriptHash] Source # omittedField ∷ Maybe ScriptHash Source #
FromJSONKey ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction ScriptHash Source # fromJSONKeyList ∷ FromJSONKeyFunction [ScriptHash] Source #
ToJSON ScriptHash
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
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction ScriptHash Source # toJSONKeyList ∷ ToJSONKeyFunction [ScriptHash] Source #
Generic ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep ScriptHash ∷ Type → Type # Methods from ∷ ScriptHash → Rep ScriptHash x # to ∷ Rep ScriptHash x → ScriptHash #
Show ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → ScriptHash → ShowS # show ∷ ScriptHash → String # showList ∷ [ScriptHash] → ShowS #
FromCBOR ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s ScriptHash Source # label ∷ Proxy ScriptHash → Text Source #
ToCBOR ScriptHash
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
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
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
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ ScriptHash → () #
Eq ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ ScriptHash → ScriptHash → Bool # (/=) ∷ ScriptHash → ScriptHash → Bool #
Ord ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ ScriptHash → ScriptHash → Ordering # (<) ∷ ScriptHash → ScriptHash → Bool # (<=) ∷ ScriptHash → ScriptHash → Bool # (>) ∷ ScriptHash → ScriptHash → Bool # (>=) ∷ ScriptHash → ScriptHash → Bool # max ∷ ScriptHash → ScriptHash → ScriptHash # min ∷ ScriptHash → ScriptHash → ScriptHash #
MemPack ScriptHash
Instance details Defined in Cardano.Ledger.Hashes Methods typeName ∷ String Source # packedByteCount ∷ ScriptHash → Int Source # packM ∷ ScriptHash → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b ScriptHash Source #
NoThunks ScriptHash
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
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))))

data KeyRoleVRF Source #

Constructors

StakePoolVRF
GenDelegVRF
BlockIssuerVRF

newtype VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

Discriminated hash of VRF Verification Key

Constructors

VRFVerKeyHash
Fields unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF

Instances

Instances details

FromJSON (VRFVerKeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (VRFVerKeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [VRFVerKeyHash r] Source #
ToJSON (VRFVerKeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (VRFVerKeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [VRFVerKeyHash r] Source #
Generic (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (VRFVerKeyHash r) ∷ Type → Type # Methods from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x # to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r #
Show (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → VRFVerKeyHash r → ShowS # show ∷ VRFVerKeyHash r → String # showList ∷ [VRFVerKeyHash r] → ShowS #
Typeable r ⇒ FromCBOR (VRFVerKeyHash r)
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)
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)
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)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ VRFVerKeyHash r Source #
NFData (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ VRFVerKeyHash r → () #
Eq (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #
Ord (VRFVerKeyHash r)
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering # (<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # (>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool # max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r # min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r #
NoThunks (VRFVerKeyHash r)
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)
Instance details Defined in Cardano.Ledger.Hashes type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)

newtype TxAuxDataHash Source #

Constructors

TxAuxDataHash
Fields unTxAuxDataHash ∷ SafeHash EraIndependentTxAuxData

Instances

Instances details

ToJSON TxAuxDataHash
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
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep TxAuxDataHash ∷ Type → Type # Methods from ∷ TxAuxDataHash → Rep TxAuxDataHash x # to ∷ Rep TxAuxDataHash x → TxAuxDataHash #
Show TxAuxDataHash
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → TxAuxDataHash → ShowS # show ∷ TxAuxDataHash → String # showList ∷ [TxAuxDataHash] → ShowS #
DecCBOR TxAuxDataHash
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
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
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ TxAuxDataHash → () #
Eq TxAuxDataHash
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ TxAuxDataHash → TxAuxDataHash → Bool # (/=) ∷ TxAuxDataHash → TxAuxDataHash → Bool #
Ord TxAuxDataHash
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ TxAuxDataHash → TxAuxDataHash → Ordering # (<) ∷ TxAuxDataHash → TxAuxDataHash → Bool # (<=) ∷ TxAuxDataHash → TxAuxDataHash → Bool # (>) ∷ TxAuxDataHash → TxAuxDataHash → Bool # (>=) ∷ TxAuxDataHash → TxAuxDataHash → Bool # max ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash # min ∷ TxAuxDataHash → TxAuxDataHash → TxAuxDataHash #
NoThunks TxAuxDataHash
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
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))))

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)
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)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → SafeHash i → ShowS # show ∷ SafeHash i → String # showList ∷ [SafeHash i] → ShowS #
Typeable i ⇒ FromCBOR (SafeHash i)
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)
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)
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)
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)
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)
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ SafeHash i Source #
NFData (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ SafeHash i → () #
Eq (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ SafeHash i → SafeHash i → Bool # (/=) ∷ SafeHash i → SafeHash i → Bool #
Ord (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ SafeHash i → SafeHash i → Ordering # (<) ∷ SafeHash i → SafeHash i → Bool # (<=) ∷ SafeHash i → SafeHash i → Bool # (>) ∷ SafeHash i → SafeHash i → Bool # (>=) ∷ SafeHash i → SafeHash i → Bool # max ∷ SafeHash i → SafeHash i → SafeHash i # min ∷ SafeHash i → SafeHash i → SafeHash i #
HeapWords (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods heapWords ∷ SafeHash i → Int Source #
MemPack (SafeHash i)
Instance details Defined in Cardano.Ledger.Hashes Methods typeName ∷ String Source # packedByteCount ∷ SafeHash i → Int Source # packM ∷ SafeHash i → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (SafeHash i) Source #
NoThunks (SafeHash i)
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 #

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
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
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
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
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)
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 (Plutus l)
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 #
SafeToHash (MultiSig era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods originalBytes ∷ MultiSig era → ByteString Source # originalBytesSize ∷ MultiSig era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → MultiSig era → SafeHash i Source #
SafeToHash (ShelleyTx era) Source #
Instance details Defined in