Moduleplutus-tx-1.70.0.0
PlutusTx.Coverage
Synopsis
- value addBoolCaseToCoverageIndex
- value addCoverageMetadata
- value addLocationToCoverageIndex
- value covLocEndCol
- value covLocEndLine
- value covLocFile
- value covLocStartCol
- value covLocStartLine
- value coverageAnnotations
- value coverageDataFromLogMsg
- value coverageMetadata
- value coveredAnnotations
- value ignoredAnnotations
- value metadataSet
- data CovLoc
- data CoverageAnnotation
- newtype CoverageData
- newtype CoverageIndex
- newtype CoverageMetadata
- data CoverageReport
- data Metadata
- Packageplutus-tx-1.70.0.0
- Exports21
- LicenceApache-2.0
Constructors
Instances12Eq, Ord, Read, Show, Generic, NFData, …
Eq CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageRead CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoveragePretty CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSerialise CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFlat CovLocDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CovLoc = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CovLoc"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'False) (C1 ('MetaCons"CovLoc"
'PrefixI 'True) ((S1 ('MetaSel ('Just"_covLocFile"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String) :*: S1 ('MetaSel ('Just"_covLocStartLine"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just"_covLocEndLine"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just"_covLocStartCol"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just"_covLocEndCol"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))))
Constructors
Instances14Eq, Ord, Read, Show, Generic, NFData, …
Eq CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageRead CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoveragePretty CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSONKey CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSONKey CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSerialise CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFlat CoverageAnnotationDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CoverageAnnotation = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CoverageAnnotation"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'False) (C1 ('MetaCons"CoverLocation"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc)) :+: C1 ('MetaCons"CoverBool"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))
Constructors
Instances10Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSemigroup CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageMonoid CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CoverageDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CoverageData = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CoverageData"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'True) (C1 ('MetaCons"CoverageData"
'PrefixI 'True) (S1 ('MetaSel ('Just"_coveredAnnotations"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))))
Constructors
Instances12Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSemigroup CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageMonoid CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSerialise CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFlat CoverageIndexDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CoverageIndex = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CoverageIndex"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'True) (C1 ('MetaCons"CoverageIndex"
'PrefixI 'True) (S1 ('MetaSel ('Just"_coverageMetadata"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CoverageAnnotation CoverageMetadata))))
Constructors
Instances13Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSemigroup CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageMonoid CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoveragePretty CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSerialise CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFlat CoverageMetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CoverageMetadata = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CoverageMetadata"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'True) (C1 ('MetaCons"CoverageMetadata"
'PrefixI 'True) (S1 ('MetaSel ('Just"_metadataSet"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Metadata))))
Constructors
Instances11Eq, Ord, Show, Generic, Semigroup, Monoid, …
Eq CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSemigroup CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageMonoid CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoveragePretty CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON CoverageReportDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep CoverageReport = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"CoverageReport"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'False) (C1 ('MetaCons"CoverageReport"
'PrefixI 'True) (S1 ('MetaSel ('Just"_coverageIndex"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageIndex) :*: S1 ('MetaSel ('Just"_coverageData"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageData)))
Constructors
Instances11Eq, Ord, Show, Generic, NFData, Pretty, …
Eq MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageOrd MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageShow MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageGeneric MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageNFData MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoveragePretty MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFromJSON MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageToJSON MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageSerialise MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.CoverageFlat MetadataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coveragetype Rep Metadata = D1 ('MetaDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Coverage"Metadata"
"PlutusTx.Coverage"
"plutus-tx-1.70.0.0-7BkLT0pyxKQ1Mkv4aNJpuF"
'False) (C1 ('MetaCons"ApplicationHeadSymbol"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons"IgnoredAnnotation"
'PrefixI 'False) U1)