locli-1.34: Cardano log analysis CLI
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Analysis.API.ChainFilter

Synopsis

Documentation

data ChainFilter Source #

Conditions for chain subsetting

Constructors

CBlock BlockCond 
CSlot SlotCond 

Instances

Instances details
FromJSON ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

parseJSON :: Value -> Parser ChainFilter #

parseJSONList :: Value -> Parser [ChainFilter] #

omittedField :: Maybe ChainFilter #

ToJSON ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

toJSON :: ChainFilter -> Value #

toEncoding :: ChainFilter -> Encoding #

toJSONList :: [ChainFilter] -> Value #

toEncodingList :: [ChainFilter] -> Encoding #

omitField :: ChainFilter -> Bool #

Generic ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Associated Types

type Rep ChainFilter :: Type -> Type Source #

Methods

from :: ChainFilter -> Rep ChainFilter x Source #

to :: Rep ChainFilter x -> ChainFilter Source #

Show ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

showsPrec :: Int -> ChainFilter -> ShowS Source #

show :: ChainFilter -> String Source #

showList :: [ChainFilter] -> ShowS Source #

NFData ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

rnf :: ChainFilter -> () Source #

Eq ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

(==) :: ChainFilter -> ChainFilter -> Bool Source #

(/=) :: ChainFilter -> ChainFilter -> Bool Source #

Ord ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

compare :: ChainFilter -> ChainFilter -> Ordering Source #

(<) :: ChainFilter -> ChainFilter -> Bool Source #

(<=) :: ChainFilter -> ChainFilter -> Bool Source #

(>) :: ChainFilter -> ChainFilter -> Bool Source #

(>=) :: ChainFilter -> ChainFilter -> Bool Source #

max :: ChainFilter -> ChainFilter -> ChainFilter Source #

min :: ChainFilter -> ChainFilter -> ChainFilter Source #

type Rep ChainFilter Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

