plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Trace

Synopsis

Documentation

ptrace :: Term s PString -> Term s a -> Term s a Source #

Trace the given message before evaluating the argument.

ptraceShowId :: PShow a => Term s a -> Term s a Source #

Like Haskell's traceShowId but for Plutarch

ptraceIfTrue :: Term s PString -> Term s PBool -> Term s PBool Source #

Trace the given message if the argument evaluates to true.

ptraceIfFalse :: Term s PString -> Term s PBool -> Term s PBool Source #

Trace the given message if the argument evaluates to False.

ptraceError :: Term s PString -> Term s a Source #

Trace the given message and terminate evaluation with a perror.