Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.LoggingSpec

Synopsis

spec :: Spec
data Loggable
- = Unencodable
- | Overflowing
- | Undescribable
- | Encodable Int
data Undescribed = Undescribed

Documentation

spec :: Spec Source #

data Loggable Source #

A traced message whose ToJSON is partial, standing in for the node's real ones (an Input carrying a snapshot whose accumulator cannot be committed to).

Constructors

Unencodable
Overflowing
Undescribable
Encodable Int

Instances

Instances details

ToJSON Loggable Source #
Instance details Defined in Hydra.LoggingSpec Methods toJSON :: Loggable -> Value toEncoding :: Loggable -> Encoding toJSONList :: [Loggable] -> Value toEncodingList :: [Loggable] -> Encoding omitField :: Loggable -> Bool

data Undescribed Source #

An exception that cannot be rendered, so the diagnostic entry substituted for it cannot be encoded either. unencodable reaches this through SomeException's own displayException, which delegates to the wrapped exception's.

Constructors

Undescribed

Instances

Instances details

Exception Undescribed Source #
Instance details Defined in Hydra.LoggingSpec Methods toException :: Undescribed -> SomeException Source # fromException :: SomeException -> Maybe Undescribed Source # displayException :: Undescribed -> String Source #
Show Undescribed Source #
Instance details Defined in Hydra.LoggingSpec Methods showsPrec :: Int -> Undescribed -> ShowS Source # show :: Undescribed -> String Source # showList :: [Undescribed] -> ShowS Source #