plutus-tx-1.0.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
LanguageHaskell2010

PlutusTx.Coverage

Synopsis

Documentation

data CoverageAnnotation Source #

Constructors

CoverLocation CovLoc 
CoverBool CovLoc Bool 

Instances

Instances details
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 #

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 #

Generic CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageAnnotation :: Type -> Type Source #

Methods

from :: CoverageAnnotation -> Rep CoverageAnnotation x Source #

to :: Rep CoverageAnnotation x -> CoverageAnnotation Source #

NFData CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageAnnotation -> () Source #

Serialise CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageAnnotation -> Encoding

decode :: Decoder s CoverageAnnotation

encodeList :: [CoverageAnnotation] -> Encoding

decodeList :: Decoder s [CoverageAnnotation]

Flat CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageAnnotation -> Encoding

decode :: Get CoverageAnnotation

size :: CoverageAnnotation -> NumBits -> NumBits

FromJSON CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageAnnotation

parseJSONList :: Value -> Parser [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

ToJSONKey CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSONKey :: ToJSONKeyFunction CoverageAnnotation

toJSONKeyList :: ToJSONKeyFunction [CoverageAnnotation]

Pretty CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageAnnotation -> Doc ann

prettyList :: [CoverageAnnotation] -> Doc ann

type Rep CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

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

data 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
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 #

Show CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

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

show :: CoverageIndex -> String Source #

showList :: [CoverageIndex] -> ShowS Source #

Generic CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageIndex :: Type -> Type Source #

Methods

from :: CoverageIndex -> Rep CoverageIndex x Source #

to :: Rep CoverageIndex x -> 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 #

Monoid CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageIndex Source #

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

mconcat :: [CoverageIndex] -> CoverageIndex Source #

NFData CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageIndex -> () Source #

Serialise CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageIndex -> Encoding

decode :: Decoder s CoverageIndex

encodeList :: [CoverageIndex] -> Encoding

decodeList :: Decoder s [CoverageIndex]

Flat CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageIndex -> Encoding

decode :: Get CoverageIndex

size :: CoverageIndex -> NumBits -> NumBits

FromJSON CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageIndex

parseJSONList :: Value -> Parser [CoverageIndex]

ToJSON CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageIndex -> Value

toEncoding :: CoverageIndex -> Encoding

toJSONList :: [CoverageIndex] -> Value

toEncodingList :: [CoverageIndex] -> Encoding

type Rep CoverageIndex Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageIndex = D1 ('MetaData "CoverageIndex" "PlutusTx.Coverage" "plutus-tx-1.0.0.0-CTJpb0OSKTj2IwExKen56o" 'False) (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
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 #

Show CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

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

show :: CoverageMetadata -> String Source #

showList :: [CoverageMetadata] -> ShowS Source #

Generic CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageMetadata :: Type -> Type Source #

Methods

from :: CoverageMetadata -> Rep CoverageMetadata x Source #

to :: Rep CoverageMetadata x -> 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 #

Monoid CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageMetadata Source #

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

mconcat :: [CoverageMetadata] -> CoverageMetadata Source #

NFData CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageMetadata -> () Source #

Serialise CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageMetadata -> Encoding

decode :: Decoder s CoverageMetadata

encodeList :: [CoverageMetadata] -> Encoding

decodeList :: Decoder s [CoverageMetadata]

Flat CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CoverageMetadata -> Encoding

decode :: Get CoverageMetadata

size :: CoverageMetadata -> NumBits -> NumBits

FromJSON CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageMetadata

parseJSONList :: Value -> Parser [CoverageMetadata]

ToJSON CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageMetadata -> Value

toEncoding :: CoverageMetadata -> Encoding

toJSONList :: [CoverageMetadata] -> Value

toEncodingList :: [CoverageMetadata] -> Encoding

Pretty CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageMetadata -> Doc ann

prettyList :: [CoverageMetadata] -> Doc ann

type Rep CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageMetadata = D1 ('MetaData "CoverageMetadata" "PlutusTx.Coverage" "plutus-tx-1.0.0.0-CTJpb0OSKTj2IwExKen56o" '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
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 #

Show Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

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

show :: Metadata -> String Source #

showList :: [Metadata] -> ShowS Source #

Generic Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep Metadata :: Type -> Type Source #

Methods

from :: Metadata -> Rep Metadata x Source #

to :: Rep Metadata x -> Metadata Source #

NFData Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: Metadata -> () Source #

Serialise Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: Metadata -> Encoding

decode :: Decoder s Metadata

encodeList :: [Metadata] -> Encoding

decodeList :: Decoder s [Metadata]

Flat Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: Metadata -> Encoding

decode :: Get Metadata

size :: Metadata -> NumBits -> NumBits

FromJSON Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser Metadata

parseJSONList :: Value -> Parser [Metadata]

ToJSON Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: Metadata -> Value

toEncoding :: Metadata -> Encoding

toJSONList :: [Metadata] -> Value

toEncodingList :: [Metadata] -> Encoding

Pretty Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: Metadata -> Doc ann

prettyList :: [Metadata] -> Doc ann

type Rep Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

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

newtype CoverageData Source #

Constructors

CoverageData 

Fields

Instances

Instances details
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 #

Show CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

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

show :: CoverageData -> String Source #

showList :: [CoverageData] -> ShowS Source #

Generic CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageData :: Type -> Type Source #

Methods

from :: CoverageData -> Rep CoverageData x Source #

to :: Rep CoverageData x -> 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 #

Monoid CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageData Source #

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

mconcat :: [CoverageData] -> CoverageData Source #

NFData CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageData -> () Source #

FromJSON CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageData

parseJSONList :: Value -> Parser [CoverageData]

ToJSON CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageData -> Value

toEncoding :: CoverageData -> Encoding

toJSONList :: [CoverageData] -> Value

toEncodingList :: [CoverageData] -> Encoding

type Rep CoverageData Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CoverageData = D1 ('MetaData "CoverageData" "PlutusTx.Coverage" "plutus-tx-1.0.0.0-CTJpb0OSKTj2IwExKen56o" '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
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 #

Show CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

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

show :: CoverageReport -> String Source #

showList :: [CoverageReport] -> ShowS Source #

Generic CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CoverageReport :: Type -> Type Source #

Methods

from :: CoverageReport -> Rep CoverageReport x Source #

to :: Rep CoverageReport x -> 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 #

Monoid CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

mempty :: CoverageReport Source #

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

mconcat :: [CoverageReport] -> CoverageReport Source #

NFData CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CoverageReport -> () Source #

FromJSON CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CoverageReport

parseJSONList :: Value -> Parser [CoverageReport]

ToJSON CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CoverageReport -> Value

toEncoding :: CoverageReport -> Encoding

toJSONList :: [CoverageReport] -> Value

toEncodingList :: [CoverageReport] -> Encoding

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.0.0.0-CTJpb0OSKTj2IwExKen56o" 'False) (C1 ('MetaCons "CoverageReport" 'PrefixI 'True) (S1 ('MetaSel ('Just "_coverageIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoverageIndex) :*: S1 ('MetaSel ('Just "_coverageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoverageData)))

data CovLoc Source #

A source location for coverage

Constructors

CovLoc 

Fields

Instances

Instances details
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 #

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 #

Generic CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Associated Types

type Rep CovLoc :: Type -> Type Source #

Methods

from :: CovLoc -> Rep CovLoc x Source #

to :: Rep CovLoc x -> CovLoc Source #

NFData CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

rnf :: CovLoc -> () Source #

Serialise CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CovLoc -> Encoding

decode :: Decoder s CovLoc

encodeList :: [CovLoc] -> Encoding

decodeList :: Decoder s [CovLoc]

Flat CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

encode :: CovLoc -> Encoding

decode :: Get CovLoc

size :: CovLoc -> NumBits -> NumBits

FromJSON CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

parseJSON :: Value -> Parser CovLoc

parseJSONList :: Value -> Parser [CovLoc]

ToJSON CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

toJSON :: CovLoc -> Value

toEncoding :: CovLoc -> Encoding

toJSONList :: [CovLoc] -> Value

toEncodingList :: [CovLoc] -> Encoding

Pretty CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CovLoc -> Doc ann

prettyList :: [CovLoc] -> Doc ann

type Rep CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

type Rep CovLoc = D1 ('MetaData "CovLoc" "PlutusTx.Coverage" "plutus-tx-1.0.0.0-CTJpb0OSKTj2IwExKen56o" 'False) (C1 ('MetaCons "CovLoc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_covLocFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "_covLocStartLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "_covLocEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "_covLocStartCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "_covLocEndCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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 #