Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.TreeDiff

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.TreeDiff

Orphan instances

ToExpr Obligations Source #
Instance details Methods toExpr ∷ Obligations → Expr Source # listToExpr ∷ [Obligations] → Expr Source #
ToExpr Metadatum Source #
Instance details Methods toExpr ∷ Metadatum → Expr Source # listToExpr ∷ [Metadatum] → Expr Source #
ToExpr Reward Source #
Instance details Methods toExpr ∷ Reward → Expr Source # listToExpr ∷ [Reward] → Expr Source #
ToExpr RewardType Source #
Instance details Methods toExpr ∷ RewardType → Expr Source # listToExpr ∷ [RewardType] → Expr Source #
ToExpr AdaPots Source #
Instance details Methods toExpr ∷ AdaPots → Expr Source # listToExpr ∷ [AdaPots] → Expr Source #
ToExpr AccountState Source #
Instance details Methods toExpr ∷ AccountState → Expr Source # listToExpr ∷ [AccountState] → Expr Source #
ToExpr IncrementalStake Source #
Instance details Methods toExpr ∷ IncrementalStake → Expr Source # listToExpr ∷ [IncrementalStake] → Expr Source #
ToExpr Likelihood Source #
Instance details Methods toExpr ∷ Likelihood → Expr Source # listToExpr ∷ [Likelihood] → Expr Source #
ToExpr LogWeight Source #
Instance details Methods toExpr ∷ LogWeight → Expr Source # listToExpr ∷ [LogWeight] → Expr Source #
ToExpr NonMyopic Source #
Instance details Methods toExpr ∷ NonMyopic → Expr Source # listToExpr ∷ [NonMyopic] → Expr Source #
ToExpr PulsingRewUpdate Source #	You really don't want to see what is inside this.
Instance details Methods toExpr ∷ PulsingRewUpdate → Expr Source # listToExpr ∷ [PulsingRewUpdate] → Expr Source #
ToExpr RewardUpdate Source #
Instance details Methods toExpr ∷ RewardUpdate → Expr Source # listToExpr ∷ [RewardUpdate] → Expr Source #
ToExpr VotingPeriod Source #
Instance details Methods toExpr ∷ VotingPeriod → Expr Source # listToExpr ∷ [VotingPeriod] → Expr Source #
ToExpr RupdEvent Source #
Instance details Methods toExpr ∷ RupdEvent → Expr Source # listToExpr ∷ [RupdEvent] → Expr Source #
ToExpr GenesisDelegCert Source #
Instance details Methods toExpr ∷ GenesisDelegCert → Expr Source # listToExpr ∷ [GenesisDelegCert] → Expr Source #
ToExpr MIRCert Source #
Instance details Methods toExpr ∷ MIRCert → Expr Source # listToExpr ∷ [MIRCert] → Expr Source #
ToExpr MIRPot Source #
Instance details Methods toExpr ∷ MIRPot → Expr Source # listToExpr ∷ [MIRPot] → Expr Source #
ToExpr MIRTarget Source #
Instance details Methods toExpr ∷ MIRTarget → Expr Source # listToExpr ∷ [MIRTarget] → Expr Source #
ToExpr ShelleyDelegCert Source #
Instance details Methods toExpr ∷ ShelleyDelegCert → Expr Source # listToExpr ∷ [ShelleyDelegCert] → Expr Source #
ToExpr (PParams era) ⇒ ToExpr (FuturePParams era) Source #
Instance details Methods toExpr ∷ FuturePParams era → Expr Source # listToExpr ∷ [FuturePParams era] → Expr Source #
(ToExpr (PParamsUpdate era), ToExpr (PParams era)) ⇒ ToExpr (ShelleyGovState era) Source #
Instance details Methods toExpr ∷ ShelleyGovState era → Expr Source # listToExpr ∷ [ShelleyGovState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (PParams era), ToExpr (GovState era)) ⇒ ToExpr (EpochState era) Source #
Instance details Methods toExpr ∷ EpochState era → Expr Source # listToExpr ∷ [EpochState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (GovState era)) ⇒ ToExpr (LedgerState era) Source #
Instance details Methods toExpr ∷ LedgerState era → Expr Source # listToExpr ∷ [LedgerState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (PParams era), ToExpr (StashedAVVMAddresses era), ToExpr (GovState era)) ⇒ ToExpr (NewEpochState era) Source #
Instance details Methods toExpr ∷ NewEpochState era → Expr Source # listToExpr ∷ [NewEpochState era] → Expr Source #
(ToExpr (TxOut era), ToExpr (GovState era)) ⇒ ToExpr (UTxOState era) Source #
Instance details Methods toExpr ∷ UTxOState era → Expr Source # listToExpr ∷ [UTxOState era] → Expr Source #
ToExpr (PParamsUpdate era) ⇒ ToExpr (ProposedPPUpdates era) Source #
Instance details Methods toExpr ∷ ProposedPPUpdates era → Expr Source # listToExpr ∷ [ProposedPPUpdates era] → Expr Source #
ToExpr (PParamsUpdate era) ⇒ ToExpr (Update era) Source #
Instance details Methods toExpr ∷ Update era → Expr Source # listToExpr ∷ [Update era] → Expr Source #
ToExpr (ShelleyDelegEvent era) Source #
Instance details Methods toExpr ∷ ShelleyDelegEvent era → Expr Source # listToExpr ∷ [ShelleyDelegEvent era] → Expr Source #
ToExpr (ShelleyDelegPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyDelegPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelegPredFailure era] → Expr Source #
ToExpr (Event (EraRule "DELPL" era)) ⇒ ToExpr (ShelleyDelegsEvent era) Source #
Instance details Methods toExpr ∷ ShelleyDelegsEvent era → Expr Source # listToExpr ∷ [ShelleyDelegsEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "DELPL" era)) ⇒ ToExpr (ShelleyDelegsPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyDelegsPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelegsPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "DELEG" era)), ToExpr (Event (EraRule "POOL" era))) ⇒ ToExpr (ShelleyDelplEvent era) Source #
Instance details Methods toExpr ∷ ShelleyDelplEvent era → Expr Source # listToExpr ∷ [ShelleyDelplEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ ToExpr (ShelleyDelplPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyDelplPredFailure era → Expr Source # listToExpr ∷ [ShelleyDelplPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "POOLREAP" era)), ToExpr (Event (EraRule "SNAP" era)), ToExpr (Event (EraRule "UPEC" era))) ⇒ ToExpr (ShelleyEpochEvent era) Source #
Instance details Methods toExpr ∷ ShelleyEpochEvent era → Expr Source # listToExpr ∷ [ShelleyEpochEvent era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (LedgerEnv era) Source #
Instance details Methods toExpr ∷ LedgerEnv era → Expr Source # listToExpr ∷ [LedgerEnv era] → Expr Source #
(ToExpr (Event (EraRule "UTXOW" era)), ToExpr (Event (EraRule "DELEGS" era))) ⇒ ToExpr (ShelleyLedgerEvent era) Source #
Instance details Methods toExpr ∷ ShelleyLedgerEvent era → Expr Source # listToExpr ∷ [ShelleyLedgerEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "DELEGS" era))) ⇒ ToExpr (ShelleyLedgerPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyLedgerPredFailure era → Expr Source # listToExpr ∷ [ShelleyLedgerPredFailure era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (ShelleyLedgersEnv era) Source #
Instance details Methods toExpr ∷ ShelleyLedgersEnv era → Expr Source # listToExpr ∷ [ShelleyLedgersEnv era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGER" era)) ⇒ ToExpr (ShelleyLedgersPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyLedgersPredFailure era → Expr Source # listToExpr ∷ [ShelleyLedgersPredFailure era] → Expr Source #
ToExpr (ShelleyMirEvent era) Source #
Instance details Methods toExpr ∷ ShelleyMirEvent era → Expr Source # listToExpr ∷ [ShelleyMirEvent era] → Expr Source #
(ToExpr (Event (EraRule "EPOCH" era)), ToExpr (Event (EraRule "MIR" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ShelleyNewEpochEvent era) Source #
Instance details Methods toExpr ∷ ShelleyNewEpochEvent era → Expr Source # listToExpr ∷ [ShelleyNewEpochEvent era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (PoolEnv era) Source #
Instance details Methods toExpr ∷ PoolEnv era → Expr Source # listToExpr ∷ [PoolEnv era] → Expr Source #
ToExpr (PoolEvent era) Source #
Instance details Methods toExpr ∷ PoolEvent era → Expr Source # listToExpr ∷ [PoolEvent era] → Expr Source #
ToExpr (ShelleyPoolPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyPoolPredFailure era → Expr Source # listToExpr ∷ [ShelleyPoolPredFailure era] → Expr Source #
ToExpr (ShelleyPoolreapEvent era) Source #
Instance details Methods toExpr ∷ ShelleyPoolreapEvent era → Expr Source # listToExpr ∷ [ShelleyPoolreapEvent era] → Expr Source #
ToExpr (PpupEvent era) Source #
Instance details Methods toExpr ∷ PpupEvent era → Expr Source # listToExpr ∷ [PpupEvent era] → Expr Source #
ToExpr (ShelleyPpupPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyPpupPredFailure era → Expr Source # listToExpr ∷ [ShelleyPpupPredFailure era] → Expr Source #
ToExpr (SnapEvent era) Source #
Instance details Methods toExpr ∷ SnapEvent era → Expr Source # listToExpr ∷ [SnapEvent era] → Expr Source #
(ToExpr (Event (EraRule "NEWEPOCH" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ShelleyTickEvent era) Source #
Instance details Methods toExpr ∷ ShelleyTickEvent era → Expr Source # listToExpr ∷ [ShelleyTickEvent era] → Expr Source #
(ToExpr (EraRuleFailure "PPUP" era), ToExpr (Value era), ToExpr (TxOut era)) ⇒ ToExpr (ShelleyUtxoPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyUtxoPredFailure era → Expr Source # listToExpr ∷ [ShelleyUtxoPredFailure era] → Expr Source #
ToExpr (PParamsHKD Identity era) ⇒ ToExpr (UtxoEnv era) Source #
Instance details Methods toExpr ∷ UtxoEnv era → Expr Source # listToExpr ∷ [UtxoEnv era] → Expr Source #
(ToExpr (Event (EraRule "PPUP" era)), ToExpr (TxOut era)) ⇒ ToExpr (UtxoEvent era) Source #
Instance details Methods toExpr ∷ UtxoEvent era → Expr Source # listToExpr ∷ [UtxoEvent era] → Expr Source #
ToExpr (Event (EraRule "UTXO" era)) ⇒ ToExpr (ShelleyUtxowEvent era) Source #
Instance details Methods toExpr ∷ ShelleyUtxowEvent era → Expr Source # listToExpr ∷ [ShelleyUtxowEvent era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era))) ⇒ ToExpr (ShelleyUtxowPredFailure era) Source #
Instance details Methods toExpr ∷ ShelleyUtxowPredFailure era → Expr Source # listToExpr ∷ [ShelleyUtxowPredFailure era] → Expr Source #
ToExpr (MultiSig era) Source #
Instance details Methods toExpr ∷ MultiSig era → Expr Source # listToExpr ∷ [MultiSig era] → Expr Source #
ToExpr (MultiSigRaw era) Source #
Instance details Methods toExpr ∷ MultiSigRaw era → Expr Source # listToExpr ∷ [MultiSigRaw era] → Expr Source #
(ToExpr (TxAuxData era), ToExpr (TxBody era), ToExpr (TxWits era)) ⇒ ToExpr (ShelleyTx era) Source #
Instance details Methods toExpr ∷ ShelleyTx era → Expr Source # listToExpr ∷ [ShelleyTx era] → Expr Source #
(ToExpr (TxAuxData era), ToExpr (TxBody era), ToExpr (TxWits era)) ⇒ ToExpr (ShelleyTxRaw era) Source #
Instance details Methods toExpr ∷ ShelleyTxRaw era → Expr Source # listToExpr ∷ [ShelleyTxRaw era] → Expr Source #
ToExpr (ShelleyTxAuxData era) Source #
Instance details Methods toExpr ∷ ShelleyTxAuxData era → Expr Source # listToExpr ∷ [ShelleyTxAuxData era] → Expr Source #
ToExpr (ShelleyTxAuxDataRaw era) Source #
Instance details Methods toExpr ∷ ShelleyTxAuxDataRaw era → Expr Source # listToExpr ∷ [ShelleyTxAuxDataRaw era] → Expr Source #
(ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (ShelleyTxBody era) Source #
Instance details Methods toExpr ∷ ShelleyTxBody era → Expr Source # listToExpr ∷ [ShelleyTxBody era] → Expr Source #
(ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (ShelleyTxBodyRaw era) Source #
Instance details Methods toExpr ∷ ShelleyTxBodyRaw era → Expr Source # listToExpr ∷ [ShelleyTxBodyRaw era] → Expr Source #
ToExpr (ShelleyTxCert era) Source #
Instance details Methods toExpr ∷ ShelleyTxCert era → Expr Source # listToExpr ∷ [ShelleyTxCert era] → Expr Source #
(EraTxOut era, ToExpr (Value era)) ⇒ ToExpr (ShelleyTxOut era) Source #
Instance details Methods toExpr ∷ ShelleyTxOut era → Expr Source # listToExpr ∷ [ShelleyTxOut era] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ShelleyTxWits era) Source #
Instance details Methods toExpr ∷ ShelleyTxWits era → Expr Source # listToExpr ∷ [ShelleyTxWits era] → Expr Source #
(Era era, ToExpr (Script era)) ⇒ ToExpr (ShelleyTxWitsRaw era) Source #
Instance details Methods toExpr ∷ ShelleyTxWitsRaw era → Expr Source # listToExpr ∷ [ShelleyTxWitsRaw era] → Expr Source #
ToExpr (ShelleyPParams Identity era) Source #
Instance details Methods toExpr ∷ ShelleyPParams Identity era → Expr Source # listToExpr ∷ [ShelleyPParams Identity era] → Expr Source #
ToExpr (ShelleyPParams StrictMaybe era) Source #
Instance details Methods toExpr ∷ ShelleyPParams StrictMaybe era → Expr Source # listToExpr ∷ [ShelleyPParams StrictMaybe era] → Expr Source #