ouroboros-consensus-cardano-0.24.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Cardano.Tools.DBAnalyser.Analysis

Synopsis

Documentation

data AnalysisEnv (m ∷ TypeType) blk (startFrom ∷ StartFrom) Source #

Constructors

AnalysisEnv 

Fields

data AnalysisName Source #

Instances

Instances details
Show AnalysisName Source # 
Instance details

Defined in Cardano.Tools.DBAnalyser.Types

data AnalysisStartFrom (m ∷ TypeType) blk (startFrom ∷ StartFrom) where Source #

Constructors

FromPoint ∷ ∀ blk (m ∷ TypeType). Point blk → AnalysisStartFrom m blk 'StartFromPoint 
FromLedgerState ∷ ∀ (m ∷ TypeType) 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 

data Limit Source #

Constructors

Limit Int 
Unlimited 

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.

Instances

Instances details
SingI 'StartFromLedgerState Source # 
Instance details

Defined in Cardano.Tools.DBAnalyser.Analysis

SingI 'StartFromPoint Source # 
Instance details

Defined in Cardano.Tools.DBAnalyser.Analysis

type Sing Source # 
Instance details

Defined in Cardano.Tools.DBAnalyser.Analysis