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
data AnalysisResult
- = ResultCountBlock Int
- | ResultMaxHeaderSize Word16
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
- = LedgerReapply
- | LedgerApply
data Limit
- = Limit Int
- | Unlimited
newtype NumberOfBlocks = NumberOfBlocks {
- unNumberOfBlocks ∷ Word64
}
data SStartFrom (startFrom ∷ StartFrom) where
- SStartFromPoint ∷ SStartFrom 'StartFromPoint
- SStartFromLedgerState ∷ SStartFrom 'StartFromLedgerState
data SomeAnalysis blk = SingI startFrom ⇒ SomeAnalysis (Proxy startFrom) (Analysis blk startFrom)
data StartFrom
- = StartFromPoint
- | StartFromLedgerState
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 cfg ∷ TopLevelConfig blk startFrom ∷ AnalysisStartFrom m blk startFrom db ∷ ImmutableDB IO blk registry ∷ ResourceRegistry 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 (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

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 ∷ StartFrom) where Source #

Constructors

SStartFromPoint ∷ SStartFrom 'StartFromPoint
SStartFromLedgerState ∷ SStartFrom 'StartFromLedgerState

data SomeAnalysis blk Source #

Constructors

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 ∷ (HasAnalysis blk, HasTxId (GenTx blk), HasTxs blk, LedgerSupportsMempool blk, LedgerSupportsProtocol blk, CanStowLedgerTables (LedgerState blk)) ⇒ AnalysisName → SomeAnalysis blk Source #