Internally:
- Forked the library from
liqwid-libs
- Bumped
base
version from^>=4.16
to^>=4.18.1.0
. - The nix setup changed significantly, removing the dependency on
liqwid-nix
These should not have an effect on the public-facing API, but are mentioned for completeness.
- Removed
Plutarch.Test.Export
because of the removal of theply-core
dependency
Plutarch.Test.Export
, containing an API for working with script exports.
Test.Unit.Precompiled
:- Generic instances and labeled optics for
TestCase
andTestCompiled
tryFromPTerm
: a partial function generating a debuggable test case from aClosedTerm
- Generic instances and labeled optics for
Test.Unit.Precompiled
:fromPTerm
's type signature changed to return aEither Text TestTree
and is now total. For the partial version, seetryFromPTerm
Test.Unit.Precompiled
:fromScript
, because invariants could be broken.
Test.Unit.Precompiled
module for testing precompiled scripts.TestCompiled
provides monadic interface for precompiled script checking.Expectation
defines if a test case should succeed or not.(@&)
andwithApplied
stitches in shared arguments.testEvalCase
,@>
, and@!>
tests if script fails or succeeds given arguments.testEqualityCase
tests if script is eqaul to expectation or not given arguments.fromPTerm
compiles Plutarch term and tests inTestCompiled
.
validatorSucceedsWith
, ensuring validator runs successfully given datum, redeemer, and script context.validatorFailsWith
, ensuring validator fails given datum, redeemer, and script context.mintingPolicySucceedsWith
, ensuring minting policy runs successfully given datum, redeemer, and script context.mintingPolicyFailsWith
, ensuring minting policy fails given datum, redeemer, and script context.scriptSucceeds
, ensuringScript
runs successfully.scriptFails
, ensuringScript
fails.