Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Tools.DBAnalyser.Analysis

Synopsis

data AnalysisEnv m blk startFrom = AnalysisEnv {
- cfg ∷ TopLevelConfig blk
- startFrom ∷ AnalysisStartFrom blk startFrom
- db ∷ ImmutableDB IO blk
- registry ∷ ResourceRegistry IO
- ledgerDbFS ∷ SomeHasFS IO
- limit ∷ Limit
- tracer ∷ Tracer m (TraceEvent blk)
}
data AnalysisName
- = ShowSlotBlockNo
- | CountTxOutputs
- | ShowBlockHeaderSize
- | ShowBlockTxsSize
- | ShowEBBs
- | OnlyValidation
- | StoreLedgerStateAt SlotNo LedgerApplicationMode (Flag "DoDiskSnapshotChecksum")
- | CountBlocks
- | CheckNoThunksEvery Word64
- | TraceLedgerProcessing
- | BenchmarkLedgerOps (Maybe FilePath) LedgerApplicationMode
- | ReproMempoolAndForge Int
- | GetBlockApplicationMetrics NumberOfBlocks (Maybe FilePath)
data AnalysisResult
- = ResultCountBlock Int
- | ResultMaxHeaderSize Word16
data AnalysisStartFrom blk startFrom where
- FromPoint ∷ Point blk → AnalysisStartFrom blk StartFromPoint
- FromLedgerState ∷ ExtLedgerState blk → AnalysisStartFrom blk StartFromLedgerState
data LedgerApplicationMode
- = LedgerReapply
- | LedgerApply
data Limit
- = Limit Int
- | Unlimited
newtype NumberOfBlocks = NumberOfBlocks {
- unNumberOfBlocks ∷ Word64
}
data SStartFrom startFrom where
- SStartFromPoint ∷ SStartFrom StartFromPoint
- SStartFromLedgerState ∷ SStartFrom StartFromLedgerState
data SomeAnalysis blk = ∀ startFrom.SingI startFrom ⇒ SomeAnalysis (Proxy startFrom) (Analysis blk startFrom)
data StartFrom
- = StartFromPoint
- | StartFromLedgerState
runAnalysis ∷ ∀ blk. (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, LgrDbSerialiseConstraints blk) ⇒ AnalysisName → SomeAnalysis blk

Documentation

data AnalysisEnv m blk startFrom Source #

Constructors

AnalysisEnv
Fields cfg ∷ TopLevelConfig blk startFrom ∷ AnalysisStartFrom blk startFrom db ∷ ImmutableDB 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 LedgerApplicationMode (Flag "DoDiskSnapshotChecksum")
CountBlocks
CheckNoThunksEvery Word64
TraceLedgerProcessing
BenchmarkLedgerOps (Maybe FilePath) LedgerApplicationMode
ReproMempoolAndForge Int
GetBlockApplicationMetrics NumberOfBlocks (Maybe FilePath)	Compute different block application metrics every `NumberOfBlocks`. The metrics will be written to the provided file path, or to the standard output if no file path is specified.

Instances

Instances details

Show AnalysisName Source #
Instance details 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

Instances details

Show AnalysisResult Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → AnalysisResult → ShowS # show ∷ AnalysisResult → String # showList ∷ [AnalysisResult] → ShowS #
Eq AnalysisResult Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ AnalysisResult → AnalysisResult → Bool # (/=) ∷ AnalysisResult → AnalysisResult → Bool #

data AnalysisStartFrom blk startFrom where Source #

Constructors

FromPoint ∷ Point blk → AnalysisStartFrom blk StartFromPoint
FromLedgerState ∷ ExtLedgerState blk → AnalysisStartFrom 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

Instances details

Show LedgerApplicationMode Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → LedgerApplicationMode → ShowS # show ∷ LedgerApplicationMode → String # showList ∷ [LedgerApplicationMode] → ShowS #
Eq LedgerApplicationMode Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ LedgerApplicationMode → LedgerApplicationMode → Bool # (/=) ∷ LedgerApplicationMode → LedgerApplicationMode → Bool #

data Limit Source #

Constructors

Limit Int
Unlimited

newtype NumberOfBlocks Source #

Constructors

NumberOfBlocks
Fields unNumberOfBlocks ∷ Word64

Instances

Instances details

Num NumberOfBlocks Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods (+) ∷ NumberOfBlocks → NumberOfBlocks → NumberOfBlocks # (-) ∷ NumberOfBlocks → NumberOfBlocks → NumberOfBlocks # (*) ∷ NumberOfBlocks → NumberOfBlocks → NumberOfBlocks # negate ∷ NumberOfBlocks → NumberOfBlocks # abs ∷ NumberOfBlocks → NumberOfBlocks # signum ∷ NumberOfBlocks → NumberOfBlocks # fromInteger ∷ Integer → NumberOfBlocks #
Read NumberOfBlocks Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods readsPrec ∷ Int → ReadS NumberOfBlocks # readList ∷ ReadS [NumberOfBlocks] # readPrec ∷ ReadPrec NumberOfBlocks # readListPrec ∷ ReadPrec [NumberOfBlocks] #
Show NumberOfBlocks Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods showsPrec ∷ Int → NumberOfBlocks → ShowS # show ∷ NumberOfBlocks → String # showList ∷ [NumberOfBlocks] → ShowS #
Eq NumberOfBlocks Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Types Methods (==) ∷ NumberOfBlocks → NumberOfBlocks → Bool # (/=) ∷ NumberOfBlocks → NumberOfBlocks → Bool #

data SStartFrom startFrom where Source #

Constructors

SStartFromPoint ∷ SStartFrom StartFromPoint
SStartFromLedgerState ∷ SStartFrom StartFromLedgerState

data SomeAnalysis blk Source #

Constructors

∀ startFrom.SingI startFrom ⇒ SomeAnalysis (Proxy startFrom) (Analysis blk startFrom)

data StartFrom Source #

Whether the db-analyser pass needs access to a ledger state.

Constructors

StartFromPoint
StartFromLedgerState

Instances

Instances details

SingI 'StartFromLedgerState Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis Methods sing ∷ Sing 'StartFromLedgerState Source #
SingI 'StartFromPoint Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis Methods sing ∷ Sing 'StartFromPoint Source #
type Sing Source #
Instance details Defined in Cardano.Tools.DBAnalyser.Analysis type Sing = SStartFrom

runAnalysis ∷ ∀ blk. (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, LgrDbSerialiseConstraints blk) ⇒ AnalysisName → SomeAnalysis blk Source #