| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Registry.Internal.Statistics
Contents
Synopsis
- data Statistics = Statistics {
- operations :: Operations
- values :: Values
- type Operations = [AppliedFunction]
- type Paths = [[Value]]
- data AppliedFunction = AppliedFunction {
- _outputValue :: Value
- _inputValues :: [Value]
- initStatistics :: Values -> Statistics
- usedSpecializations :: Statistics -> [Specialization]
- allValuesPaths :: Statistics -> Paths
- valuePaths :: Value -> Paths
DATA TYPES
data Statistics #
This datatype records: - the created values - the applied functions - the specializations used to create values
Constructors
| Statistics | |
Fields
| |
Instances
| Show Statistics # | |
Defined in Data.Registry.Internal.Statistics Methods showsPrec :: Int -> Statistics -> ShowS # show :: Statistics -> String # showList :: [Statistics] -> ShowS # | |
| Semigroup Statistics # | |
Defined in Data.Registry.Internal.Statistics Methods (<>) :: Statistics -> Statistics -> Statistics # sconcat :: NonEmpty Statistics -> Statistics # stimes :: Integral b => b -> Statistics -> Statistics # | |
| Monoid Statistics # | |
Defined in Data.Registry.Internal.Statistics Methods mempty :: Statistics # mappend :: Statistics -> Statistics -> Statistics # mconcat :: [Statistics] -> Statistics # | |
type Operations = [AppliedFunction] #
A list of function applications created when creating a value out of the Registry
data AppliedFunction #
A function application with an output value and a list of input values
Constructors
| AppliedFunction | |
Fields
| |
Instances
| Show AppliedFunction # | |
Defined in Data.Registry.Internal.Statistics Methods showsPrec :: Int -> AppliedFunction -> ShowS # show :: AppliedFunction -> String # showList :: [AppliedFunction] -> ShowS # | |
initStatistics :: Values -> Statistics #
usedSpecializations :: 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