Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Util.Condense

Synopsis

class Condense a where
- condense ∷ a → String
class Condense1 f where
- liftCondense ∷ (a → String) → f a → String
class CondenseList a where
- condenseList ∷ [a] → [String]
data PaddingDirection
- = PadLeft
- | PadRight
condense1 ∷ (Condense1 f, Condense a) ⇒ f a → String
condenseListWithPadding ∷ Condense a ⇒ PaddingDirection → [a] → [String]
padListWith ∷ PaddingDirection → [String] → [String]

Documentation

class Condense a where Source #

Condensed but human-readable output

Methods

condense ∷ a → String Source #

Instances

Instances details

Condense Void Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Void → String Source #
Condense Int64 Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Int64 → String Source #
Condense Rational Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Rational → String Source #
Condense Word32 Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Word32 → String Source #
Condense Word64 Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Word64 → String Source #
Condense ByteString Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ ByteString → String Source #
Condense ByteString Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ ByteString → String Source #
Condense BlockNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ BlockNo → String Source #
Condense EpochNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ EpochNo → String Source #
Condense SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SlotNo → String Source #
Condense IsEBB Source #
Instance details Defined in Ouroboros.Consensus.Block.EBB Methods condense ∷ IsEBB → String Source #
Condense CoreNodeId Source #
Instance details Defined in Ouroboros.Consensus.NodeId Methods condense ∷ CoreNodeId → String Source #
Condense NodeId Source #
Instance details Defined in Ouroboros.Consensus.NodeId Methods condense ∷ NodeId → String Source #
Condense LeaderSchedule Source #
Instance details Defined in Ouroboros.Consensus.Protocol.LeaderSchedule Methods condense ∷ LeaderSchedule → String Source #
Condense ScheduledGc Source #
Instance details Defined in Ouroboros.Consensus.Storage.ChainDB.Impl.Background Methods condense ∷ ScheduledGc → String Source #
Condense Time Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Time → String Source #
Condense Text Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Text → String Source #
Condense Natural Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Natural → String Source #
Condense Bool Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Bool → String Source #
Condense Int Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Int → String Source #
Condense Word Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Word → String Source #
Condense (SigDSIGN Ed25519DSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN Ed25519DSIGN → String Source #
Condense (SigDSIGN Ed448DSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN Ed448DSIGN → String Source #
Condense (SigDSIGN MockDSIGN) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigDSIGN MockDSIGN → String Source #
Show (VerKeyDSIGN d) ⇒ Condense (VerKeyDSIGN d) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ VerKeyDSIGN d → String Source #
Condense (SigKES (MockKES t)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigKES (MockKES t) → String Source #
Condense (SigKES NeverKES) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigKES NeverKES → String Source #
Condense (SigDSIGN d) ⇒ Condense (SigKES (SimpleKES d t)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigKES (SimpleKES d t) → String Source #
Condense (SigDSIGN d) ⇒ Condense (SigKES (SingleKES d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigKES (SingleKES d) → String Source #
(Condense (SigKES d), Condense (VerKeyKES d)) ⇒ Condense (SigKES (SumKES h d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SigKES (SumKES h d) → String Source #
Condense (VerKeyDSIGN d) ⇒ Condense (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ VerKeyKES (SingleKES d) → String Source #
Condense (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ VerKeyKES (SumKES h d) → String Source #
Condense a ⇒ Condense (WithOrigin a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ WithOrigin a → String Source #
Condense a ⇒ Condense (Set a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Set a → String Source #
All CondenseConstraints xs ⇒ Condense (Header (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ Header (HardForkBlock xs) → String Source #
Condense (HeaderHash blk) ⇒ Condense (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods condense ∷ RealPoint blk → String Source #
All SingleEraBlock xs ⇒ Condense (EraIndex xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock Methods condense ∷ EraIndex xs → String Source #
All CondenseConstraints xs ⇒ Condense (HardForkBlock xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ HardForkBlock xs → String Source #
CanHardFork xs ⇒ Condense (HardForkLedgerUpdate xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods condense ∷ HardForkLedgerUpdate xs → String Source #
All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ GenTx (HardForkBlock xs) → String Source #
All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #
Condense (GenTxId blk) ⇒ Condense (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ WrapGenTxId blk → String Source #
All Condense as ⇒ Condense (HList as) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ HList as → String Source #
(Condense block, HasHeader block, Condense (HeaderHash block)) ⇒ Condense (AnchoredFragment block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ AnchoredFragment block → String Source #
Condense block ⇒ Condense (Chain block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Chain block → String Source #
Condense a ⇒ Condense (I a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ I a → String Source #
Condense a ⇒ Condense (Maybe a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Maybe a → String Source #
Condense a ⇒ Condense [a] Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ [a] → String Source #
Condense (SigDSIGN v) ⇒ Condense (SignedDSIGN v a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SignedDSIGN v a → String Source #
Condense (Hash h a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Hash h a → String Source #
Condense (SigKES v) ⇒ Condense (SignedKES v a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ SignedKES v a → String Source #
(Condense k, Condense a) ⇒ Condense (Map k a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Map k a → String Source #
Condense (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense ∷ OneEraHash xs → String Source #
Condense m ⇒ Condense (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods condense ∷ DualBlock m a → String Source #
BftCrypto c ⇒ Condense (BftFields c toSign) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods condense ∷ BftFields c toSign → String Source #
PBftCrypto c ⇒ Condense (PBftFields c toSign) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods condense ∷ PBftFields c toSign → String Source #
Condense (HeaderHash b) ⇒ Condense (ChainHash b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ ChainHash b → String Source #
Condense (HeaderHash block) ⇒ Condense (Point block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Point block → String Source #
Condense (HeaderHash b) ⇒ Condense (Tip b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ Tip b → String Source #
(Condense a, Condense b) ⇒ Condense (a, b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ (a, b) → String Source #
(Condense a, Condense b, Condense c) ⇒ Condense (a, b, c) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ (a, b, c) → String Source #
(Condense a, Condense b, Condense c, Condense d) ⇒ Condense (a, b, c, d) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ (a, b, c, d) → String Source #
(Condense a, Condense b, Condense c, Condense d, Condense e) ⇒ Condense (a, b, c, d, e) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense ∷ (a, b, c, d, e) → String Source #

class Condense1 f where Source #

Methods

liftCondense ∷ (a → String) → f a → String Source #

Instances

Instances details

Condense1 Set Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods liftCondense ∷ (a → String) → Set a → String Source #
Condense1 List Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods liftCondense ∷ (a → String) → [a] → String Source #

class CondenseList a where Source #

Human-readable list of condensed strings. All result strings have the same length, for alignment purposes.

Methods

condenseList ∷ [a] → [String] Source #

data PaddingDirection Source #

Constructors

PadLeft
PadRight

condense1 ∷ (Condense1 f, Condense a) ⇒ f a → String Source #

Lift the standard condense function through the type constructor

condenseListWithPadding ∷ Condense a ⇒ PaddingDirection → [a] → [String] Source #

padListWith ∷ PaddingDirection → [String] → [String] Source #