atlas-cardano-0.5.0: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Test.Privnet.Asserts

Description

 
Synopsis

Documentation

assertBool Source #

Arguments

HasCallStack 
String

The message that is displayed if the assertion fails

Bool

The condition

Assertion 

Asserts that the specified condition holds.

assertEqual Source #

Arguments

∷ (Eq a, Show a, HasCallStack) 
String

The message prefix

→ a

The expected value

→ a

The actual value

Assertion 

Asserts that the specified actual value is equal to the expected value. The output message will contain the prefix, the expected value, and the actual value.

If the prefix is the empty string (i.e., ""), then the prefix is omitted and only the expected and actual values are output.

assertFailure Source #

Arguments

HasCallStack 
String

A message that is displayed with the assertion failure

IO a 

Unconditionally signals that a failure has occured. All other assertions can be expressed with the form:

   if conditionIsMet
       then return ()
       else assertFailure msg

assertThrown ∷ ∀ e a. Exception e ⇒ (e → Bool) → IO a → IO () #

assertUserFundsIntegerCtxUserGYValueIO () #

Asserts if the user funds change as expected. This function subtracts fees from the given expected value.