plutus-tx-1.36.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Test

Synopsis

Size tests

fitsUnder ∷ ∀ (a ∷ Type). Typeable a ⇒ String → (String, CompiledCode a) → (String, CompiledCode a) → TestTree Source #

Compilation testing

goldenPir ∷ (PrettyUni uni, Pretty fun, uni `Everywhere` Flat, Flat fun) ⇒ StringCompiledCodeIn uni fun a → TestNested Source #

Does not print uniques.

goldenPirReadable ∷ (PrettyUni uni, Pretty fun, uni `Everywhere` Flat, Flat fun) ⇒ StringCompiledCodeIn uni fun a → TestNested Source #

Does not print uniques.

Evaluation testing

Budget testing

Orphan instances

(PrettyParens (SomeTypeIn uni), GEq uni, Typecheckable uni fun, Closed uni, Everywhere uni PrettyConst, Pretty fun, Everywhere uni Flat, Flat fun, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun)) ⇒ ToTPlc (CompiledCodeIn uni fun a) uni fun Source # 
Instance details

Methods

toTPlcCompiledCodeIn uni fun a → ExceptT SomeException IO (Program TyName Name uni fun ()) Source #

(Closed uni, Everywhere uni Flat, Flat fun) ⇒ ToUPlc (CompiledCodeIn uni fun a) uni fun Source # 
Instance details

Methods

toUPlcCompiledCodeIn uni fun a → ExceptT SomeException IO (Program Name uni fun ()) Source #