cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Allegra.TreeDiff

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 (NativeScript era) ⇒ ToExpr (AllegraTxAuxData era) Source # 
Instance details

Methods

toExpr ∷ AllegraTxAuxData era → Expr Source #

listToExpr ∷ [AllegraTxAuxData era] → Expr Source #

ToExpr (NativeScript era) ⇒ ToExpr (AllegraTxAuxDataRaw era) Source # 
Instance details

Methods

toExpr ∷ AllegraTxAuxDataRaw era → Expr Source #

listToExpr ∷ [AllegraTxAuxDataRaw 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 (Tx 'TopTx AllegraEra) Source # 
Instance details

Methods

toExpr ∷ Tx 'TopTx AllegraEra → Expr Source #

listToExpr ∷ [Tx 'TopTx AllegraEra] → Expr Source #

ToExpr (TxBody 'TopTx AllegraEra) Source # 
Instance details

Methods

toExpr ∷ TxBody 'TopTx AllegraEra → Expr Source #

listToExpr ∷ [TxBody 'TopTx AllegraEra] → Expr Source #

(ToExpr ma, ToExpr (TxOut era), ToExpr (TxCert era), ToExpr (Update era)) ⇒ ToExpr (AllegraTxBodyRaw ma 'TopTx era) Source # 
Instance details

Methods

toExpr ∷ AllegraTxBodyRaw ma 'TopTx era → Expr Source #

listToExpr ∷ [AllegraTxBodyRaw ma 'TopTx era] → Expr Source #