Safe Haskell	Safe-Inferred
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 (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 (AlonzoContextError era) Source #
Instance details Methods toExpr ∷ AlonzoContextError era → Expr Source # listToExpr ∷ [AlonzoContextError 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 (EraCrypto era))) ⇒ 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 (AlonzoScript era) Source #
Instance details Methods toExpr ∷ AlonzoScript era → Expr Source # listToExpr ∷ [AlonzoScript era] → Expr Source #
ToExpr (PlutusScript (AlonzoEra c)) Source #
Instance details Methods toExpr ∷ PlutusScript (AlonzoEra c) → Expr Source # listToExpr ∷ [PlutusScript (AlonzoEra c)] → Expr Source #
(ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era)) ⇒ ToExpr (AlonzoTx era) Source #
Instance details Methods toExpr ∷ AlonzoTx era → Expr Source # listToExpr ∷ [AlonzoTx era] → Expr Source #
ToExpr (AlonzoTxAuxData era) Source #
Instance details Methods toExpr ∷ AlonzoTxAuxData era → Expr Source # listToExpr ∷ [AlonzoTxAuxData era] → Expr Source #
ToExpr (AlonzoTxAuxDataRaw era) Source #
Instance details Methods toExpr ∷ AlonzoTxAuxDataRaw era → Expr Source # listToExpr ∷ [AlonzoTxAuxDataRaw era] → Expr Source #
(Era era, ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (PParamsUpdate era)) ⇒ ToExpr (AlonzoTxBody era) Source #
Instance details Methods toExpr ∷ AlonzoTxBody era → Expr Source # listToExpr ∷ [AlonzoTxBody era] → Expr Source #
(Era era, ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (PParamsUpdate era)) ⇒ ToExpr (AlonzoTxBodyRaw era) Source #
Instance details Methods toExpr ∷ AlonzoTxBodyRaw era → Expr Source # listToExpr ∷ [AlonzoTxBodyRaw 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 (ScriptHash c) ⇒ ToExpr (PlutusWithContext c) Source #
Instance details Methods toExpr ∷ PlutusWithContext c → Expr Source # listToExpr ∷ [PlutusWithContext c] → Expr Source #
ToExpr (AlonzoPParams Identity era) Source #
Instance details Methods toExpr ∷ AlonzoPParams Identity era → Expr Source # listToExpr ∷ [AlonzoPParams Identity era] → Expr Source #
ToExpr (AlonzoPParams StrictMaybe era) Source #
Instance details Methods toExpr ∷ AlonzoPParams StrictMaybe era → Expr Source # listToExpr ∷ [AlonzoPParams StrictMaybe 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 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 #