Data.Registry.Internal.Statistics

This module provides a set of statistics over the execution of the registry. This allows to get better insights over the execution or test that the registry is well configured

DATA TYPES

data Statistics

This datatype records: - the created values - the applied functions - the specializations used to create values

Constructors

Statistics

Fields

• operations :: Operations
• values :: Values

Instances

Monoid Statistics

Defined in Data.Registry.Internal.Statistics

Methods

mempty :: Statistics

mappend :: Statistics -> Statistics -> Statistics

mconcat :: [Statistics] -> Statistics

Semigroup Statistics

Defined in Data.Registry.Internal.Statistics

Methods

(<>) :: Statistics -> Statistics -> Statistics

sconcat :: NonEmpty Statistics -> Statistics

stimes :: Integral b => b -> Statistics -> Statistics

Show Statistics

Defined in Data.Registry.Internal.Statistics

Methods

showsPrec :: Int -> Statistics -> ShowS

show :: Statistics -> String

showList :: [Statistics] -> ShowS

type Operations = [AppliedFunction]

A list of function applications created when creating a value out of the Registry

type Paths = [[Value]]

List of distinct paths from the root of the value graph to a leaf

data AppliedFunction

A function application with an output value and a list of input values

Constructors

AppliedFunction

Fields

• _outputValue :: Value
• _inputValues :: [Value]

Instances

Show AppliedFunction

Defined in Data.Registry.Internal.Statistics

Methods

showsPrec :: Int -> AppliedFunction -> ShowS

show :: AppliedFunction -> String

showList :: [AppliedFunction] -> ShowS

initStatistics :: Values -> Statistics

Create Statistics from a list of values

valuesSpecializations :: Statistics -> [Specialization]

Return the specializations used during the creation of values

allValuesPaths :: Statistics -> Paths

Return the list of distinct paths from the root of a value graph to leaves of that graph. This can be used to check if a given value was indeed used according to a given specialization

valuePaths :: Value -> Paths

Return all the paths from a given value to all its dependencies

findMostRecentValue :: forall a. Typeable a => Statistics -> Maybe Value

Find the most recently created value of a given type

findCreatedValues :: forall a. Typeable a => Statistics -> [Value]

Find the created values of a given type