plutus-contract-certification-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Test.Certification.Run

Synopsis

A certification report holds all the necessary information

data CertificationReport m Source #

Instances

Instances details
Show (CertificationReport m) Source # 
Instance details

Defined in Plutus.Contract.Test.Certification.Run

Generic (CertificationReport m) Source # 
Instance details

Defined in Plutus.Contract.Test.Certification.Run

Associated Types

type Rep (CertificationReport m) :: Type -> Type Source #

ToJSON (CertificationReport m) Source # 
Instance details

Defined in Plutus.Contract.Test.Certification.Run

type Rep (CertificationReport m) Source # 
Instance details

Defined in Plutus.Contract.Test.Certification.Run

type Rep (CertificationReport m) = D1 ('MetaData "CertificationReport" "Plutus.Contract.Test.Certification.Run" "plutus-contract-certification-0.1.0.0-AocPKtBPahRIaloRg9HFK2" 'False) (C1 ('MetaCons "CertificationReport" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_certRes_standardPropertyResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Result) :*: S1 ('MetaSel ('Just "_certRes_noLockedFundsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Result))) :*: (S1 ('MetaSel ('Just "_certRes_noLockedFundsLightResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Result)) :*: (S1 ('MetaSel ('Just "_certRes_standardCrashToleranceResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Result)) :*: S1 ('MetaSel ('Just "_certRes_unitTestResults") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Result])))) :*: ((S1 ('MetaSel ('Just "_certRes_coverageReport") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoverageReport) :*: S1 ('MetaSel ('Just "_certRes_coverageIndexReport") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoverageIndex)) :*: (S1 ('MetaSel ('Just "_certRes_whitelistOk") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "_certRes_whitelistResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Result)) :*: S1 ('MetaSel ('Just "_certRes_DLTests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, Result)]))))))

There are a tonne of lenses

and we have a function for running certification

Orphan instances

Generic Result Source # 
Instance details

Associated Types

type Rep Result :: Type -> Type Source #

ToJSON SMGen Source # 
Instance details

ToJSON QCGen Source # 
Instance details

Methods

toJSON :: QCGen -> Value Source #

toEncoding :: QCGen -> Encoding Source #

toJSONList :: [QCGen] -> Value Source #

toEncodingList :: [QCGen] -> Encoding Source #

ToJSON Result Source # 
Instance details

ToJSON SomeException Source # 
Instance details

ToJSON Result Source # 
Instance details

FromJSON SMGen Source # 
Instance details

FromJSON QCGen Source # 
Instance details

Methods

parseJSON :: Value -> Parser QCGen Source #

parseJSONList :: Value -> Parser [QCGen] Source #

FromJSON Result Source # 
Instance details

FromJSON SomeException Source # 
Instance details