Test.Cleveland.Internal.Actions.TransferFailurePredicate

TransferFailure Predicates

Documentation

data TransferFailurePredicateDesc

Constructors

TransferFailurePredicateDesc

Fields

• _tfpdNegated :: Bool
• _tfpdDescription :: Doc

Instances

IsString TransferFailurePredicateDesc

Defined in Test.Cleveland.Internal.Actions.TransferFailurePredicate

Methods

fromString :: String -> TransferFailurePredicateDesc

Buildable TransferFailurePredicateDesc

Defined in Test.Cleveland.Internal.Actions.TransferFailurePredicate

Methods

build :: TransferFailurePredicateDesc -> Doc

buildList :: [TransferFailurePredicateDesc] -> Doc

data TransferFailurePredicate

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

• TransferFailurePredicateDesc

  The explanation of the expected outcome.

• (TransferFailure -> Bool)

  The predicate itself.

AndPredicate (NonEmpty TransferFailurePredicate)

OrPredicate (NonEmpty TransferFailurePredicate)

Instances

Boolean TransferFailurePredicate

Defined in Test.Cleveland.Internal.Actions.TransferFailurePredicate

Methods

(&&) :: TransferFailurePredicate -> TransferFailurePredicate -> TransferFailurePredicate

(||) :: TransferFailurePredicate -> TransferFailurePredicate -> TransferFailurePredicate

not :: TransferFailurePredicate -> TransferFailurePredicate

tfpdDescription :: Lens' TransferFailurePredicateDesc Doc

tfpdNegated :: Lens' TransferFailurePredicateDesc Bool

tfpd :: Doc -> TransferFailurePredicateDesc

transferFailureReasonPredicate :: Doc -> (TransferFailureReason -> Bool) -> TransferFailurePredicate

shiftOverflow :: TransferFailurePredicate

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

emptyTransaction :: TransferFailurePredicate

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

badParameter :: TransferFailurePredicate

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

gasExhaustion :: TransferFailurePredicate

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

failedWith :: SomeConstant -> TransferFailurePredicate

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

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

addressIs

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

A constant michelson value that a contract threw with FAILWITH.

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

A lorentz error.

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

A custom lorentz error.

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

A custom lorentz error with a unit argument.

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

A custom lorentz error with no argument.

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

A lorentz numeric error.