| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Same
Contents
Description
A Proof parameterized equality test, that records the sameness of
individual record fields, this way it is possible to know where the
equality failed.
Synopsis
- extendLabel ∷ String → [(String, Maybe x)] → [(String, Maybe x)]
- notEq ∷ Doc a → Doc a → Doc a
- eqByShow ∷ (Eq t, Show t) ⇒ t → t → Maybe PDoc
- eqVia ∷ Eq t ⇒ (t → PDoc) → t → t → Maybe PDoc
- class Same era t where
- sameUTxO ∷ Proof era → UTxO era → UTxO era → Maybe PDoc
- samePPUP ∷ Proof era → ShelleyGovState era → ShelleyGovState era → Maybe PDoc
- sameStashedAVVMAddresses ∷ Proof era → StashedAVVMAddresses era → StashedAVVMAddresses era → Maybe PDoc
- data SomeDepend where
- sameWithDependency ∷ [SomeDepend] → [(String, Maybe PDoc)]
- samePParams ∷ Proof era → PParams era → PParams era → Maybe PDoc
- samePParamsUpdate ∷ Proof era → PParamsUpdate era → PParamsUpdate era → Maybe PDoc
- sameTxOut ∷ Proof era → TxOut era → TxOut era → Maybe PDoc
- sameLedgerFail ∷ Proof era → ApplyTxError era → ApplyTxError era → Maybe PDoc
- sameTransCtx ∷ Proof era → TranslationContext era → TranslationContext era → Maybe PDoc
- sameShelleyTxWits ∷ ∀ era. Reflect era ⇒ Proof era → ShelleyTxWits era → ShelleyTxWits era → [(String, Maybe PDoc)]
- sameAlonzoTxWits ∷ ∀ era. (Reflect era, AlonzoEraScript era) ⇒ Proof era → AlonzoTxWits era → AlonzoTxWits era → [(String, Maybe PDoc)]
- sameTxWits ∷ Reflect era ⇒ Proof era → TxWits era → TxWits era → [(String, Maybe PDoc)]
- sameShelleyTxBody ∷ Reflect era ⇒ Proof era → ShelleyTxBody era → ShelleyTxBody era → [(String, Maybe PDoc)]
- sameAllegraTxBody ∷ Reflect era ⇒ Proof era → AllegraTxBody era → AllegraTxBody era → [(String, Maybe PDoc)]
- sameMaryTxBody ∷ Reflect era ⇒ Proof era → MaryTxBody era → MaryTxBody era → [(String, Maybe PDoc)]
- sameAlonzoTxBody ∷ Reflect era ⇒ Proof era → AlonzoTxBody era → AlonzoTxBody era → [(String, Maybe PDoc)]
- sameBabbageTxBody ∷ (Reflect era, BabbageEraTxBody era) ⇒ Proof era → BabbageTxBody era → BabbageTxBody era → [(String, Maybe PDoc)]
- sameConwayTxBody ∷ (ConwayEraTxBody era, Reflect era) ⇒ Proof era → ConwayTxBody era → ConwayTxBody era → [(String, Maybe PDoc)]
- sameTxBody ∷ Reflect era ⇒ Proof era → TxBody era → TxBody era → [(String, Maybe PDoc)]
- sameShelleyTx ∷ (Reflect era, TxWits era ~ ShelleyTxWits era) ⇒ Proof era → ShelleyTx era → ShelleyTx era → [(String, Maybe PDoc)]
- sameAlonzoTx ∷ (Reflect era, AlonzoEraScript era, TxWits era ~ AlonzoTxWits era) ⇒ Proof era → AlonzoTx era → AlonzoTx era → [(String, Maybe PDoc)]
- sameTx ∷ Reflect era ⇒ Proof era → Tx era → Tx era → [(String, Maybe PDoc)]
- ints ∷ [Int]
- sameShelleyTxSeq ∷ (Reflect era, Tx era ~ ShelleyTx era, SafeToHash (TxWits era)) ⇒ Proof era → ShelleyTxSeq era → ShelleyTxSeq era → [(String, Maybe PDoc)]
- sameAlonzoTxSeq ∷ (Reflect era, AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ Proof era → AlonzoTxSeq era → AlonzoTxSeq era → [(String, Maybe PDoc)]
- sameTxSeq ∷ Reflect era ⇒ Proof era → TxSeq era → TxSeq era → [(String, Maybe PDoc)]
Documentation
extendLabel ∷ String → [(String, Maybe x)] → [(String, Maybe x)] Source #
Relabel by appending s to the front of the path
eqByShow ∷ (Eq t, Show t) ⇒ t → t → Maybe PDoc Source #
Compare for equality, and display difference using show
eqVia ∷ Eq t ⇒ (t → PDoc) → t → t → Maybe PDoc Source #
Compare for equality, and display differences using pcf
class Same era t where Source #
The Same class is similar to Eq but returns descriptions (paths and non-matching components) for each difference in a large structure.
Instances
samePPUP ∷ Proof era → ShelleyGovState era → ShelleyGovState era → Maybe PDoc Source #
sameStashedAVVMAddresses ∷ Proof era → StashedAVVMAddresses era → StashedAVVMAddresses era → Maybe PDoc Source #
data SomeDepend where Source #
sameWithDependency ∷ [SomeDepend] → [(String, Maybe PDoc)] Source #
If x occurs in y then a difference in x forces a difference in y, so only return the information on x if it has differences.
samePParamsUpdate ∷ Proof era → PParamsUpdate era → PParamsUpdate era → Maybe PDoc Source #
sameLedgerFail ∷ Proof era → ApplyTxError era → ApplyTxError era → Maybe PDoc Source #
sameTransCtx ∷ Proof era → TranslationContext era → TranslationContext era → Maybe PDoc Source #
sameShelleyTxWits ∷ ∀ era. Reflect era ⇒ Proof era → ShelleyTxWits era → ShelleyTxWits era → [(String, Maybe PDoc)] Source #
sameAlonzoTxWits ∷ ∀ era. (Reflect era, AlonzoEraScript era) ⇒ Proof era → AlonzoTxWits era → AlonzoTxWits era → [(String, Maybe PDoc)] Source #
sameShelleyTxBody ∷ Reflect era ⇒ Proof era → ShelleyTxBody era → ShelleyTxBody era → [(String, Maybe PDoc)] Source #
sameAllegraTxBody ∷ Reflect era ⇒ Proof era → AllegraTxBody era → AllegraTxBody era → [(String, Maybe PDoc)] Source #
sameMaryTxBody ∷ Reflect era ⇒ Proof era → MaryTxBody era → MaryTxBody era → [(String, Maybe PDoc)] Source #
sameAlonzoTxBody ∷ Reflect era ⇒ Proof era → AlonzoTxBody era → AlonzoTxBody era → [(String, Maybe PDoc)] Source #
sameBabbageTxBody ∷ (Reflect era, BabbageEraTxBody era) ⇒ Proof era → BabbageTxBody era → BabbageTxBody era → [(String, Maybe PDoc)] Source #
sameConwayTxBody ∷ (ConwayEraTxBody era, Reflect era) ⇒ Proof era → ConwayTxBody era → ConwayTxBody era → [(String, Maybe PDoc)] Source #
sameShelleyTx ∷ (Reflect era, TxWits era ~ ShelleyTxWits era) ⇒ Proof era → ShelleyTx era → ShelleyTx era → [(String, Maybe PDoc)] Source #
sameAlonzoTx ∷ (Reflect era, AlonzoEraScript era, TxWits era ~ AlonzoTxWits era) ⇒ Proof era → AlonzoTx era → AlonzoTx era → [(String, Maybe PDoc)] Source #
sameShelleyTxSeq ∷ (Reflect era, Tx era ~ ShelleyTx era, SafeToHash (TxWits era)) ⇒ Proof era → ShelleyTxSeq era → ShelleyTxSeq era → [(String, Maybe PDoc)] Source #
sameAlonzoTxSeq ∷ (Reflect era, AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ Proof era → AlonzoTxSeq era → AlonzoTxSeq era → [(String, Maybe PDoc)] Source #
Orphan instances
| Terse (PParamsUpdate AllegraEra) Source # | |
Methods | |
| Terse (PParamsUpdate AlonzoEra) Source # | |
| Terse (PParamsUpdate BabbageEra) Source # | |
Methods | |
| Terse (PParamsUpdate ConwayEra) Source # | |
| Terse (PParamsUpdate MaryEra) Source # | |
| Terse (PParamsUpdate ShelleyEra) Source # | |
Methods | |
| Terse (KeyHash 'Genesis) Source # | |