Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Alonzo.TreeDiff

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Mary.TreeDiff

Orphan instances

ToExpr CoinPerWord Source #
Instance details Methods toExpr ∷ CoinPerWord → Expr Source # listToExpr ∷ [CoinPerWord] → Expr Source #
ToExpr OrdExUnits Source #
Instance details Methods toExpr ∷ OrdExUnits → Expr Source # listToExpr ∷ [OrdExUnits] → Expr Source #
ToExpr FailureDescription Source #
Instance details Methods toExpr ∷ FailureDescription → Expr Source # listToExpr ∷ [FailureDescription] → Expr Source #
ToExpr TagMismatchDescription Source #
Instance details Methods toExpr ∷ TagMismatchDescription → Expr Source # listToExpr ∷ [TagMismatchDescription] → Expr Source #
ToExpr IsValid Source #
Instance details Methods toExpr ∷ IsValid → Expr Source # listToExpr ∷ [IsValid] → Expr Source #
ToExpr Addr28Extra Source #
Instance details Methods toExpr ∷ Addr28Extra → Expr Source # listToExpr ∷ [Addr28Extra] → Expr Source #
ToExpr DataHash32 Source #
Instance details Methods toExpr ∷ DataHash32 → Expr Source # listToExpr ∷ [DataHash32] → Expr Source #
ToExpr ScriptHash ⇒ ToExpr PlutusWithContext Source #
Instance details Methods toExpr ∷ PlutusWithContext → Expr Source # listToExpr ∷ [PlutusWithContext] → Expr Source #
ToExpr ExBudget Source #
Instance details Methods toExpr ∷ ExBudget → Expr Source # listToExpr ∷ [ExBudget] → Expr Source #
ToExpr ExCPU Source #
Instance details Methods toExpr ∷ ExCPU → Expr Source # listToExpr ∷ [ExCPU] → Expr Source #
ToExpr ExMemory Source #
Instance details Methods toExpr ∷ ExMemory → Expr Source # listToExpr ∷ [ExMemory] → Expr Source #
ToExpr SatInt Source #
Instance details Methods toExpr ∷ SatInt → Expr Source # listToExpr ∷ [SatInt] → Expr Source #
ToExpr EvaluationError Source #
Instance details Methods toExpr ∷ EvaluationError → Expr Source # listToExpr ∷ [EvaluationError] → Expr Source #
(ToExpr (ContextError era), ToExpr (PlutusPurpose AsItem era), ToExpr (TxCert era)) ⇒ ToExpr (CollectError era) Source #
Instance details Methods toExpr ∷ CollectError era → Expr Source # listToExpr ∷ [CollectError era] → Expr Source #
(ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PlutusScript era), ToExpr (ContextError era)) ⇒ ToExpr (TransactionScriptFailure era) Source #
Instance details Methods toExpr ∷ TransactionScriptFailure era → Expr Source # listToExpr ∷ [TransactionScriptFailure era] → Expr Source #
ToExpr (Event (EraRule "LEDGERS" era)) ⇒ ToExpr (AlonzoBbodyEvent era) Source #
Instance details Methods toExpr ∷ AlonzoBbodyEvent era → Expr Source # listToExpr ∷ [AlonzoBbodyEvent era] → Expr Source #
ToExpr (PredicateFailure (EraRule "LEDGERS" era)) ⇒ ToExpr (AlonzoBbodyPredFailure era) Source #
Instance details Methods toExpr ∷ AlonzoBbodyPredFailure era → Expr Source # listToExpr ∷ [AlonzoBbodyPredFailure era] → Expr Source #
ToExpr (Event (EraRule "UTXOS" era)) ⇒ ToExpr (AlonzoUtxoEvent era) Source #
Instance details Methods toExpr ∷ AlonzoUtxoEvent era → Expr Source # listToExpr ∷ [AlonzoUtxoEvent era] → Expr Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ ToExpr (AlonzoUtxoPredFailure era) Source #
Instance details Methods toExpr ∷ AlonzoUtxoPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxoPredFailure era] → Expr Source #
(ToExpr (EraRuleEvent "PPUP" era), ToExpr (TxOut era), ToExpr PlutusWithContext) ⇒ ToExpr (AlonzoUtxosEvent era) Source #
Instance details Methods toExpr ∷ AlonzoUtxosEvent era → Expr Source # listToExpr ∷ [AlonzoUtxosEvent era] → Expr Source #
(ToExpr (PlutusPurpose AsItem era), ToExpr (EraRuleFailure "PPUP" era), ToExpr (ContextError era), ToExpr (TxCert era)) ⇒ ToExpr (AlonzoUtxosPredFailure era) Source #
Instance details Methods toExpr ∷ AlonzoUtxosPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxosPredFailure era] → Expr Source #
ToExpr (Event (EraRule "UTXO" era)) ⇒ ToExpr (AlonzoUtxowEvent era) Source #
Instance details Methods toExpr ∷ AlonzoUtxowEvent era → Expr Source # listToExpr ∷ [AlonzoUtxowEvent era] → Expr Source #
(Era era, ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (TxCert era)) ⇒ ToExpr (AlonzoUtxowPredFailure era) Source #
Instance details Methods toExpr ∷ AlonzoUtxowPredFailure era → Expr Source # listToExpr ∷ [AlonzoUtxowPredFailure era] → Expr Source #
(ToExpr (PlutusScript era), ToExpr (NativeScript era)) ⇒ ToExpr (AlonzoScript era) Source #
Instance details Methods toExpr ∷ AlonzoScript era → Expr Source # listToExpr ∷ [AlonzoScript era] → Expr Source #
ToExpr (PlutusScript AlonzoEra) Source #
Instance details Methods toExpr ∷ PlutusScript AlonzoEra → Expr Source # listToExpr ∷ [PlutusScript AlonzoEra] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AlonzoTxAuxData era) Source #
Instance details Methods toExpr ∷ AlonzoTxAuxData era → Expr Source # listToExpr ∷ [AlonzoTxAuxData era] → Expr Source #
ToExpr (NativeScript era) ⇒ ToExpr (AlonzoTxAuxDataRaw era) Source #
Instance details Methods toExpr ∷ AlonzoTxAuxDataRaw era → Expr Source # listToExpr ∷ [AlonzoTxAuxDataRaw era] → Expr Source #
ToExpr (CompactForm (Value era)) ⇒ ToExpr (AlonzoTxOut era) Source #
Instance details Methods toExpr ∷ AlonzoTxOut era → Expr Source # listToExpr ∷ [AlonzoTxOut era] → Expr Source #
(Era era, ToExpr (TxDats era), ToExpr (Redeemers era), ToExpr (Script era)) ⇒ ToExpr (AlonzoTxWits era) Source #
Instance details Methods toExpr ∷ AlonzoTxWits era → Expr Source # listToExpr ∷ [AlonzoTxWits era] → Expr Source #
(Era era, ToExpr (TxDats era), ToExpr (Redeemers era), ToExpr (Script era)) ⇒ ToExpr (AlonzoTxWitsRaw era) Source #
Instance details Methods toExpr ∷ AlonzoTxWitsRaw era → Expr Source # listToExpr ∷ [AlonzoTxWitsRaw era] → Expr Source #
ToExpr (PlutusPurpose AsIx era) ⇒ ToExpr (Redeemers era) Source #
Instance details Methods toExpr ∷ Redeemers era → Expr Source # listToExpr ∷ [Redeemers era] → Expr Source #
ToExpr (PlutusPurpose AsIx era) ⇒ ToExpr (RedeemersRaw era) Source #
Instance details Methods toExpr ∷ RedeemersRaw era → Expr Source # listToExpr ∷ [RedeemersRaw era] → Expr Source #
ToExpr (Data era) ⇒ ToExpr (TxDats era) Source #
Instance details Methods toExpr ∷ TxDats era → Expr Source # listToExpr ∷ [TxDats era] → Expr Source #
ToExpr (Data era) ⇒ ToExpr (TxDatsRaw era) Source #
Instance details Methods toExpr ∷ TxDatsRaw era → Expr Source # listToExpr ∷ [TxDatsRaw era] → Expr Source #
ToExpr (PlutusPurpose AsIxItem era) ⇒ ToExpr (AlonzoScriptsNeeded era) Source #
Instance details Methods toExpr ∷ AlonzoScriptsNeeded era → Expr Source # listToExpr ∷ [AlonzoScriptsNeeded era] → Expr Source #
ToExpr (AlonzoPParams StrictMaybe era) Source #
Instance details Methods toExpr ∷ AlonzoPParams StrictMaybe era → Expr Source # listToExpr ∷ [AlonzoPParams StrictMaybe era] → Expr Source #
ToExpr (AlonzoPParams Identity era) Source #
Instance details Methods toExpr ∷ AlonzoPParams Identity era → Expr Source # listToExpr ∷ [AlonzoPParams Identity era] → Expr Source #
ToExpr (AlonzoContextError era) Source #
Instance details Methods toExpr ∷ AlonzoContextError era → Expr Source # listToExpr ∷ [AlonzoContextError era] → Expr Source #
ToExpr (TxCert era) ⇒ ToExpr (AlonzoPlutusPurpose AsItem era) Source #
Instance details Methods toExpr ∷ AlonzoPlutusPurpose AsItem era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsItem era] → Expr Source #
ToExpr (AlonzoPlutusPurpose AsIx era) Source #
Instance details Methods toExpr ∷ AlonzoPlutusPurpose AsIx era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsIx era] → Expr Source #
ToExpr (TxCert era) ⇒ ToExpr (AlonzoPlutusPurpose AsIxItem era) Source #
Instance details Methods toExpr ∷ AlonzoPlutusPurpose AsIxItem era → Expr Source # listToExpr ∷ [AlonzoPlutusPurpose AsIxItem era] → Expr Source #
ToExpr it ⇒ ToExpr (AsItem ix it) Source #
Instance details Methods toExpr ∷ AsItem ix it → Expr Source # listToExpr ∷ [AsItem ix it] → Expr Source #
ToExpr ix ⇒ ToExpr (AsIx ix it) Source #
Instance details Methods toExpr ∷ AsIx ix it → Expr Source # listToExpr ∷ [AsIx ix it] → Expr Source #
(ToExpr ix, ToExpr it) ⇒ ToExpr (AsIxItem ix it) Source #
Instance details Methods toExpr ∷ AsIxItem ix it → Expr Source # listToExpr ∷ [AsIxItem ix it] → Expr Source #
(ToExpr (TxBody 'TopTx era), ToExpr (TxWits era), ToExpr (TxAuxData era)) ⇒ ToExpr (AlonzoTx 'TopTx era) Source #
Instance details Methods toExpr ∷ AlonzoTx 'TopTx era → Expr Source # listToExpr ∷ [AlonzoTx 'TopTx era] → Expr Source #
ToExpr (AlonzoTxBodyRaw 'TopTx AlonzoEra) Source #
Instance details Methods toExpr ∷ AlonzoTxBodyRaw 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [AlonzoTxBodyRaw 'TopTx AlonzoEra] → Expr Source #
ToExpr (Tx 'TopTx AlonzoEra) Source #
Instance details Methods toExpr ∷ Tx 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [Tx 'TopTx AlonzoEra] → Expr Source #
ToExpr (TxBody 'TopTx AlonzoEra) Source #
Instance details Methods toExpr ∷ TxBody 'TopTx AlonzoEra → Expr Source # listToExpr ∷ [TxBody 'TopTx AlonzoEra] → Expr Source #