Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Util.Condense

Synopsis

class Condense a where
- condense :: a -> String
class Condense1 f where
- liftCondense :: (a -> String) -> f a -> String
condense1 :: (Condense1 f, Condense a) => f a -> String

Documentation

class Condense a where Source #

Condensed but human-readable output

Methods

condense :: a -> String Source #

Instances

Instances details

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 Int64 Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Int64 -> String Source #
Condense Natural Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Natural -> String Source #
Condense Rational Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Rational -> String Source #
Condense Word Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Word -> 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 Text Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Text -> String Source #
Condense Void Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Void -> String Source #
Condense SeekMode Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: SeekMode -> String Source #
Condense SlotNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SlotNo -> String Source #
Condense EpochNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: EpochNo -> String Source #
Condense BlockNo Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: BlockNo -> String Source #
Condense Time Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Time -> String Source #
Condense FsErrorPath Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: FsErrorPath -> String Source #
Condense FsPath Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: FsPath -> String Source #
Condense AllowExisting Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: AllowExisting -> String Source #
Condense OpenMode Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: OpenMode -> 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 IsEBB Source #
Instance details Defined in Ouroboros.Consensus.Block.EBB Methods condense :: IsEBB -> 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 a => Condense [a] Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: [a] -> String Source #
Condense a => Condense (Maybe a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Maybe a -> 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 (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 (SigKES (SingleKES d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigKES (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 (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: VerKeyKES (SingleKES d) -> 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 a => Condense (Set a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Set a -> 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 (I a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: I a -> String Source #
(Condense block, HasHeader block, Condense (HeaderHash block)) => Condense (AnchoredFragment block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods condense :: AnchoredFragment block -> String Source #
Condense (HeaderHash block) => Condense (Point block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods condense :: Point block -> 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 b) => Condense (Tip b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Tip b -> String Source #
All Condense as => Condense (HList as) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: HList as -> String Source #
Condense (Handle h) Source #
Instance details Defined in Ouroboros.Consensus.Storage.FS.API.Types Methods condense :: Handle h -> 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 block => Condense (Chain block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods condense :: Chain block -> String Source #
Condense (HeaderHash blk) => Condense (RealPoint blk) Source #
Instance details Defined in Ouroboros.Consensus.Block.RealPoint Methods condense :: RealPoint blk -> 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 #
All CondenseConstraints xs => Condense (GenTx (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: 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 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 #
(Condense a, Condense b) => Condense (a, b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: (a, b) -> 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 (SigKES v) => Condense (SignedKES v a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SignedKES v 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 #
BftCrypto c => Condense (BftFields c toSign) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods condense :: BftFields c toSign -> String Source #
Condense m => Condense (DualBlock m a) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods condense :: DualBlock m a -> String Source #
Condense (OneEraHash xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods condense :: OneEraHash xs -> 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 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 [] Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods liftCondense :: (a -> String) -> [a] -> String Source #
Condense1 Set Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods liftCondense :: (a -> String) -> Set a -> String Source #

condense1 :: (Condense1 f, Condense a) => f a -> String Source #

Lift the standard condense function through the type constructor