Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conway.TreeDiff

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Babbage.TreeDiff

Orphan instances

ToExpr GovActionId Source #
Instance details Methods toExpr ∷ GovActionId → Expr Source # listToExpr ∷ [GovActionId] → Expr Source #
ToExpr GovActionIx Source #
Instance details Methods toExpr ∷ GovActionIx → Expr Source # listToExpr ∷ [GovActionIx] → Expr Source #
ToExpr Vote Source #
Instance details Methods toExpr ∷ Vote → Expr Source # listToExpr ∷ [Vote] → Expr Source #
ToExpr Voter Source #
Instance details Methods toExpr ∷ Voter → Expr Source # listToExpr ∷ [Voter] → Expr Source #
ToExpr DRepVotingThresholds Source #
Instance details Methods toExpr ∷ DRepVotingThresholds → Expr Source # listToExpr ∷ [DRepVotingThresholds] → Expr Source #
ToExpr PoolVotingThresholds Source #
Instance details Methods toExpr ∷ PoolVotingThresholds → Expr Source # listToExpr ∷ [PoolVotingThresholds] → Expr Source #
ToExpr ConwayTxBodyRaw Source #
Instance details Methods toExpr ∷ ConwayTxBodyRaw → Expr Source # listToExpr ∷ [ConwayTxBodyRaw] → Expr Source #
ToExpr ConwayDelegCert Source #
Instance details Methods toExpr ∷ ConwayDelegCert → Expr Source # listToExpr ∷ [ConwayDelegCert] → Expr Source #
ToExpr ConwayGovCert Source #
Instance details Methods toExpr ∷ ConwayGovCert → Expr Source # listToExpr ∷ [ConwayGovCert] → Expr Source #
ToExpr Delegatee Source #
Instance details Methods toExpr ∷ Delegatee → Expr Source # listToExpr ∷ [Delegatee] → Expr Source #
ToExpr (PlutusScript ConwayEra) Source #
Instance details Methods toExpr ∷ PlutusScript ConwayEra → Expr Source # listToExpr ∷ [PlutusScript ConwayEra] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovState era) Source #
Instance details Methods toExpr ∷ ConwayGovState era → Expr Source # listToExpr ∷ [ConwayGovState era] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (PParams era)) ⇒ ToExpr (DRepPulsingState era) Source #
Instance details Methods toExpr ∷ DRepPulsingState era → Expr Source # listToExpr ∷ [DRepPulsingState era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (PulsingSnapshot era) Source #
Instance details Methods toExpr ∷ PulsingSnapshot era → Expr Source # listToExpr ∷ [PulsingSnapshot era] → Expr Source #
(Era era, ToExpr (PParams era)) ⇒ ToExpr (EnactState era) Source #
Instance details Methods toExpr ∷ EnactState era → Expr Source # listToExpr ∷ [EnactState era] → Expr Source #
(ToExpr (InstantStake era), ToExpr (Accounts era)) ⇒ ToExpr (RatifyEnv era) Source #
Instance details Methods toExpr ∷ RatifyEnv era → Expr Source # listToExpr ∷ [RatifyEnv era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (RatifySignal era) Source #
Instance details Methods toExpr ∷ RatifySignal era → Expr Source # listToExpr ∷ [RatifySignal era] → Expr Source #
(EraPParams era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (RatifyState era) Source #
Instance details Methods toExpr ∷ RatifyState era → Expr Source # listToExpr ∷ [RatifyState era] → Expr Source #
ToExpr (Committee era) Source #
Instance details Methods toExpr ∷ Committee era → Expr Source # listToExpr ∷ [Committee era] → Expr Source #
ToExpr (Constitution era) Source #
Instance details Methods toExpr ∷ Constitution era → Expr Source # listToExpr ∷ [Constitution era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (GovAction era) Source #
Instance details Methods toExpr ∷ GovAction era → Expr Source # listToExpr ∷ [GovAction era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (GovActionState era) Source #
Instance details Methods toExpr ∷ GovActionState era → Expr Source # listToExpr ∷ [GovActionState era] → Expr Source #
ToExpr (GovPurposeId purpose) Source #
Instance details Methods toExpr ∷ GovPurposeId purpose → Expr Source # listToExpr ∷ [GovPurposeId purpose] → Expr Source #
(∀ (p ∷ GovActionPurpose). ToExpr (f (GovPurposeId p))) ⇒ ToExpr (GovRelation f) Source #
Instance details Methods toExpr ∷ GovRelation f → Expr Source # listToExpr ∷ [GovRelation f] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (ProposalProcedure era) Source #
Instance details Methods toExpr ∷ ProposalProcedure era → Expr Source # listToExpr ∷ [ProposalProcedure era] → Expr Source #
ToExpr (VotingProcedure era) Source #
Instance details Methods toExpr ∷ VotingProcedure era → Expr Source # listToExpr ∷ [VotingProcedure era] → Expr Source #
Era era ⇒ ToExpr (VotingProcedures era) Source #
Instance details Methods toExpr ∷ VotingProcedures era → Expr Source # listToExpr ∷ [VotingProcedures era] → Expr Source #
ToExpr a ⇒ ToExpr (PEdges a) Source #
Instance details Methods toExpr ∷ PEdges a → Expr Source # listToExpr ∷ [PEdges a] → Expr Source #
ToExpr a ⇒ ToExpr (PGraph a) Source #
Instance details Methods toExpr ∷ PGraph a → Expr Source # listToExpr ∷ [PGraph a] → Expr Source #
ToExpr a ⇒ ToExpr (PRoot a) Source #
Instance details Methods toExpr ∷ PRoot a → Expr Source # listToExpr ∷ [PRoot a] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (Proposals era) Source #
Instance details Methods toExpr ∷ Proposals era → Expr Source # listToExpr ∷ [Proposals era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGERS" era)) ⇒ ToExpr (ConwayBbodyPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayBbodyPredFailure era → Expr Source # listToExpr ∷ [ConwayBbodyPredFailure era] → Expr Source #
(ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (CertEnv era) Source #
Instance details Methods toExpr ∷ CertEnv era → Expr Source # listToExpr ∷ [CertEnv era] → Expr Source #
(ToExpr (Event (EraRule "DELEG" era)), ToExpr (Event (EraRule "GOVCERT" era)), ToExpr (Event (EraRule "POOL" era))) ⇒ ToExpr (ConwayCertEvent era) Source #
Instance details Methods toExpr ∷ ConwayCertEvent era → Expr Source # listToExpr ∷ [ConwayCertEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ ToExpr (ConwayCertPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayCertPredFailure era → Expr Source # listToExpr ∷ [ConwayCertPredFailure era] → Expr Source #
(ToExpr (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (Tx era)) ⇒ ToExpr (CertsEnv era) Source #
Instance details Methods toExpr ∷ CertsEnv era → Expr Source # listToExpr ∷ [CertsEnv era] → Expr Source #
ToExpr (Event (EraRule "CERT" era)) ⇒ ToExpr (ConwayCertsEvent era) Source #
Instance details Methods toExpr ∷ ConwayCertsEvent era → Expr Source # listToExpr ∷ [ConwayCertsEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "CERT" era)) ⇒ ToExpr (ConwayCertsPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayCertsPredFailure era → Expr Source # listToExpr ∷ [ConwayCertsPredFailure era] → Expr Source #
ToExpr (PParams era) ⇒ ToExpr (ConwayDelegEnv era) Source #
Instance details Methods toExpr ∷ ConwayDelegEnv era → Expr Source # listToExpr ∷ [ConwayDelegEnv era] → Expr Source #
ToExpr (ConwayDelegPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayDelegPredFailure era → Expr Source # listToExpr ∷ [ConwayDelegPredFailure era] → Expr Source #
ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (EnactSignal era) Source #
Instance details Methods toExpr ∷ EnactSignal era → Expr Source # listToExpr ∷ [EnactSignal era] → Expr Source #
(EraPParams era, ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (Event (EraRule "POOLREAP" era)), ToExpr (Event (EraRule "SNAP" era)), ToExpr (Event (EraRule "HARDFORK" era))) ⇒ ToExpr (ConwayEpochEvent era) Source #
Instance details Methods toExpr ∷ ConwayEpochEvent era → Expr Source # listToExpr ∷ [ConwayEpochEvent era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovEvent era) Source #
Instance details Methods toExpr ∷ ConwayGovEvent era → Expr Source # listToExpr ∷ [ConwayGovEvent era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayGovPredFailure era → Expr Source # listToExpr ∷ [ConwayGovPredFailure era] → Expr Source #
(ToExpr (PParams era), ToExpr (CertState era)) ⇒ ToExpr (GovEnv era) Source #
Instance details Methods toExpr ∷ GovEnv era → Expr Source # listToExpr ∷ [GovEnv era] → Expr Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era)) ⇒ ToExpr (GovSignal era) Source #
Instance details Methods toExpr ∷ GovSignal era → Expr Source # listToExpr ∷ [GovSignal era] → Expr Source #
(ToExpr (PParams era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayGovCertEnv era) Source #
Instance details Methods toExpr ∷ ConwayGovCertEnv era → Expr Source # listToExpr ∷ [ConwayGovCertEnv era] → Expr Source #
ToExpr (ConwayGovCertPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayGovCertPredFailure era → Expr Source # listToExpr ∷ [ConwayGovCertPredFailure era] → Expr Source #
ToExpr (ConwayHardForkEvent era) Source #
Instance details Methods toExpr ∷ ConwayHardForkEvent era → Expr Source # listToExpr ∷ [ConwayHardForkEvent era] → Expr Source #
(ToExpr (Event (EraRule "CERTS" era)), ToExpr (Event (EraRule "UTXOW" era)), ToExpr (Event (EraRule "GOV" era)), ToExpr (Event (EraRule "MEMPOOL" era))) ⇒ ToExpr (ConwayLedgerEvent era) Source #
Instance details Methods toExpr ∷ ConwayLedgerEvent era → Expr Source # listToExpr ∷ [ConwayLedgerEvent era] → Expr Source #
(ToExpr (PredicateFailure (EraRule "UTXOW" era)), ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era))) ⇒ ToExpr (ConwayLedgerPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayLedgerPredFailure era → Expr Source # listToExpr ∷ [ConwayLedgerPredFailure era] → Expr Source #
(ToExpr (Event (EraRule "EPOCH" era)), ToExpr (Event (EraRule "RUPD" era))) ⇒ ToExpr (ConwayNewEpochEvent era) Source #
Instance details Methods toExpr ∷ ConwayNewEpochEvent era → Expr Source # listToExpr ∷ [ConwayNewEpochEvent era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (ConwayUtxoPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayUtxoPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxoPredFailure era] → Expr Source #
ToExpr (TxOut era) ⇒ ToExpr (ConwayUtxosEvent era) Source #
Instance details Methods toExpr ∷ ConwayUtxosEvent era → Expr Source # listToExpr ∷ [ConwayUtxosEvent era] → Expr Source #
(ToExpr (PlutusPurpose AsItem era), ToExpr (ContextError era), ToExpr (TxCert era)) ⇒ ToExpr (ConwayUtxosPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayUtxosPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxosPredFailure era] → Expr Source #
(Era era, ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (ConwayUtxowPredFailure era) Source #
Instance details Methods toExpr ∷ ConwayUtxowPredFailure era → Expr Source # listToExpr ∷ [ConwayUtxowPredFailure era] → Expr Source #
ToExpr (ConwayAccountState era) Source #
Instance details Methods toExpr ∷ ConwayAccountState era → Expr Source # listToExpr ∷ [ConwayAccountState era] → Expr Source #
ToExpr (ConwayAccounts era) Source #
Instance details Methods toExpr ∷ ConwayAccounts era → Expr Source # listToExpr ∷ [ConwayAccounts era] → Expr Source #
(ConwayEraCertState era, ToExpr (Accounts era)) ⇒ ToExpr (ConwayCertState era) Source #
Instance details Methods toExpr ∷ ConwayCertState era → Expr Source # listToExpr ∷ [ConwayCertState era] → Expr Source #
ToExpr (ConwayInstantStake era) Source #
Instance details Methods toExpr ∷ ConwayInstantStake era → Expr Source # listToExpr ∷ [ConwayInstantStake era] → Expr Source #
ToExpr (VState era) Source #
Instance details Methods toExpr ∷ VState era → Expr Source # listToExpr ∷ [VState era] → Expr Source #
ToExpr (ConwayTxCert era) Source #
Instance details Methods toExpr ∷ ConwayTxCert era → Expr Source # listToExpr ∷ [ConwayTxCert era] → Expr Source #
(Era era, ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era), ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era)) ⇒ ToExpr (ConwayContextError era) Source #
Instance details Methods toExpr ∷ ConwayContextError era → Expr Source # listToExpr ∷ [ConwayContextError era] → Expr Source #
ToExpr (Tx ConwayEra) Source #
Instance details Methods toExpr ∷ Tx ConwayEra → Expr Source # listToExpr ∷ [Tx ConwayEra] → Expr Source #
ToExpr (TxBody ConwayEra) Source #
Instance details Methods toExpr ∷ TxBody ConwayEra → Expr Source # listToExpr ∷ [TxBody ConwayEra] → Expr Source #
ToExpr (ConwayPParams Identity era) Source #
Instance details Methods toExpr ∷ ConwayPParams Identity era → Expr Source # listToExpr ∷ [ConwayPParams Identity era] → Expr Source #
ToExpr (ConwayPParams StrictMaybe era) Source #
Instance details Methods toExpr ∷ ConwayPParams StrictMaybe era → Expr Source # listToExpr ∷ [ConwayPParams StrictMaybe era] → Expr Source #
(Era era, ToExpr (TxCert era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayPlutusPurpose AsItem era) Source #
Instance details Methods toExpr ∷ ConwayPlutusPurpose AsItem era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsItem era] → Expr Source #
ToExpr (ConwayPlutusPurpose AsIx era) Source #
Instance details Methods toExpr ∷ ConwayPlutusPurpose AsIx era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsIx era] → Expr Source #
(ToExpr (TxCert era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (ConwayPlutusPurpose AsIxItem era) Source #
Instance details Methods toExpr ∷ ConwayPlutusPurpose AsIxItem era → Expr Source # listToExpr ∷ [ConwayPlutusPurpose AsIxItem era] → Expr Source #
(EraStake era, EraPParams era, ConwayEraAccounts era, ToExpr (DRepPulsingState era), ToExpr (RatifyState era), ToExpr (PParamsHKD StrictMaybe era)) ⇒ ToExpr (DRepPulser era Identity (RatifyState era)) Source #
Instance details Methods toExpr ∷ DRepPulser era Identity (RatifyState era) → Expr Source # listToExpr ∷ [DRepPulser era Identity (RatifyState era)] → Expr Source #
ToExpr (HKD f a) ⇒ ToExpr (THKD t f a) Source #
Instance details Methods toExpr ∷ THKD t f a → Expr Source # listToExpr ∷ [THKD t f a] → Expr Source #