Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Phase
- data Summary f where
- data Chain = Chain {
- cDomSlots :: !(DataDomain I SlotNo)
- cDomBlocks :: !(DataDomain I BlockNo)
- cRejecta :: ![BlockEvents]
- cMainChain :: ![BlockEvents]
- cHostBlockStats :: !(Map Host HostBlockStats)
- data BlockProp f = BlockProp {
- bpVersion :: !LocliVersion
- bpDomainSlots :: !(CDFList f (DataDomain I SlotNo))
- bpDomainBlocks :: !(CDFList f (DataDomain I BlockNo))
- bpDomainCDFSlots :: !(DataDomain f SlotNo)
- bpDomainCDFBlocks :: !(DataDomain f BlockNo)
- cdfForgerStart :: !(CDF f NominalDiffTime)
- cdfForgerBlkCtx :: !(CDF f NominalDiffTime)
- cdfForgerLgrState :: !(CDF f NominalDiffTime)
- cdfForgerLgrView :: !(CDF f NominalDiffTime)
- cdfForgerLead :: !(CDF f NominalDiffTime)
- cdfForgerTicked :: !(CDF f NominalDiffTime)
- cdfForgerMemSnap :: !(CDF f NominalDiffTime)
- cdfForgerForge :: !(CDF f NominalDiffTime)
- cdfForgerAnnounce :: !(CDF f NominalDiffTime)
- cdfForgerAdoption :: !(CDF f NominalDiffTime)
- cdfForgerSend :: !(CDF f NominalDiffTime)
- cdfForgerAnnounceCum :: !(CDF f NominalDiffTime)
- cdfPeerNoticeFirst :: !(CDF f NominalDiffTime)
- cdfPeerFetchFirst :: !(CDF f NominalDiffTime)
- cdfPeerRequest :: !(CDF f NominalDiffTime)
- cdfPeerFetch :: !(CDF f NominalDiffTime)
- cdfPeerAnnounce :: !(CDF f NominalDiffTime)
- cdfPeerAdoption :: !(CDF f NominalDiffTime)
- cdfPeerSend :: !(CDF f NominalDiffTime)
- cdfBlocksPerHost :: !(CDF f Int)
- cdfBlocksFilteredRatio :: !(CDF f Double)
- cdfBlocksChainedRatio :: !(CDF f Double)
- cdfBlockBattle :: !(CDF f Int)
- cdfBlockSize :: !(CDF f Int)
- bpPropagation :: !(Map Text (CDF f NominalDiffTime))
- data MachPerf f = MachPerf {
- mpVersion :: !LocliVersion
- mpDomainSlots :: !(CDFList f (DataDomain I SlotNo))
- mpDomainCDFSlots :: !(DataDomain f SlotNo)
- cdfHostSlots :: !(CDF f Word64)
- cdfStarts :: !(CDF f Word64)
- cdfLeads :: !(CDF f Word64)
- cdfUtxo :: !(CDF f Word64)
- cdfDensity :: !(CDF f Double)
- cdfStarted :: !(CDF f NominalDiffTime)
- cdfBlkCtx :: !(CDF f NominalDiffTime)
- cdfLgrState :: !(CDF f NominalDiffTime)
- cdfLgrView :: !(CDF f NominalDiffTime)
- cdfLeading :: !(CDF f NominalDiffTime)
- cdfBlockGap :: !(CDF f Word64)
- cdfSpanLensCpu :: !(CDF f Int)
- cdfSpanLensCpuEpoch :: !(CDF f Int)
- cdfSpanLensCpuRwd :: !(CDF f Int)
- mpResourceCDFs :: !(Resources (CDF f Word64))
- data BlockEvents = BlockEvents {
- beBlock :: !Hash
- beBlockPrev :: !Hash
- beBlockNo :: !BlockNo
- beSlotNo :: !SlotNo
- beEpochNo :: !EpochNo
- beEpochSafeInt :: !EpochSafeInt
- beForge :: !BlockForge
- beObservations :: ![BlockObservation]
- beForks :: !(Count BlockEvents)
- bePropagation :: !(CDF I NominalDiffTime)
- beOtherBlocks :: ![Hash]
- beErrors :: ![BPError]
- beAcceptance :: ![(ChainFilter, Bool)]
- type SummaryOne = Summary I
- type MultiSummary = Summary (CDF I)
- data SomeSummary = forall f.KnownCDF f => SomeSummary (Summary f)
- data SomeBlockProp = forall f.KnownCDF f => SomeBlockProp (BlockProp f)
- type BlockPropOne = BlockProp I
- type MultiBlockProp = BlockProp (CDF I)
- data HostBlockStats = HostBlockStats {
- hbsFiltered :: !(Count ForgerEvents)
- hbsRejected :: !(Count ForgerEvents)
- hbsUnchained :: !(Count ForgerEvents)
- data ForgerEvents a = ForgerEvents {
- bfeHost :: !Host
- bfeBlock :: !Hash
- bfeBlockPrev :: !Hash
- bfeBlockNo :: !BlockNo
- bfeSlotNo :: !SlotNo
- bfeSlotStart :: !SlotStart
- bfeEpochNo :: !EpochNo
- bfeBlockSize :: !(SMaybe Int)
- bfeStarted :: !(SMaybe a)
- bfeBlkCtx :: !(SMaybe a)
- bfeLgrState :: !(SMaybe a)
- bfeLgrView :: !(SMaybe a)
- bfeLeading :: !(SMaybe a)
- bfeTicked :: !(SMaybe a)
- bfeMemSnap :: !(SMaybe a)
- bfeForged :: !(SMaybe a)
- bfeAnnounced :: !(SMaybe a)
- bfeAnnouncedCum :: !(SMaybe a)
- bfeSending :: !(SMaybe a)
- bfeAdopted :: !(SMaybe a)
- bfeChainDelta :: !Int
- bfeErrs :: [BPError]
- type MachPerfOne = MachPerf I
- type ClusterPerf = MachPerf (CDF I)
- newtype MultiClusterPerf = MultiClusterPerf {}
- data BPError = BPError {}
- data BlockForge = BlockForge {
- bfForger :: !Host
- bfSlotStart :: !SlotStart
- bfBlockGap :: !NominalDiffTime
- bfBlockSize :: !Int
- bfStarted :: !NominalDiffTime
- bfBlkCtx :: !(SMaybe NominalDiffTime)
- bfLgrState :: !(SMaybe NominalDiffTime)
- bfLgrView :: !(SMaybe NominalDiffTime)
- bfLeading :: !NominalDiffTime
- bfTicked :: !(SMaybe NominalDiffTime)
- bfMemSnap :: !(SMaybe NominalDiffTime)
- bfForged :: !NominalDiffTime
- bfAnnounced :: !NominalDiffTime
- bfAnnouncedCum :: !NominalDiffTime
- bfSending :: !NominalDiffTime
- bfAdopted :: !NominalDiffTime
- bfChainDelta :: !Int
- data BlockObservation = BlockObservation {
- boObserver :: !Host
- boSlotStart :: !SlotStart
- boNoticed :: !NominalDiffTime
- boRequested :: !NominalDiffTime
- boFetched :: !NominalDiffTime
- boAnnounced :: !(SMaybe NominalDiffTime)
- boSending :: !(SMaybe NominalDiffTime)
- boAdopted :: !(SMaybe NominalDiffTime)
- boChainDelta :: !Int
- boErrorsCrit :: ![BPError]
- boErrorsSoft :: ![BPError]
- data BPErrorKind
- data RunScalars = RunScalars {}
- data SlotStats a = SlotStats {
- slSlot :: !SlotNo
- slEpoch :: !EpochNo
- slEpochSlot :: !EpochSlot
- slEpochSafeInt :: !EpochSafeInt
- slStart :: !SlotStart
- slCountStarts :: !Word64
- slCountBlkCtx :: !Word64
- slCountLgrState :: !Word64
- slCountLgrView :: !Word64
- slCountLeads :: !Word64
- slCountForges :: !Word64
- slChainDBSnap :: !Word64
- slRejectedTx :: !Word64
- slBlockNo :: !BlockNo
- slBlockGap :: !Word64
- slStarted :: !(SMaybe a)
- slBlkCtx :: !(SMaybe a)
- slLgrState :: !(SMaybe a)
- slLgrView :: !(SMaybe a)
- slTicked :: !(SMaybe a)
- slMemSnap :: !(SMaybe a)
- slLeading :: !(SMaybe a)
- slForged :: !(SMaybe a)
- slMempoolTxs :: !Word64
- slSpanTxsMem :: !(SMaybe NominalDiffTime)
- slTxsCollected :: !Word64
- slTxsAccepted :: !Word64
- slTxsRejected :: !Word64
- slUtxoSize :: !Word64
- slDensity :: !Double
- slResources :: !(SMaybe (Resources Word64))
- slLogObjects :: ![LogObject]
- data PropSubset
- data PerfSubset
- hbsTotal :: HostBlockStats -> Count ForgerEvents
- hbsChained :: HostBlockStats -> Count ForgerEvents
- allBlockForgeTimes :: Monoid (f Text) => (Text -> NominalDiffTime -> f Text) -> BlockForge -> f Text
- allBlockObservationTimes :: Monoid (f Text) => (Text -> NominalDiffTime -> f Text) -> BlockObservation -> f Text
- testBlockEvents :: Genesis -> BlockEvents -> ChainFilter -> Bool
- isValidBlockObservation :: BlockObservation -> Bool
- testSlotStats :: Genesis -> SlotStats a -> SlotCond -> Bool
- parsePropSubset :: Parser PropSubset
- renderAdoptionCentile :: Centile -> Text
- adoptionCentiles :: [Centile]
- adoptionCentilesBrief :: [Centile]
- parsePerfSubset :: Parser PerfSubset
Documentation
Instances
FromJSON Phase Source # | |
Defined in Cardano.Analysis.API.Types | |
ToJSON Phase Source # | |
Defined in Cardano.Analysis.API.Types | |
Generic Phase Source # | |
Show Phase Source # | |
NFData Phase Source # | |
Defined in Cardano.Analysis.API.Types | |
Eq Phase Source # | |
Ord Phase Source # | |
Defined in Cardano.Analysis.API.Types | |
type Rep Phase Source # | |
Defined in Cardano.Analysis.API.Types type Rep Phase = D1 ('MetaData "Phase" "Cardano.Analysis.API.Types" "locli-1.34-inplace" 'False) (((C1 ('MetaCons "Notice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Request" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Fetch" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Forge" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Acquire" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Announce" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Adopt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Send" 'PrefixI 'False) (U1 :: Type -> Type)))) |
Overall analysis summary of a run.
Summary | |
|
Instances
Chain | |
|
Results of block propagation analysis.
Instances
The top-level representation of the machine timeline analysis results.
MachPerf | |
|
Instances
data BlockEvents Source #
All events related to a block.
BlockEvents | |
|
Instances
type SummaryOne = Summary I Source #
data SomeSummary Source #
forall f.KnownCDF f => SomeSummary (Summary f) |
Instances
FromJSON SomeSummary Source # | |
Defined in Cardano.Analysis.API.Types parseJSON :: Value -> Parser SomeSummary # parseJSONList :: Value -> Parser [SomeSummary] # |
data SomeBlockProp Source #
forall f.KnownCDF f => SomeBlockProp (BlockProp f) |
Instances
FromJSON SomeBlockProp Source # | |
Defined in Cardano.Analysis.API.Types parseJSON :: Value -> Parser SomeBlockProp # parseJSONList :: Value -> Parser [SomeBlockProp] # |
type BlockPropOne = BlockProp I Source #
data HostBlockStats Source #
HostBlockStats | |
|
Instances
data ForgerEvents a Source #
Block's events, as seen by its forger.
ForgerEvents | |
|
Instances
type MachPerfOne = MachPerf I Source #
One machine's performance
newtype MultiClusterPerf Source #
Bunch'a bunches'a machine performances. Same as above, since we collapse [CDF I] into CDF I -- just with more statistical confidence.
Instances
FromJSON MultiClusterPerf Source # | |
Defined in Cardano.Analysis.API.Types parseJSON :: Value -> Parser MultiClusterPerf # parseJSONList :: Value -> Parser [MultiClusterPerf] # | |
ToJSON MultiClusterPerf Source # | |
Defined in Cardano.Analysis.API.Metrics toJSON :: MultiClusterPerf -> Value # toEncoding :: MultiClusterPerf -> Encoding # toJSONList :: [MultiClusterPerf] -> Value # toEncodingList :: [MultiClusterPerf] -> Encoding # omitField :: MultiClusterPerf -> Bool # |
Instances
FromJSON BPError Source # | |
Defined in Cardano.Analysis.API.Types | |
ToJSON BPError Source # | |
Defined in Cardano.Analysis.API.Types | |
Generic BPError Source # | |
Show BPError Source # | |
NFData BPError Source # | |
Defined in Cardano.Analysis.API.Types | |
type Rep BPError Source # | |
Defined in Cardano.Analysis.API.Types type Rep BPError = D1 ('MetaData "BPError" "Cardano.Analysis.API.Types" "locli-1.34-inplace" 'False) (C1 ('MetaCons "BPError" 'PrefixI 'True) ((S1 ('MetaSel ('Just "eHost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Host) :*: S1 ('MetaSel ('Just "eBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Hash)) :*: (S1 ('MetaSel ('Just "eLO") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LogObject)) :*: S1 ('MetaSel ('Just "eDesc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BPErrorKind)))) |
data BlockForge Source #
BlockForge | |
|
Instances
data BlockObservation Source #
BlockObservation | |
|
Instances
data BPErrorKind Source #
Instances
data RunScalars Source #
From SlotStats collection:
Instances
Generic RunScalars Source # | |
Defined in Cardano.Analysis.API.Types from :: RunScalars -> Rep RunScalars x Source # to :: Rep RunScalars x -> RunScalars Source # | |
NFData RunScalars Source # | |
Defined in Cardano.Analysis.API.Types rnf :: RunScalars -> () Source # | |
type Rep RunScalars Source # | |
Defined in Cardano.Analysis.API.Types type Rep RunScalars = D1 ('MetaData "RunScalars" "Cardano.Analysis.API.Types" "locli-1.34-inplace" 'False) (C1 ('MetaCons "RunScalars" 'PrefixI 'True) (S1 ('MetaSel ('Just "rsElapsed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe NominalDiffTime)) :*: (S1 ('MetaSel ('Just "rsSubmitted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Word64)) :*: S1 ('MetaSel ('Just "rsThreadwiseTps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Double]))))) |
SlotStats | |
|
Instances
data PropSubset Source #
Instances
Show PropSubset Source # | |
Defined in Cardano.Analysis.API.Types |
data PerfSubset Source #
Instances
Show PerfSubset Source # | |
Defined in Cardano.Analysis.API.Types |
allBlockForgeTimes :: Monoid (f Text) => (Text -> NominalDiffTime -> f Text) -> BlockForge -> f Text Source #
allBlockObservationTimes :: Monoid (f Text) => (Text -> NominalDiffTime -> f Text) -> BlockObservation -> f Text Source #
testBlockEvents :: Genesis -> BlockEvents -> ChainFilter -> Bool Source #
renderAdoptionCentile :: Centile -> Text Source #
adoptionCentiles :: [Centile] Source #