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 ( SigDSIGN Ed25519DSIGN ) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN Ed25519DSIGN -> String Source #
Condense ( SigDSIGN MockDSIGN ) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN MockDSIGN -> String Source #
Condense ( SigDSIGN Ed448DSIGN ) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigDSIGN Ed448DSIGN -> String Source #
Show ( VerKeyDSIGN d) => Condense ( VerKeyDSIGN d) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: VerKeyDSIGN d -> 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 ( SigDSIGN d) => Condense ( SigKES ( SingleKES d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SigKES ( SingleKES 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 ( VerKeyKES ( SumKES h d)) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: VerKeyKES ( 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 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 block => Condense ( Chain block) Source #
Instance details Defined in Ouroboros.Consensus.Util.Orphans Methods condense :: Chain block -> 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 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.Orphans 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 ( I a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: I a -> 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 ( 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 ( SigDSIGN v) => Condense ( SignedDSIGN v a) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: SignedDSIGN v 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 ( 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