cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Internal

Description

Provide Tools for debugging Feel free to add new things as they are developed.

Synopsis

Documentation

traceString → a → a Source #

The trace function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of f x and outputs the message to stderr. Depending on your terminal (settings), they may or may not be mixed.

>>> let x = 123; f = show
>>> trace ("calling f with x = " ++ show x) (f x)
calling f with x = 123
"123"

The trace function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.

totalAdaPotsES ∷ (EraTxOut era, EraGov era) ⇒ EpochState era → AdaPots Source #

Calculate the total ada pots in the epoch state

producedTxBodyEraTxBody era ⇒ TxBody era → PParams era → CertState era → Produced Source #

Compute the Coin part of what is produced by a TxBody, itemized as a Produced

consumedTxBodyEraTxBody era ⇒ TxBody era → PParams era → CertState era → UTxO era → Consumed Source #

Compute the Coin part of what is consumed by a TxBody, itemized as a Consume

showListyFoldable t ⇒ (a → String) → t a → String Source #

showMap ∷ (t1 → [Char]) → (t2 → [Char]) → Map t1 t2 → String Source #

synopsisCoinMapMaybe (Map k Coin) → String Source #

Display a synopsis of a map to Coin