cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
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

showCred ∷ ∀ (x ∷ KeyRole). Credential x → String Source #

showKeyHash ∷ ∀ (x ∷ KeyRole). KeyHash x → String Source #

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

showTxCerts ∷ ∀ era (t ∷ TxLevel). EraTxBody era ⇒ TxBody t era → String Source #

produceEqualsConsumed ∷ (EraTxBody era, EraCertState era) ⇒ PParams era → CertState era → UTxO era → TxBody 'TopTx era → String Source #