plutus-tx
Safe HaskellNone
LanguageHaskell2010

PlutusTx.Coverage

Synopsis

Documentation

data CoverageAnnotation Source #

Constructors

CoverLocation CovLoc 
CoverBool CovLoc Bool 

Instances

Instances details
FromJSON CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageAnnotation

parseJSONList :: Value -> Parser [CoverageAnnotation]

omittedField :: Maybe CoverageAnnotation

FromJSONKey CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

fromJSONKey :: FromJSONKeyFunction CoverageAnnotation

fromJSONKeyList :: FromJSONKeyFunction [CoverageAnnotation]

ToJSON CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageAnnotation -> Value

toEncoding :: CoverageAnnotation -> Encoding

toJSONList :: [CoverageAnnotation] -> Value

toEncodingList :: [CoverageAnnotation] -> Encoding

omitField :: CoverageAnnotation -> Bool

ToJSONKey CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSONKey :: ToJSONKeyFunction CoverageAnnotation

toJSONKeyList :: ToJSONKeyFunction [CoverageAnnotation]

Generic CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageAnnotation 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageAnnotation = D1 ('MetaData "CoverageAnnotation" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "CoverLocation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc)) :+: C1 ('MetaCons "CoverBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: CoverageAnnotation -> Rep CoverageAnnotation x Source #

to :: Rep CoverageAnnotation x -> CoverageAnnotation Source #

Read CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

readsPrec :: Int -> ReadS CoverageAnnotation Source #

readList :: ReadS [CoverageAnnotation] Source #

readPrec :: ReadPrec CoverageAnnotation Source #

readListPrec :: ReadPrec [CoverageAnnotation] Source #

Show CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CoverageAnnotation -> ShowS Source #

show :: CoverageAnnotation -> String Source #

showList :: [CoverageAnnotation] -> ShowS Source #

NFData CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageAnnotation -> () Source #

Eq CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

(/=) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

Ord CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CoverageAnnotation -> CoverageAnnotation -> Ordering Source #

(<) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

(<=) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

(>) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

(>=) :: CoverageAnnotation -> CoverageAnnotation -> Bool Source #

max :: CoverageAnnotation -> CoverageAnnotation -> CoverageAnnotation Source #

min :: CoverageAnnotation -> CoverageAnnotation -> CoverageAnnotation Source #

Flat CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageAnnotation -> Encoding

decode :: Get CoverageAnnotation

size :: CoverageAnnotation -> NumBits -> NumBits

Pretty CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageAnnotation -> Doc ann

prettyList :: [CoverageAnnotation] -> Doc ann

Serialise CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageAnnotation -> Encoding

decode :: Decoder s CoverageAnnotation

encodeList :: [CoverageAnnotation] -> Encoding

decodeList :: Decoder s [CoverageAnnotation]

type Rep CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageAnnotation = D1 ('MetaData "CoverageAnnotation" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "CoverLocation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc)) :+: C1 ('MetaCons "CoverBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CovLoc) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

newtype CoverageIndex Source #

This type keeps track of all coverage annotations and where they have been inserted / what annotations are expected to be found when executing a piece of code.

Constructors

CoverageIndex 

Fields

Instances

Instances details
FromJSON CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageIndex

parseJSONList :: Value -> Parser [CoverageIndex]

omittedField :: Maybe CoverageIndex

ToJSON CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageIndex -> Value

toEncoding :: CoverageIndex -> Encoding

toJSONList :: [CoverageIndex] -> Value

toEncodingList :: [CoverageIndex] -> Encoding

omitField :: CoverageIndex -> Bool

Monoid CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageIndex Source #

mappend :: CoverageIndex -> CoverageIndex -> CoverageIndex Source #

mconcat :: [CoverageIndex] -> CoverageIndex Source #

Semigroup CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(<>) :: CoverageIndex -> CoverageIndex -> CoverageIndex Source #

sconcat :: NonEmpty CoverageIndex -> CoverageIndex Source #

stimes :: Integral b => b -> CoverageIndex -> CoverageIndex Source #

Generic CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageIndex 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageIndex = D1 ('MetaData "CoverageIndex" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coverageMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CoverageAnnotation CoverageMetadata))))

Methods

from :: CoverageIndex -> Rep CoverageIndex x Source #

to :: Rep CoverageIndex x -> CoverageIndex Source #

Show CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CoverageIndex -> ShowS Source #

show :: CoverageIndex -> String Source #

showList :: [CoverageIndex] -> ShowS Source #

NFData CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageIndex -> () Source #

Eq CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CoverageIndex -> CoverageIndex -> Bool Source #

(/=) :: CoverageIndex -> CoverageIndex -> Bool Source #

Ord CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CoverageIndex -> CoverageIndex -> Ordering Source #

(<) :: CoverageIndex -> CoverageIndex -> Bool Source #

(<=) :: CoverageIndex -> CoverageIndex -> Bool Source #

(>) :: CoverageIndex -> CoverageIndex -> Bool Source #

(>=) :: CoverageIndex -> CoverageIndex -> Bool Source #

max :: CoverageIndex -> CoverageIndex -> CoverageIndex Source #

min :: CoverageIndex -> CoverageIndex -> CoverageIndex Source #

Flat CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageIndex -> Encoding

decode :: Get CoverageIndex

size :: CoverageIndex -> NumBits -> NumBits

Serialise CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageIndex -> Encoding

decode :: Decoder s CoverageIndex

encodeList :: [CoverageIndex] -> Encoding

decodeList :: Decoder s [CoverageIndex]

type Rep CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageIndex = D1 ('MetaData "CoverageIndex" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coverageMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CoverageAnnotation CoverageMetadata))))

newtype CoverageMetadata Source #

Constructors

CoverageMetadata 

Fields

Instances

Instances details
FromJSON CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageMetadata

parseJSONList :: Value -> Parser [CoverageMetadata]

omittedField :: Maybe CoverageMetadata

ToJSON CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageMetadata -> Value

toEncoding :: CoverageMetadata -> Encoding

toJSONList :: [CoverageMetadata] -> Value

toEncodingList :: [CoverageMetadata] -> Encoding

omitField :: CoverageMetadata -> Bool

Monoid CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageMetadata Source #

mappend :: CoverageMetadata -> CoverageMetadata -> CoverageMetadata Source #

mconcat :: [CoverageMetadata] -> CoverageMetadata Source #

Semigroup CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(<>) :: CoverageMetadata -> CoverageMetadata -> CoverageMetadata Source #

sconcat :: NonEmpty CoverageMetadata -> CoverageMetadata Source #

stimes :: Integral b => b -> CoverageMetadata -> CoverageMetadata Source #

Generic CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageMetadata 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageMetadata = D1 ('MetaData "CoverageMetadata" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "_metadataSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Metadata))))

Methods

from :: CoverageMetadata -> Rep CoverageMetadata x Source #

to :: Rep CoverageMetadata x -> CoverageMetadata Source #

Show CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CoverageMetadata -> ShowS Source #

show :: CoverageMetadata -> String Source #

showList :: [CoverageMetadata] -> ShowS Source #

NFData CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageMetadata -> () Source #

Eq CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

(/=) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

Ord CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CoverageMetadata -> CoverageMetadata -> Ordering Source #

(<) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

(<=) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

(>) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

(>=) :: CoverageMetadata -> CoverageMetadata -> Bool Source #

max :: CoverageMetadata -> CoverageMetadata -> CoverageMetadata Source #

min :: CoverageMetadata -> CoverageMetadata -> CoverageMetadata Source #

Flat CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageMetadata -> Encoding

decode :: Get CoverageMetadata

size :: CoverageMetadata -> NumBits -> NumBits

Pretty CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageMetadata -> Doc ann

prettyList :: [CoverageMetadata] -> Doc ann

Serialise CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageMetadata -> Encoding

decode :: Decoder s CoverageMetadata

encodeList :: [CoverageMetadata] -> Encoding

decodeList :: Decoder s [CoverageMetadata]

type Rep CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageMetadata = D1 ('MetaData "CoverageMetadata" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "_metadataSet") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Metadata))))

data Metadata Source #

Constructors

ApplicationHeadSymbol String 
IgnoredAnnotation

Location that is not interesting to cover. This is not generated by the compiler, but can be added later using addCoverageMetadata.

Instances

Instances details
FromJSON Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser Metadata

parseJSONList :: Value -> Parser [Metadata]

omittedField :: Maybe Metadata

ToJSON Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: Metadata -> Value

toEncoding :: Metadata -> Encoding

toJSONList :: [Metadata] -> Value

toEncodingList :: [Metadata] -> Encoding

omitField :: Metadata -> Bool

Generic Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep Metadata 
Instance details

Defined in PlutusTx.Coverage

type Rep Metadata = D1 ('MetaData "Metadata" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "ApplicationHeadSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "IgnoredAnnotation" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Metadata -> Rep Metadata x Source #

to :: Rep Metadata x -> Metadata Source #

Show Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> Metadata -> ShowS Source #

show :: Metadata -> String Source #

showList :: [Metadata] -> ShowS Source #

NFData Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: Metadata -> () Source #

Eq Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: Metadata -> Metadata -> Bool Source #

(/=) :: Metadata -> Metadata -> Bool Source #

Ord Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: Metadata -> Metadata -> Ordering Source #

(<) :: Metadata -> Metadata -> Bool Source #

(<=) :: Metadata -> Metadata -> Bool Source #

(>) :: Metadata -> Metadata -> Bool Source #

(>=) :: Metadata -> Metadata -> Bool Source #

max :: Metadata -> Metadata -> Metadata Source #

min :: Metadata -> Metadata -> Metadata Source #

Flat Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: Metadata -> Encoding

decode :: Get Metadata

size :: Metadata -> NumBits -> NumBits

Pretty Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: Metadata -> Doc ann

prettyList :: [Metadata] -> Doc ann

Serialise Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: Metadata -> Encoding

decode :: Decoder s Metadata

encodeList :: [Metadata] -> Encoding

decodeList :: Decoder s [Metadata]

type Rep Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep Metadata = D1 ('MetaData "Metadata" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "ApplicationHeadSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "IgnoredAnnotation" 'PrefixI 'False) (U1 :: Type -> Type))

newtype CoverageData Source #

Constructors

CoverageData 

Fields

Instances

Instances details
FromJSON CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageData

parseJSONList :: Value -> Parser [CoverageData]

omittedField :: Maybe CoverageData

ToJSON CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageData -> Value

toEncoding :: CoverageData -> Encoding

toJSONList :: [CoverageData] -> Value

toEncodingList :: [CoverageData] -> Encoding

omitField :: CoverageData -> Bool

Monoid CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageData Source #

mappend :: CoverageData -> CoverageData -> CoverageData Source #

mconcat :: [CoverageData] -> CoverageData Source #

Semigroup CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(<>) :: CoverageData -> CoverageData -> CoverageData Source #

sconcat :: NonEmpty CoverageData -> CoverageData Source #

stimes :: Integral b => b -> CoverageData -> CoverageData Source #

Generic CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageData 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageData = D1 ('MetaData "CoverageData" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coveredAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))))

Methods

from :: CoverageData -> Rep CoverageData x Source #

to :: Rep CoverageData x -> CoverageData Source #

Show CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CoverageData -> ShowS Source #

show :: CoverageData -> String Source #

showList :: [CoverageData] -> ShowS Source #

NFData CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageData -> () Source #

Eq CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CoverageData -> CoverageData -> Bool Source #

(/=) :: CoverageData -> CoverageData -> Bool Source #

Ord CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CoverageData -> CoverageData -> Ordering Source #

(<) :: CoverageData -> CoverageData -> Bool Source #

(<=) :: CoverageData -> CoverageData -> Bool Source #

(>) :: CoverageData -> CoverageData -> Bool Source #

(>=) :: CoverageData -> CoverageData -> Bool Source #

max :: CoverageData -> CoverageData -> CoverageData Source #

min :: CoverageData -> CoverageData -> CoverageData Source #

type Rep CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageData = D1 ('MetaData "CoverageData" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'True) (C1 ('MetaCons "CoverageData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coveredAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CoverageAnnotation))))

data CoverageReport Source #

Constructors

CoverageReport 

Fields

Instances

Instances details
FromJSON CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageReport

parseJSONList :: Value -> Parser [CoverageReport]

omittedField :: Maybe CoverageReport

ToJSON CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageReport -> Value

toEncoding :: CoverageReport -> Encoding

toJSONList :: [CoverageReport] -> Value

toEncodingList :: [CoverageReport] -> Encoding

omitField :: CoverageReport -> Bool

Monoid CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageReport Source #

mappend :: CoverageReport -> CoverageReport -> CoverageReport Source #

mconcat :: [CoverageReport] -> CoverageReport Source #

Semigroup CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(<>) :: CoverageReport -> CoverageReport -> CoverageReport Source #

sconcat :: NonEmpty CoverageReport -> CoverageReport Source #

stimes :: Integral b => b -> CoverageReport -> CoverageReport Source #

Generic CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageReport 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageReport = D1 ('MetaData "CoverageReport" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "CoverageReport" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coverageIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageIndex) :*: S1 ('MetaSel ('Just "_coverageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageData)))

Methods

from :: CoverageReport -> Rep CoverageReport x Source #

to :: Rep CoverageReport x -> CoverageReport Source #

Show CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CoverageReport -> ShowS Source #

show :: CoverageReport -> String Source #

showList :: [CoverageReport] -> ShowS Source #

NFData CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageReport -> () Source #

Eq CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CoverageReport -> CoverageReport -> Bool Source #

(/=) :: CoverageReport -> CoverageReport -> Bool Source #

Ord CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CoverageReport -> CoverageReport -> Ordering Source #

(<) :: CoverageReport -> CoverageReport -> Bool Source #

(<=) :: CoverageReport -> CoverageReport -> Bool Source #

(>) :: CoverageReport -> CoverageReport -> Bool Source #

(>=) :: CoverageReport -> CoverageReport -> Bool Source #

max :: CoverageReport -> CoverageReport -> CoverageReport Source #

min :: CoverageReport -> CoverageReport -> CoverageReport Source #

Pretty CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageReport -> Doc ann

prettyList :: [CoverageReport] -> Doc ann

type Rep CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageReport = D1 ('MetaData "CoverageReport" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "CoverageReport" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coverageIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageIndex) :*: S1 ('MetaSel ('Just "_coverageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CoverageData)))

data CovLoc Source #

A source location for coverage

Constructors

CovLoc 

Fields

Instances

Instances details
FromJSON CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CovLoc

parseJSONList :: Value -> Parser [CovLoc]

omittedField :: Maybe CovLoc

ToJSON CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CovLoc -> Value

toEncoding :: CovLoc -> Encoding

toJSONList :: [CovLoc] -> Value

toEncodingList :: [CovLoc] -> Encoding

omitField :: CovLoc -> Bool

Generic CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CovLoc 
Instance details

Defined in PlutusTx.Coverage

type Rep CovLoc = D1 ('MetaData "CovLoc" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" '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)))))

Methods

from :: CovLoc -> Rep CovLoc x Source #

to :: Rep CovLoc x -> CovLoc Source #

Read CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

readsPrec :: Int -> ReadS CovLoc Source #

readList :: ReadS [CovLoc] Source #

readPrec :: ReadPrec CovLoc Source #

readListPrec :: ReadPrec [CovLoc] Source #

Show CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

showsPrec :: Int -> CovLoc -> ShowS Source #

show :: CovLoc -> String Source #

showList :: [CovLoc] -> ShowS Source #

NFData CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CovLoc -> () Source #

Eq CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

(==) :: CovLoc -> CovLoc -> Bool Source #

(/=) :: CovLoc -> CovLoc -> Bool Source #

Ord CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

compare :: CovLoc -> CovLoc -> Ordering Source #

(<) :: CovLoc -> CovLoc -> Bool Source #

(<=) :: CovLoc -> CovLoc -> Bool Source #

(>) :: CovLoc -> CovLoc -> Bool Source #

(>=) :: CovLoc -> CovLoc -> Bool Source #

max :: CovLoc -> CovLoc -> CovLoc Source #

min :: CovLoc -> CovLoc -> CovLoc Source #

Flat CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CovLoc -> Encoding

decode :: Get CovLoc

size :: CovLoc -> NumBits -> NumBits

Pretty CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CovLoc -> Doc ann

prettyList :: [CovLoc] -> Doc ann

Serialise CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CovLoc -> Encoding

decode :: Decoder s CovLoc

encodeList :: [CovLoc] -> Encoding

decodeList :: Decoder s [CovLoc]

type Rep CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CovLoc = D1 ('MetaData "CovLoc" "PlutusTx.Coverage" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" '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)))))

covLocFile :: Lens' CovLoc String Source #

covLocStartLine :: Lens' CovLoc Int Source #

covLocEndLine :: Lens' CovLoc Int Source #

covLocStartCol :: Lens' CovLoc Int Source #

covLocEndCol :: Lens' CovLoc Int Source #

metadataSet :: Iso' CoverageMetadata (Set Metadata) Source #

coverageAnnotations :: Getter CoverageIndex (Set CoverageAnnotation) Source #

ignoredAnnotations :: Getter CoverageIndex (Set CoverageAnnotation) Source #

coverageMetadata :: Iso' CoverageIndex (Map CoverageAnnotation CoverageMetadata) Source #

coveredAnnotations :: Iso' CoverageData (Set CoverageAnnotation) Source #

addCoverageMetadata :: CoverageAnnotation -> Metadata -> CoverageIndex -> CoverageIndex Source #

Add metadata to a coverage annotation. Does nothing if the annotation is not in the index.

addLocationToCoverageIndex :: MonadWriter CoverageIndex m => CovLoc -> m CoverageAnnotation Source #

Include a location coverage annotation in the index

addBoolCaseToCoverageIndex :: MonadWriter CoverageIndex m => CovLoc -> Bool -> CoverageMetadata -> m CoverageAnnotation Source #

Include a boolean coverage annotation in the index

coverageDataFromLogMsg :: String -> CoverageData Source #