Safe Haskell	Safe-Inferred
Language	Haskell2010

Convex.Tasty.Streaming.Types

Synopsis

data Event
- = SuiteStarted {
  - esPackageRoot :: !(Maybe Text)
  - esTests :: ![TestInfo]
  - edCoverageIndex :: ![SrcLocRange]
  }
- | TestStarted {
  - etId :: !Int
  }
- | TestProgress {
  - epId :: !Int
  - epMessage :: !Text
  - epPercent :: !Float
  }
- | TestDone {
  - edId :: !Int
  - edOutcome :: !TestOutcome
  - edDuration :: !Double
  - edDescription :: !Text
  - edThreatModel :: !(Maybe ThreatModelSummary)
  - edMonitoringStats :: !(Maybe MonitoringStats)
  }
- | TestTrace {
  - ettTestId :: !Int
  - ettCategory :: !Text
  - ettCovered :: ![SrcLocRange]
  - ettTrace :: !Value
  }
- | SuiteDone {
  - esPassed :: !Int
  - esFailed :: !Int
  - esDuration :: !Double
  }
data TestInfo = TestInfo {
- tiId :: !Int
- tiName :: !Text
- tiPath :: ![Text]
- tiSrcLoc :: !(Maybe SrcLocRange)
}
data TestOutcome
- = TestSuccess
- | TestFailure !FailureInfo
data FailureInfo = FailureInfo {
- fiReason :: !Text
- fiMessage :: !Text
}
data MonitoringStats = MonitoringStats {
- msNumTests :: !Int
- msNumDiscarded :: !Int
- msLabels :: ![MonitoringLabelStat]
- msClasses :: ![MonitoringClassStat]
- msTables :: ![MonitoringTableStat]
}
data MonitoringLabelStat = MonitoringLabelStat {
- mlsLabels :: ![Text]
- mlsCount :: !Int
- mlsPercent :: !Double
}
data MonitoringClassStat = MonitoringClassStat {
- mcsName :: !Text
- mcsCount :: !Int
- mcsPercent :: !Double
}
data MonitoringTableStat = MonitoringTableStat {
- mtsName :: !Text
- mtsEntries :: ![MonitoringTableEntry]
}
data MonitoringTableEntry = MonitoringTableEntry {
- mteValue :: !Text
- mteCount :: !Int
}
withMaxTxSizeHint :: Text -> Text

Documentation

data Event Source #

A streaming event emitted as a single NDJSON line

Constructors

SuiteStarted
Fields esPackageRoot :: !(Maybe Text) Optional absolute path to the cabal package root directory, captured at ingredient startup. Consumers can resolve `packageRoot + srcLoc.file` to disambiguate identical `srcLocFile` values across packages in multi-package workspaces. esTests :: ![TestInfo] edCoverageIndex :: ![SrcLocRange]
TestStarted
Fields etId :: !Int
TestProgress
Fields epId :: !Int epMessage :: !Text epPercent :: !Float
TestDone
Fields edId :: !Int edOutcome :: !TestOutcome edDuration :: !Double edDescription :: !Text edThreatModel :: !(Maybe ThreatModelSummary) edMonitoringStats :: !(Maybe MonitoringStats)
TestTrace
Fields ettTestId :: !Int ettCategory :: !Text ettCovered :: ![SrcLocRange] ettTrace :: !Value
SuiteDone
Fields esPassed :: !Int esFailed :: !Int esDuration :: !Double

Instances

Instances details

