| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Analysis.API.Field
Synopsis
- data Field (s :: (Type -> Type) -> k -> Type) (p :: Type -> Type) (a :: k) = Field {}
- data Range
- data Unit
- data Width
- data Precision
- data Scale
- class CDFFields a p where
- data DSelect p a
- class TimelineFields a where
- data TimelineComments a :: Type
- timelineFields :: [Field ISelect I a]
- rtCommentary :: a -> TimelineComments a -> [Text]
- data ISelect p a
- data FSelect where
- renderUnit :: Unit -> Text
- unWidth :: Width -> Maybe Int
- unsafeUnWidth :: String -> Width -> Int
- mapWidth :: a -> (Int -> a) -> Width -> a
- dFields :: [FieldName] -> Field DSelect p a -> Bool
- iFields :: [FieldName] -> Field ISelect I a -> Bool
- filterFields :: CDFFields a p => (Field DSelect p a -> Bool) -> [Field DSelect p a]
- mapField :: a p -> (forall v. Divisible v => CDF p v -> b) -> Field DSelect p a -> b
- mapFieldWithKey :: a p -> (forall v. Divisible v => Field DSelect p a -> CDF p v -> b) -> Field DSelect p a -> b
- tryOverlayFieldDescription :: Field DSelect p a -> Object -> Maybe Object
- processFieldOverlays :: forall a p. CDFFields a p => a p -> Object -> Object
- mapSomeFieldCDF :: forall p c a. (forall b. Divisible b => CDF p b -> c) -> a p -> DSelect p a -> c
Documentation
data Field (s :: (Type -> Type) -> k -> Type) (p :: Type -> Type) (a :: k) Source #
Encapsulate all metadata about a metric (a projection) of a certain projectible (a kind of analysis results): - first parameter encapsulates the projection descriptor - second parameter sets the arity (I vs. CDF I) - third parameter is the projectible indexed by arity
Constructors
| Sec | |
| Hz | |
| B | |
| KB | |
| MB | |
| KBs | |
| MBs | |
| Era | |
| Epo | |
| Slo | |
| Blk | |
| Hsh | |
| Hos | |
| Sig | |
| Pct | |
| Ev | |
| KEv | |
| Dat | |
| Tim | |
| Ver | |
| Ix | |
| Len | |
| Cnt | |
| Rto | |
| Uni | |
| Id |
Instances
| Enum Width Source # | |
Defined in Cardano.Analysis.API.Field Methods succ :: Width -> Width Source # pred :: Width -> Width Source # toEnum :: Int -> Width Source # fromEnum :: Width -> Int Source # enumFrom :: Width -> [Width] Source # enumFromThen :: Width -> Width -> [Width] Source # enumFromTo :: Width -> Width -> [Width] Source # enumFromThenTo :: Width -> Width -> Width -> [Width] Source # | |
| Show Width Source # | |
| Eq Width Source # | |
| Ord Width Source # | |
Defined in Cardano.Analysis.API.Field | |
Instances
| Enum Precision Source # | |
Defined in Cardano.Analysis.API.Field Methods succ :: Precision -> Precision Source # pred :: Precision -> Precision Source # toEnum :: Int -> Precision Source # fromEnum :: Precision -> Int Source # enumFrom :: Precision -> [Precision] Source # enumFromThen :: Precision -> Precision -> [Precision] Source # enumFromTo :: Precision -> Precision -> [Precision] Source # enumFromThenTo :: Precision -> Precision -> Precision -> [Precision] Source # | |
| Show Precision Source # | |
| Eq Precision Source # | |
| Ord Precision Source # | |
Defined in Cardano.Analysis.API.Field | |
class CDFFields a p where Source #
Methods
cdfFields :: [Field DSelect p a] Source #
fieldJSONOverlay :: Field DSelect p a -> Object -> [Maybe Object] Source #
class TimelineFields a where Source #
Minimal complete definition
Associated Types
data TimelineComments a :: Type Source #
Methods
timelineFields :: [Field ISelect I a] Source #
rtCommentary :: a -> TimelineComments a -> [Text] Source #
Instances
| TimelineFields BlockEvents Source # | |
Defined in Cardano.Analysis.API.Metrics Associated Types Methods timelineFields :: [Field ISelect I BlockEvents] Source # rtCommentary :: BlockEvents -> TimelineComments BlockEvents -> [Text] Source # | |
| TimelineFields (SlotStats NominalDiffTime) Source # | |
Defined in Cardano.Analysis.API.Metrics Associated Types Methods timelineFields :: [Field ISelect I (SlotStats NominalDiffTime)] Source # rtCommentary :: SlotStats NominalDiffTime -> TimelineComments (SlotStats NominalDiffTime) -> [Text] Source # | |
| KnownCDF f => TimelineFields (Summary f) Source # | |
Defined in Cardano.Analysis.API.Metrics Associated Types data TimelineComments (Summary f) Source # Methods timelineFields :: [Field ISelect I (Summary f)] Source # rtCommentary :: Summary f -> TimelineComments (Summary f) -> [Text] Source # | |
renderUnit :: Unit -> Text Source #