plutus-contract-1.2.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Test.Coverage.Analysis.Common

Synopsis

Documentation

type Trm = Term NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun () Source #

type Typ = Type NamedTyDeBruijn DefaultUni () Source #

type Kin = Kind () Source #

type Dat = Datatype NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun () Source #

type Bind = Binding NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun () Source #

type Trm' = Term TyName Name DefaultUni DefaultFun () Source #

type Typ' = Type TyName DefaultUni () Source #

type Dat' = Datatype TyName Name DefaultUni DefaultFun () Source #

type Bind' = Binding TyName Name DefaultUni DefaultFun () Source #

type Err' = Error DefaultUni DefaultFun () Source #

pattern BIF_Trace :: Term tyname name uni DefaultFun () Source #

pattern BIF_If :: Term tyname name uni DefaultFun () Source #

pattern LIT_Loc :: CoverageAnnotation -> Term tyname name DefaultUni fun () Source #

pattern Const :: DefaultUni (Esc a) -> a -> Term tyname name DefaultUni fun () Source #

builtinKind :: SomeTypeIn DefaultUni -> Kin Source #

Debug helpers

data Verbosity Source #

Constructors

Low 
Med 
High 
Unions 

Instances

Instances details
Eq Verbosity Source # 
Instance details

Defined in Plutus.Contract.Test.Coverage.Analysis.Common

Methods

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

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

Ord Verbosity Source # 
Instance details

Defined in Plutus.Contract.Test.Coverage.Analysis.Common

Methods

compare :: Verbosity -> Verbosity -> Ordering Source #

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

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

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

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

max :: Verbosity -> Verbosity -> Verbosity Source #

min :: Verbosity -> Verbosity -> Verbosity Source #

Show Verbosity Source # 
Instance details

Defined in Plutus.Contract.Test.Coverage.Analysis.Common

Methods

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

show :: Verbosity -> String Source #

showList :: [Verbosity] -> ShowS Source #

debug :: Bool Source #

verbosity :: [Verbosity] Source #

traceDoc :: Verbosity -> Doc -> a -> a Source #

traceDocIf :: Bool -> Verbosity -> Doc -> a -> a Source #

errorDoc :: HasCallStack => Doc -> a Source #

pattern Star :: Kin Source #

pattern (:->) :: Kin -> Kin -> Kin infixr 3 Source #