FromJSON Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser Event Source # parseJSONList :: Value -> Parser [Event] Source # omittedField :: Maybe Event Source #
ToJSON Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: Event -> Value Source # toEncoding :: Event -> Encoding Source # toJSONList :: [Event] -> Value Source # toEncodingList :: [Event] -> Encoding Source # omitField :: Event -> Bool Source #
Generic Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep Event :: Type -> Type # Methods from :: Event -> Rep Event x # to :: Rep Event x -> Event #
Show Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> Event -> ShowS # show :: Event -> String # showList :: [Event] -> ShowS #
Eq Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: Event -> Event -> Bool # (/=) :: Event -> Event -> Bool #
type Rep Event Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep Event = D1 ('MetaData "Event" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "SuiteStarted" 'PrefixI 'True) (S1 ('MetaSel ('Just "esPackageRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "esTests") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TestInfo]) :: S1 ('MetaSel ('Just "edCoverageIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SrcLocRange]))) :+: (C1 ('MetaCons "TestStarted" 'PrefixI 'True) (S1 ('MetaSel ('Just "etId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "TestProgress" 'PrefixI 'True) (S1 ('MetaSel ('Just "epId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "epMessage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "epPercent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Float))))) :+: (C1 ('MetaCons "TestDone" 'PrefixI 'True) ((S1 ('MetaSel ('Just "edId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "edOutcome") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TestOutcome) :: S1 ('MetaSel ('Just "edDuration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))) :: (S1 ('MetaSel ('Just "edDescription") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "edThreatModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ThreatModelSummary)) :: S1 ('MetaSel ('Just "edMonitoringStats") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe MonitoringStats))))) :+: (C1 ('MetaCons "TestTrace" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ettTestId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "ettCategory") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "ettCovered") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SrcLocRange]) :: S1 ('MetaSel ('Just "ettTrace") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Value))) :+: C1 ('MetaCons "SuiteDone" 'PrefixI 'True) (S1 ('MetaSel ('Just "esPassed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: (S1 ('MetaSel ('Just "esFailed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "esDuration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))))))

data TestInfo Source #

Information about a single test in the tree

Constructors

TestInfo
Fields tiId :: !Int tiName :: !Text tiPath :: ![Text] tiSrcLoc :: !(Maybe SrcLocRange) Optional source-location range pointing at the test's definition. `Nothing` for tests defined using upstream tasty providers without our shims.

Instances

Instances details

FromJSON TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser TestInfo Source # parseJSONList :: Value -> Parser [TestInfo] Source # omittedField :: Maybe TestInfo Source #
ToJSON TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: TestInfo -> Value Source # toEncoding :: TestInfo -> Encoding Source # toJSONList :: [TestInfo] -> Value Source # toEncodingList :: [TestInfo] -> Encoding Source # omitField :: TestInfo -> Bool Source #
Generic TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep TestInfo :: Type -> Type # Methods from :: TestInfo -> Rep TestInfo x # to :: Rep TestInfo x -> TestInfo #
Show TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> TestInfo -> ShowS # show :: TestInfo -> String # showList :: [TestInfo] -> ShowS #
Eq TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: TestInfo -> TestInfo -> Bool # (/=) :: TestInfo -> TestInfo -> Bool #
type Rep TestInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep TestInfo = D1 ('MetaData "TestInfo" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TestInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tiId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "tiName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "tiPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "tiSrcLoc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe SrcLocRange)))))

data TestOutcome Source #

Outcome of a completed test

Constructors

TestSuccess
TestFailure !FailureInfo

Instances

Instances details

Generic TestOutcome Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep TestOutcome :: Type -> Type # Methods from :: TestOutcome -> Rep TestOutcome x # to :: Rep TestOutcome x -> TestOutcome #
Show TestOutcome Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> TestOutcome -> ShowS # show :: TestOutcome -> String # showList :: [TestOutcome] -> ShowS #
Eq TestOutcome Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: TestOutcome -> TestOutcome -> Bool # (/=) :: TestOutcome -> TestOutcome -> Bool #
type Rep TestOutcome Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep TestOutcome = D1 ('MetaData "TestOutcome" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TestSuccess" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TestFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FailureInfo)))

data FailureInfo Source #

Details about a test failure

Constructors

FailureInfo
Fields fiReason :: !Text fiMessage :: !Text

Instances

Instances details

FromJSON FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser FailureInfo Source # parseJSONList :: Value -> Parser [FailureInfo] Source # omittedField :: Maybe FailureInfo Source #
ToJSON FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: FailureInfo -> Value Source # toEncoding :: FailureInfo -> Encoding Source # toJSONList :: [FailureInfo] -> Value Source # toEncodingList :: [FailureInfo] -> Encoding Source # omitField :: FailureInfo -> Bool Source #
Generic FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep FailureInfo :: Type -> Type # Methods from :: FailureInfo -> Rep FailureInfo x # to :: Rep FailureInfo x -> FailureInfo #
Show FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> FailureInfo -> ShowS # show :: FailureInfo -> String # showList :: [FailureInfo] -> ShowS #
Eq FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: FailureInfo -> FailureInfo -> Bool # (/=) :: FailureInfo -> FailureInfo -> Bool #
type Rep FailureInfo Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep FailureInfo = D1 ('MetaData "FailureInfo" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "FailureInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "fiReason") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "fiMessage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

data MonitoringStats Source #

Constructors

MonitoringStats
Fields msNumTests :: !Int msNumDiscarded :: !Int msLabels :: ![MonitoringLabelStat] msClasses :: ![MonitoringClassStat] msTables :: ![MonitoringTableStat]

Instances

Instances details

FromJSON MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser MonitoringStats Source # parseJSONList :: Value -> Parser [MonitoringStats] Source # omittedField :: Maybe MonitoringStats Source #
ToJSON MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: MonitoringStats -> Value Source # toEncoding :: MonitoringStats -> Encoding Source # toJSONList :: [MonitoringStats] -> Value Source # toEncodingList :: [MonitoringStats] -> Encoding Source # omitField :: MonitoringStats -> Bool Source #
Generic MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep MonitoringStats :: Type -> Type # Methods from :: MonitoringStats -> Rep MonitoringStats x # to :: Rep MonitoringStats x -> MonitoringStats #
Show MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> MonitoringStats -> ShowS # show :: MonitoringStats -> String # showList :: [MonitoringStats] -> ShowS #
Eq MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: MonitoringStats -> MonitoringStats -> Bool # (/=) :: MonitoringStats -> MonitoringStats -> Bool #
type Rep MonitoringStats Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep MonitoringStats = D1 ('MetaData "MonitoringStats" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MonitoringStats" 'PrefixI 'True) ((S1 ('MetaSel ('Just "msNumTests") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "msNumDiscarded") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :: (S1 ('MetaSel ('Just "msLabels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [MonitoringLabelStat]) :: (S1 ('MetaSel ('Just "msClasses") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [MonitoringClassStat]) :: S1 ('MetaSel ('Just "msTables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [MonitoringTableStat])))))

data MonitoringLabelStat Source #

Constructors

MonitoringLabelStat
Fields mlsLabels :: ![Text] mlsCount :: !Int mlsPercent :: !Double

Instances

Instances details

FromJSON MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser MonitoringLabelStat Source # parseJSONList :: Value -> Parser [MonitoringLabelStat] Source # omittedField :: Maybe MonitoringLabelStat Source #
ToJSON MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: MonitoringLabelStat -> Value Source # toEncoding :: MonitoringLabelStat -> Encoding Source # toJSONList :: [MonitoringLabelStat] -> Value Source # toEncodingList :: [MonitoringLabelStat] -> Encoding Source # omitField :: MonitoringLabelStat -> Bool Source #
Generic MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep MonitoringLabelStat :: Type -> Type # Methods from :: MonitoringLabelStat -> Rep MonitoringLabelStat x # to :: Rep MonitoringLabelStat x -> MonitoringLabelStat #
Show MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> MonitoringLabelStat -> ShowS # show :: MonitoringLabelStat -> String # showList :: [MonitoringLabelStat] -> ShowS #
Eq MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: MonitoringLabelStat -> MonitoringLabelStat -> Bool # (/=) :: MonitoringLabelStat -> MonitoringLabelStat -> Bool #
type Rep MonitoringLabelStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep MonitoringLabelStat = D1 ('MetaData "MonitoringLabelStat" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MonitoringLabelStat" 'PrefixI 'True) (S1 ('MetaSel ('Just "mlsLabels") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :: (S1 ('MetaSel ('Just "mlsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "mlsPercent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))))

data MonitoringClassStat Source #

Constructors

MonitoringClassStat
Fields mcsName :: !Text mcsCount :: !Int mcsPercent :: !Double

Instances

Instances details

FromJSON MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser MonitoringClassStat Source # parseJSONList :: Value -> Parser [MonitoringClassStat] Source # omittedField :: Maybe MonitoringClassStat Source #
ToJSON MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: MonitoringClassStat -> Value Source # toEncoding :: MonitoringClassStat -> Encoding Source # toJSONList :: [MonitoringClassStat] -> Value Source # toEncodingList :: [MonitoringClassStat] -> Encoding Source # omitField :: MonitoringClassStat -> Bool Source #
Generic MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep MonitoringClassStat :: Type -> Type # Methods from :: MonitoringClassStat -> Rep MonitoringClassStat x # to :: Rep MonitoringClassStat x -> MonitoringClassStat #
Show MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> MonitoringClassStat -> ShowS # show :: MonitoringClassStat -> String # showList :: [MonitoringClassStat] -> ShowS #
Eq MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: MonitoringClassStat -> MonitoringClassStat -> Bool # (/=) :: MonitoringClassStat -> MonitoringClassStat -> Bool #
type Rep MonitoringClassStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep MonitoringClassStat = D1 ('MetaData "MonitoringClassStat" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MonitoringClassStat" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "mcsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "mcsPercent") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))))

data MonitoringTableStat Source #

Constructors

MonitoringTableStat
Fields mtsName :: !Text mtsEntries :: ![MonitoringTableEntry]

Instances

Instances details

FromJSON MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser MonitoringTableStat Source # parseJSONList :: Value -> Parser [MonitoringTableStat] Source # omittedField :: Maybe MonitoringTableStat Source #
ToJSON MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: MonitoringTableStat -> Value Source # toEncoding :: MonitoringTableStat -> Encoding Source # toJSONList :: [MonitoringTableStat] -> Value Source # toEncodingList :: [MonitoringTableStat] -> Encoding Source # omitField :: MonitoringTableStat -> Bool Source #
Generic MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep MonitoringTableStat :: Type -> Type # Methods from :: MonitoringTableStat -> Rep MonitoringTableStat x # to :: Rep MonitoringTableStat x -> MonitoringTableStat #
Show MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> MonitoringTableStat -> ShowS # show :: MonitoringTableStat -> String # showList :: [MonitoringTableStat] -> ShowS #
Eq MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: MonitoringTableStat -> MonitoringTableStat -> Bool # (/=) :: MonitoringTableStat -> MonitoringTableStat -> Bool #
type Rep MonitoringTableStat Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep MonitoringTableStat = D1 ('MetaData "MonitoringTableStat" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MonitoringTableStat" 'PrefixI 'True) (S1 ('MetaSel ('Just "mtsName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "mtsEntries") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [MonitoringTableEntry])))

data MonitoringTableEntry Source #

Constructors

MonitoringTableEntry
Fields mteValue :: !Text mteCount :: !Int

Instances

Instances details

FromJSON MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods parseJSON :: Value -> Parser MonitoringTableEntry Source # parseJSONList :: Value -> Parser [MonitoringTableEntry] Source # omittedField :: Maybe MonitoringTableEntry Source #
ToJSON MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods toJSON :: MonitoringTableEntry -> Value Source # toEncoding :: MonitoringTableEntry -> Encoding Source # toJSONList :: [MonitoringTableEntry] -> Value Source # toEncodingList :: [MonitoringTableEntry] -> Encoding Source # omitField :: MonitoringTableEntry -> Bool Source #
Generic MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types Associated Types type Rep MonitoringTableEntry :: Type -> Type # Methods from :: MonitoringTableEntry -> Rep MonitoringTableEntry x # to :: Rep MonitoringTableEntry x -> MonitoringTableEntry #
Show MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods showsPrec :: Int -> MonitoringTableEntry -> ShowS # show :: MonitoringTableEntry -> String # showList :: [MonitoringTableEntry] -> ShowS #
Eq MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types Methods (==) :: MonitoringTableEntry -> MonitoringTableEntry -> Bool # (/=) :: MonitoringTableEntry -> MonitoringTableEntry -> Bool #
type Rep MonitoringTableEntry Source #
Instance details Defined in Convex.Tasty.Streaming.Types type Rep MonitoringTableEntry = D1 ('MetaData "MonitoringTableEntry" "Convex.Tasty.Streaming.Types" "convex-tasty-streaming-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MonitoringTableEntry" 'PrefixI 'True) (S1 ('MetaSel ('Just "mteValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "mteCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))

withMaxTxSizeHint :: Text -> Text Source #

Append a hint to a rendered failure that is a max transaction size rejection.

Coverage annotations (-fplugin-opt PlutusTx.Plugin:coverage-all) inflate a compiled script several-fold, which is enough to push transactions over the 16384 byte default. The ledger error says nothing about coverage, so the failure is baffling unless you already know to suspect it. The hint is worded conditionally because the transaction is rejected before it runs, so there is no script log here to confirm that coverage is what did it.