Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Tools.DBAnalyser.Analysis
Synopsis
- data AnalysisEnv (m ∷ Type → Type) blk (startFrom ∷ StartFrom) = AnalysisEnv {
- cfg ∷ TopLevelConfig blk
- startFrom ∷ AnalysisStartFrom m blk startFrom
- db ∷ ImmutableDB IO blk
- registry ∷ ResourceRegistry IO
- limit ∷ Limit
- tracer ∷ Tracer m (TraceEvent blk)
- data AnalysisName
- = ShowSlotBlockNo
- | CountTxOutputs
- | ShowBlockHeaderSize
- | ShowBlockTxsSize
- | ShowEBBs
- | OnlyValidation
- | StoreLedgerStateAt SlotNo LedgerApplicationMode
- | CountBlocks
- | CheckNoThunksEvery Word64
- | TraceLedgerProcessing
- | BenchmarkLedgerOps (Maybe FilePath) LedgerApplicationMode
- | ReproMempoolAndForge Int
- | GetBlockApplicationMetrics NumberOfBlocks (Maybe FilePath)
- data AnalysisResult
- data AnalysisStartFrom (m ∷ Type → Type) blk (startFrom ∷ StartFrom) where
- FromPoint ∷ ∀ blk (m ∷ Type → Type). Point blk → AnalysisStartFrom m blk 'StartFromPoint
- FromLedgerState ∷ ∀ (m ∷ Type → Type) blk. LedgerDB' m blk → TestInternals' m blk → AnalysisStartFrom m blk 'StartFromLedgerState
- data LedgerApplicationMode
- data Limit
- newtype NumberOfBlocks = NumberOfBlocks {}
- data SStartFrom (startFrom ∷ StartFrom) where
- data SomeAnalysis blk = SingI startFrom ⇒ SomeAnalysis (Proxy startFrom) (Analysis blk startFrom)
- data StartFrom
- runAnalysis ∷ (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, CanStowLedgerTables (LedgerState blk)) ⇒ AnalysisName → SomeAnalysis blk
Documentation
data AnalysisEnv (m ∷ Type → Type) blk (startFrom ∷ StartFrom) Source #
Constructors
AnalysisEnv | |
Fields
|
data AnalysisName Source #
Constructors
ShowSlotBlockNo | |
CountTxOutputs | |
ShowBlockHeaderSize | |
ShowBlockTxsSize | |
ShowEBBs | |
OnlyValidation | |
StoreLedgerStateAt SlotNo LedgerApplicationMode | |
CountBlocks | |
CheckNoThunksEvery Word64 | |
TraceLedgerProcessing | |
BenchmarkLedgerOps (Maybe FilePath) LedgerApplicationMode | |
ReproMempoolAndForge Int | |
GetBlockApplicationMetrics NumberOfBlocks (Maybe FilePath) | Compute different block application metrics every The metrics will be written to the provided file path, or to the standard output if no file path is specified. |
Instances
Show AnalysisName Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → AnalysisName → ShowS # show ∷ AnalysisName → String # showList ∷ [AnalysisName] → ShowS # |
data AnalysisResult Source #
Constructors
ResultCountBlock Int | |
ResultMaxHeaderSize Word16 |
Instances
Show AnalysisResult Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → AnalysisResult → ShowS # show ∷ AnalysisResult → String # showList ∷ [AnalysisResult] → ShowS # | |
Eq AnalysisResult Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ AnalysisResult → AnalysisResult → Bool # (/=) ∷ AnalysisResult → AnalysisResult → Bool # |
data AnalysisStartFrom (m ∷ Type → Type) blk (startFrom ∷ StartFrom) where Source #
Constructors
FromPoint ∷ ∀ blk (m ∷ Type → Type). Point blk → AnalysisStartFrom m blk 'StartFromPoint | |
FromLedgerState ∷ ∀ (m ∷ Type → Type) blk. LedgerDB' m blk → TestInternals' m blk → AnalysisStartFrom m blk 'StartFromLedgerState |
data LedgerApplicationMode Source #
Whether to apply blocks to a ledger state via reapplication (eg skipping signature checksPlutus scripts) or full application/ (much slower).
Constructors
LedgerReapply | |
LedgerApply |
Instances
Show LedgerApplicationMode Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → LedgerApplicationMode → ShowS # show ∷ LedgerApplicationMode → String # showList ∷ [LedgerApplicationMode] → ShowS # | |
Eq LedgerApplicationMode Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ LedgerApplicationMode → LedgerApplicationMode → Bool # (/=) ∷ LedgerApplicationMode → LedgerApplicationMode → Bool # |
newtype NumberOfBlocks Source #
Constructors
NumberOfBlocks | |
Fields |
Instances
Num NumberOfBlocks Source # | |
Defined in Cardano.Tools.DBAnalyser.Types | |
Read NumberOfBlocks Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods readsPrec ∷ Int → ReadS NumberOfBlocks # readList ∷ ReadS [NumberOfBlocks] # | |
Show NumberOfBlocks Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → NumberOfBlocks → ShowS # show ∷ NumberOfBlocks → String # showList ∷ [NumberOfBlocks] → ShowS # | |
Eq NumberOfBlocks Source # | |
Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ NumberOfBlocks → NumberOfBlocks → Bool # (/=) ∷ NumberOfBlocks → NumberOfBlocks → Bool # |
data SStartFrom (startFrom ∷ StartFrom) where Source #
Constructors
SStartFromPoint ∷ SStartFrom 'StartFromPoint | |
SStartFromLedgerState ∷ SStartFrom 'StartFromLedgerState |
data SomeAnalysis blk Source #
Constructors
SingI startFrom ⇒ SomeAnalysis (Proxy startFrom) (Analysis blk startFrom) |
Whether the db-analyser pass needs access to a ledger state.
Constructors
StartFromPoint | |
StartFromLedgerState |
Instances
SingI 'StartFromLedgerState Source # | |
Defined in Cardano.Tools.DBAnalyser.Analysis Methods | |
SingI 'StartFromPoint Source # | |
Defined in Cardano.Tools.DBAnalyser.Analysis Methods | |
type Sing Source # | |
Defined in Cardano.Tools.DBAnalyser.Analysis |
runAnalysis ∷ (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, CanStowLedgerTables (LedgerState blk)) ⇒ AnalysisName → SomeAnalysis blk Source #