type Rep ChainFilter = D1 ('MetaData "ChainFilter" "Cardano.Analysis.API.ChainFilter" "locli-1.34-inplace" 'False) (C1 ('MetaCons "CBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BlockCond)) :+: C1 ('MetaCons "CSlot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SlotCond)))

newtype JsonFilterFile Source #

Constructors

JsonFilterFile 

Fields

Instances

Instances details
Show JsonFilterFile Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

showsPrec :: Int -> JsonFilterFile -> ShowS Source #

show :: JsonFilterFile -> String Source #

showList :: [JsonFilterFile] -> ShowS Source #

Eq JsonFilterFile Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

(==) :: JsonFilterFile -> JsonFilterFile -> Bool Source #

(/=) :: JsonFilterFile -> JsonFilterFile -> Bool Source #

newtype FilterName Source #

Constructors

FilterName 

Fields

Instances

Instances details
FromJSON FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

parseJSON :: Value -> Parser FilterName #

parseJSONList :: Value -> Parser [FilterName] #

omittedField :: Maybe FilterName #

ToJSON FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

toJSON :: FilterName -> Value #

toEncoding :: FilterName -> Encoding #

toJSONList :: [FilterName] -> Value #

toEncodingList :: [FilterName] -> Encoding #

omitField :: FilterName -> Bool #

Generic FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Associated Types

type Rep FilterName :: Type -> Type Source #

Methods

from :: FilterName -> Rep FilterName x Source #

to :: Rep FilterName x -> FilterName Source #

Show FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

showsPrec :: Int -> FilterName -> ShowS Source #

show :: FilterName -> String Source #

showList :: [FilterName] -> ShowS Source #

NFData FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

rnf :: FilterName -> () Source #

Eq FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

(==) :: FilterName -> FilterName -> Bool Source #

(/=) :: FilterName -> FilterName -> Bool Source #

type Rep FilterName Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

type Rep FilterName = D1 ('MetaData "FilterName" "Cardano.Analysis.API.ChainFilter" "locli-1.34-inplace" 'True) (C1 ('MetaCons "FilterName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFilterName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data BlockCond Source #

Block classification -- primary for validity as subjects of analysis.

Constructors

BUnitaryChainDelta

All timings account for processing of a single block.

BFullnessGEq Double

Block fullness is above fraction.

BFullnessLEq Double

Block fullness is below fraction.

BSizeGEq Word64 
BSizeLEq Word64 
BMinimumAdoptions Word64

At least this many adoptions

BNonNegatives

Non-negative timings only

Instances

Instances details
FromJSON BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

parseJSON :: Value -> Parser BlockCond #

parseJSONList :: Value -> Parser [BlockCond] #

omittedField :: Maybe BlockCond #

ToJSON BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

toJSON :: BlockCond -> Value #

toEncoding :: BlockCond -> Encoding #

toJSONList :: [BlockCond] -> Value #

toEncodingList :: [BlockCond] -> Encoding #

omitField :: BlockCond -> Bool #

Generic BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Associated Types

type Rep BlockCond :: Type -> Type Source #

Methods

from :: BlockCond -> Rep BlockCond x Source #

to :: Rep BlockCond x -> BlockCond Source #

Show BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

showsPrec :: Int -> BlockCond -> ShowS Source #

show :: BlockCond -> String Source #

showList :: [BlockCond] -> ShowS Source #

NFData BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

rnf :: BlockCond -> () Source #

Eq BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

(==) :: BlockCond -> BlockCond -> Bool Source #

(/=) :: BlockCond -> BlockCond -> Bool Source #

Ord BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

compare :: BlockCond -> BlockCond -> Ordering Source #

(<) :: BlockCond -> BlockCond -> Bool Source #

(<=) :: BlockCond -> BlockCond -> Bool Source #

(>) :: BlockCond -> BlockCond -> Bool Source #

(>=) :: BlockCond -> BlockCond -> Bool Source #

max :: BlockCond -> BlockCond -> BlockCond Source #

min :: BlockCond -> BlockCond -> BlockCond Source #

type Rep BlockCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

type Rep BlockCond = D1 ('MetaData "BlockCond" "Cardano.Analysis.API.ChainFilter" "locli-1.34-inplace" 'False) ((C1 ('MetaCons "BUnitaryChainDelta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BFullnessGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :+: C1 ('MetaCons "BFullnessLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)))) :+: ((C1 ('MetaCons "BSizeGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64)) :+: C1 ('MetaCons "BSizeLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64))) :+: (C1 ('MetaCons "BMinimumAdoptions" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64)) :+: C1 ('MetaCons "BNonNegatives" 'PrefixI 'False) (U1 :: Type -> Type))))

data SlotCond Source #

Constructors

SlotGEq SlotNo 
SlotLEq SlotNo 
EpochGEq EpochNo 
EpochLEq EpochNo 
EpochSafeIntGEq EpochSafeInt 
EpochSafeIntLEq EpochSafeInt 
EpSlotGEq EpochSlot 
EpSlotLEq EpochSlot 
SlotHasLeaders 

Instances

Instances details
FromJSON SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

parseJSON :: Value -> Parser SlotCond #

parseJSONList :: Value -> Parser [SlotCond] #

omittedField :: Maybe SlotCond #

ToJSON SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

toJSON :: SlotCond -> Value #

toEncoding :: SlotCond -> Encoding #

toJSONList :: [SlotCond] -> Value #

toEncodingList :: [SlotCond] -> Encoding #

omitField :: SlotCond -> Bool #

Generic SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Associated Types

type Rep SlotCond :: Type -> Type Source #

Methods

from :: SlotCond -> Rep SlotCond x Source #

to :: Rep SlotCond x -> SlotCond Source #

Show SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

showsPrec :: Int -> SlotCond -> ShowS Source #

show :: SlotCond -> String Source #

showList :: [SlotCond] -> ShowS Source #

NFData SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

rnf :: SlotCond -> () Source #

Eq SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

(==) :: SlotCond -> SlotCond -> Bool Source #

(/=) :: SlotCond -> SlotCond -> Bool Source #

Ord SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

Methods

compare :: SlotCond -> SlotCond -> Ordering Source #

(<) :: SlotCond -> SlotCond -> Bool Source #

(<=) :: SlotCond -> SlotCond -> Bool Source #

(>) :: SlotCond -> SlotCond -> Bool Source #

(>=) :: SlotCond -> SlotCond -> Bool Source #

max :: SlotCond -> SlotCond -> SlotCond Source #

min :: SlotCond -> SlotCond -> SlotCond Source #

type Rep SlotCond Source # 
Instance details

Defined in Cardano.Analysis.API.ChainFilter

type Rep SlotCond = D1 ('MetaData "SlotCond" "Cardano.Analysis.API.ChainFilter" "locli-1.34-inplace" 'False) (((C1 ('MetaCons "SlotGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "SlotLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SlotNo))) :+: (C1 ('MetaCons "EpochGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochNo)) :+: C1 ('MetaCons "EpochLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochNo)))) :+: ((C1 ('MetaCons "EpochSafeIntGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochSafeInt)) :+: C1 ('MetaCons "EpochSafeIntLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochSafeInt))) :+: (C1 ('MetaCons "EpSlotGEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochSlot)) :+: (C1 ('MetaCons "EpSlotLEq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpochSlot)) :+: C1 ('MetaCons "SlotHasLeaders" 'PrefixI 'False) (U1 :: Type -> Type)))))

cfIsSlotCond :: ChainFilter -> Bool Source #

cfIsBlockCond :: ChainFilter -> Bool Source #

catSlotFilters :: [ChainFilter] -> [SlotCond] Source #

readChainFilter :: JsonFilterFile -> ExceptT String IO ([ChainFilter], FilterName) Source #

argChainFilterset :: String -> String -> Parser JsonFilterFile Source #

argChainFilterExpr :: Parser ChainFilter Source #

readFilters :: [JsonFilterFile] -> ExceptT Text IO ([ChainFilter], [FilterName]) Source #