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

Cardano.Ledger.Shelley.Rules.Reports

Description

Tools for reporting things in readable manner. Used in Rules to implement STS renderAssertionViolation methods, and in Tests.

Synopsis

Documentation

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

produceEqualsConsumedEraTxBody era ⇒ PParams era → CertState era → UTxO era → TxBody era → String Source #