plutus-contract-1.1.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 #

Orphan instances

NFData Recursivity Source # 
Instance details

Methods

rnf :: Recursivity -> () Source #

NFData Strictness Source # 
Instance details

Methods

rnf :: Strictness -> () Source #

NFData Bind' Source # 
Instance details

Methods

rnf :: Bind' -> () Source #

NFData Dat' Source # 
Instance details

Methods

rnf :: Dat' -> () Source #

NFData Trm' Source # 
Instance details

Methods

rnf :: Trm' -> () Source #

NFData Bind Source # 
Instance details

Methods

rnf :: Bind -> () Source #

NFData Dat Source # 
Instance details

Methods

rnf :: Dat -> () Source #

NFData Trm Source # 
Instance details

Methods

rnf :: Trm -> () Source #

NFData (TyVarDecl NamedTyDeBruijn ()) Source # 
Instance details

Methods

rnf :: TyVarDecl NamedTyDeBruijn () -> () Source #

NFData (TyVarDecl TyName ()) Source # 
Instance details

Methods

rnf :: TyVarDecl TyName () -> () Source #

NFData (VarDecl NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun ()) Source # 
Instance details

Methods

rnf :: VarDecl NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun () -> () Source #

NFData (VarDecl TyName Name DefaultUni DefaultFun ()) Source # 
Instance details

Methods

rnf :: VarDecl TyName Name DefaultUni DefaultFun () -> () Source #