Test.Syd.Mutation.TestCoverageMap · sydtest-mutation-runtime-0.2.0.0

newtypenewtype TestCoverageMap

Source#

Coverage result for one or more tests: maps each TestId to the set of MutationIds reached during that test's execution.

Constructors

TestCoverageMap (Map TestId (Set MutationId))

Instances11Eq, Show, Generic, Semigroup, Monoid, FromJSON, …

Eq TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
Show TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
Generic TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
Semigroup TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
Monoid TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
FromJSON TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
ToJSON TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
Validity TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
HasCodec TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
GenValid TestCoverageMapDefined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap
type Rep TestCoverageMap = D1 ('MetaData "TestCoverageMap" "Test.Syd.Mutation.TestCoverageMap" "sydtest-mutation-runtime-0.2.0.0-LaRQQmAf66bHgbX87qp47O" 'True) (C1 ('MetaCons "TestCoverageMap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TestId (Set MutationId)))))Defined in sydtest-mutation-runtime-0.2.0.0 · Test.Syd.Mutation.TestCoverageMap

valuereadTestCoverageMapFile :: FilePath -> IO (Either String TestCoverageMap)

Source#

Read a TestCoverageMap from the given file path. Returns the aeson error message on parse failure.

Reads strictly (via readFile + eitherDecodeJSONViaCodec) so the file handle is closed before this function returns. Defensive against a suspected (but unproven) contributor to BlockedIndefinitelyOnMVar loops at the coverage/mutation phase boundary on large projects.

valuewriteTestCoverageMapFile :: FilePath -> TestCoverageMap -> IO ()

Source#

Write a TestCoverageMap to the given file path.