Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Tools.DBAnalyser.Analysis

Documentation

data AnalysisEnv m blk Source #

Constructors

AnalysisEnv
Fields cfg :: TopLevelConfig blk initLedger :: ExtLedgerState blk db :: Either (ImmutableDB IO blk) (ChainDB IO blk) registry :: ResourceRegistry IO ledgerDbFS :: SomeHasFS IO limit :: Limit tracer :: Tracer m (TraceEvent blk)

data AnalysisName Source #

Constructors

ShowSlotBlockNo
CountTxOutputs
ShowBlockHeaderSize
ShowBlockTxsSize
ShowEBBs
OnlyValidation
StoreLedgerStateAt SlotNo
CountBlocks
CheckNoThunksEvery Word64
TraceLedgerProcessing
BenchmarkLedgerOps (Maybe FilePath)
ReproMempoolAndForge Int

Instances

Instances details

Show AnalysisName Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis Methods showsPrec :: Int -> AnalysisName -> ShowS Source # show :: AnalysisName -> String Source # showList :: [AnalysisName] -> ShowS Source #

data AnalysisResult Source #

Constructors

ResultCountBlock Int
ResultMaxHeaderSize Word16

Instances

Instances details

Show AnalysisResult Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis Methods showsPrec :: Int -> AnalysisResult -> ShowS Source # show :: AnalysisResult -> String Source # showList :: [AnalysisResult] -> ShowS Source #
Eq AnalysisResult Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis Methods (==) :: AnalysisResult -> AnalysisResult -> Bool Source # (/=) :: AnalysisResult -> AnalysisResult -> Bool Source #

data Limit Source #

Constructors

Limit Int
Unlimited

runAnalysis :: forall blk. (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, LgrDbSerialiseConstraints blk) => AnalysisName -> Analysis blk Source #