cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.TerseTools

Description

This module suppies tools to tersely describe the differences between 2 values of the same type.

Synopsis

Documentation

class Terse t where Source #

Methods

terse ∷ t → String Source #

Instances

Instances details
Terse Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseCoinString Source #

Terse Ptr Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

tersePtrString Source #

Terse (Addr c) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseAddr c → String Source #

Terse (CompactForm Coin) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Terse (Reward c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rewards

Methods

terseReward c → String Source #

Terse (TxId era) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseTxId era → String Source #

Crypto era ⇒ Terse (TxIn era) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseTxIn era → String Source #

Terse x ⇒ Terse (Set x) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rewards

Methods

terseSet x → String Source #

Terse (Credential keyrole c) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseCredential keyrole c → String Source #

(Terse a, Terse b) ⇒ Terse (Case a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseCase a b → String Source #

(Terse a, Terse b) ⇒ Terse (a, b) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terse ∷ (a, b) → String Source #

(Terse a, Terse b, Terse c) ⇒ Terse (a, b, c) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terse ∷ (a, b, c) → String Source #

data Case a b Source #

Constructors

OnLeft !a !b 
OnRight !a !b 
SameKey !a !b !b 

Instances

Instances details
(Terse a, Terse b) ⇒ Show (Case a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

showsPrecIntCase a b → ShowS Source #

showCase a b → String Source #

showList ∷ [Case a b] → ShowS Source #

(Terse a, Terse b) ⇒ Terse (Case a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.TerseTools

Methods

terseCase a b → String Source #

caseKeyCase p b → p Source #

differences ∷ (Ord a, Eq b) ⇒ [(a, b)] → [(a, b)] → [Case a b] Source #

we assume the lists are lexigraphically sorted

mapdiffs ∷ (Ord a, Eq b) ⇒ Map a b → Map a b → [Case a b] Source #

terselistTerse a ⇒ [Char] → [a] → [Char] Source #

terselistfilterTerse a ⇒ [Char] → (a → Bool) → [a] → [Char] Source #

tersemap ∷ (Terse k, Terse a) ⇒ [Char] → Map k a → [Char] Source #

tersemapfilter ∷ (Terse k, Terse a) ⇒ [Char] → (a → Bool) → Map k a → [Char] Source #

tersemapdiffs ∷ (Terse a, Terse b, Ord a, Eq b) ⇒ StringMap a b → Map a b → [Char] Source #

terseutxo ∷ (Era era, Terse (TxOut era)) ⇒ StringUTxO era → String Source #