Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Allegra.TreeDiff

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Shelley.TreeDiff

Orphan instances

ToExpr ValidityInterval Source #
Instance details Methods toExpr ∷ ValidityInterval → Expr Source # listToExpr ∷ [ValidityInterval] → Expr Source #
(Era era, ToExpr (TxOut era), ToExpr (Event (EraRule "PPUP" era))) ⇒ ToExpr (AllegraUtxoEvent era) Source #
Instance details Methods toExpr ∷ AllegraUtxoEvent era → Expr Source # listToExpr ∷ [AllegraUtxoEvent era] → Expr Source #
(ToExpr (TxOut era), ToExpr (Value era), ToExpr (EraRuleFailure "PPUP" era)) ⇒ ToExpr (AllegraUtxoPredFailure era) Source #
Instance details Methods toExpr ∷ AllegraUtxoPredFailure era → Expr Source # listToExpr ∷ [AllegraUtxoPredFailure era] → Expr Source #
ToExpr (Timelock era) Source #
Instance details Methods toExpr ∷ Timelock era → Expr Source # listToExpr ∷ [Timelock era] → Expr Source #
ToExpr (TimelockRaw era) Source #
Instance details Methods toExpr ∷ TimelockRaw era → Expr Source # listToExpr ∷ [TimelockRaw era] → Expr Source #
ToExpr (AllegraTxAuxData era) Source #
Instance details Methods toExpr ∷ AllegraTxAuxData era → Expr Source # listToExpr ∷ [AllegraTxAuxData era] → Expr Source #
ToExpr (AllegraTxAuxDataRaw era) Source #
Instance details Methods toExpr ∷ AllegraTxAuxDataRaw era → Expr Source # listToExpr ∷ [AllegraTxAuxDataRaw era] → Expr Source #
(ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (AllegraTxBody era) Source #
Instance details Methods toExpr ∷ AllegraTxBody era → Expr Source # listToExpr ∷ [AllegraTxBody era] → Expr Source #
(ToExpr ma, ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (AllegraTxBodyRaw ma era) Source #
Instance details Methods toExpr ∷ AllegraTxBodyRaw ma era → Expr Source # listToExpr ∷ [AllegraTxBodyRaw ma era] → Expr Source #