| 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 #