Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.TerseTools

Description

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

Synopsis

class Terse t where
- terse ∷ t → String
data Case a b
- = OnLeft !a !b
- | OnRight !a !b
- | SameKey !a !b !b
caseKey ∷ Case p b → p
differences ∷ (Ord a, Eq b) ⇒ [(a, b)] → [(a, b)] → [Case a b]
mapdiffs ∷ (Ord a, Eq b) ⇒ Map a b → Map a b → [Case a b]
terselist ∷ Terse a ⇒ [Char] → [a] → [Char]
terselistfilter ∷ Terse a ⇒ [Char] → (a → Bool) → [a] → [Char]
tersemap ∷ (Terse k, Terse a) ⇒ [Char] → Map k a → [Char]
tersemapfilter ∷ (Terse k, Terse a) ⇒ [Char] → (a → Bool) → Map k a → [Char]
tersemapdiffs ∷ (Terse a, Terse b, Ord a, Eq b) ⇒ String → Map a b → Map a b → [Char]
tersediffincremental ∷ String → IncrementalStake c → IncrementalStake c → String
terseutxo ∷ (Era era, Terse (TxOut era)) ⇒ String → UTxO era → String

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 terse ∷ Coin → String Source #
Terse Ptr Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ Ptr → String Source #
Terse (Addr c) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ Addr c → String Source #
Terse (CompactForm Coin) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ CompactForm Coin → String Source #
Terse (Reward c) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Rewards Methods terse ∷ Reward c → String Source #
Terse (TxId era) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ TxId era → String Source #
Crypto c ⇒ Terse (TxIn c) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ TxIn c → String Source #
Terse x ⇒ Terse (Set x) Source #
Instance details Defined in Test.Cardano.Ledger.Shelley.Rewards Methods terse ∷ Set x → String Source #
Terse (Credential keyrole c) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ Credential keyrole c → String Source #
(Terse a, Terse b) ⇒ Terse (Case a b) Source #
Instance details Defined in Test.Cardano.Ledger.TerseTools Methods terse ∷ Case 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 showsPrec ∷ Int → Case a b → ShowS Source # show ∷ Case 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 terse ∷ Case a b → String Source #

caseKey ∷ Case 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 #

terselist ∷ Terse a ⇒ [Char] → [a] → [Char] Source #

terselistfilter ∷ Terse 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) ⇒ String → Map a b → Map a b → [Char] Source #

tersediffincremental ∷ String → IncrementalStake c → IncrementalStake c → String Source #

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