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