cleveland-0.3.2: Testing framework for Morley.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cleveland.Internal.Actions.TransferFailurePredicate

Description

TransferFailure Predicates

Synopsis

Documentation

data TransferFailurePredicate Source #

A predicate that checks whether a transfer operation failed for the expected reason.

Predicates can be combined using the && and || operators.

Constructors

TransferFailurePredicate

Predicate with a description

Fields

AndPredicate (NonEmpty TransferFailurePredicate) 
OrPredicate (NonEmpty TransferFailurePredicate) 

shiftOverflow :: TransferFailurePredicate Source #

Asserts that interpretation of a contract failed due to an overflow error.

emptyTransaction :: TransferFailurePredicate Source #

Asserts that an action failed due to an attempt to transfer 0tz towards a simple address.

badParameter :: TransferFailurePredicate Source #

Asserts that an action failed due to an attempt to call a contract with an invalid parameter.

gasExhaustion :: TransferFailurePredicate Source #

Asserts that interpretation of a contract failed due to gas exhaustion.

failedWith :: SomeConstant -> TransferFailurePredicate Source #

Asserts that interpretation of a contract ended with FAILWITH, throwing the given error.

This function should be used together with one of the "FAILWITH constructors" (e.g. constant, customError).

failedWithPredicate :: Doc -> (Expression -> Bool) -> TransferFailurePredicate Source #

Asserts that interpretation of a contract ended with FAILWITH, and the error satisfies the given predicate.

addressIs Source #

Arguments

:: ToAddress addr 
=> addr

The expected address.

-> TransferFailurePredicate 

Asserts that the error occurred while interpreting the contract with the given address.

constant :: forall err. NiceConstant err => err -> SomeConstant Source #

A constant michelson value that a contract threw with FAILWITH.

lerror :: forall err. IsError err => err -> SomeConstant Source #

A lorentz error.

customError :: forall arg tag. (IsError (CustomError tag), MustHaveErrorArg tag (MText, arg)) => Label tag -> arg -> SomeConstant Source #

A custom lorentz error.

customError_ :: (IsError (CustomError tag), MustHaveErrorArg tag (MText, ())) => Label tag -> SomeConstant Source #

A custom lorentz error with a unit argument.

customErrorNoArg :: (IsError (CustomError tag), MustHaveErrorArg tag MText) => Label tag -> SomeConstant Source #

A custom lorentz error with no argument.

numericError :: forall err. IsError err => ErrorTagMap -> err -> SomeConstant Source #

A lorentz numeric error.