Functions

: (CanAssert m, Show a, Eq a) => a -> a -> m ()

Check two values for equality. If they’re not equal, fail with a message.

: (CanAssert m, Show a, Eq a) => a -> a -> m ()

Infix version of assertEq.

: (CanAssert m, Show a, Eq a) => a -> a -> m ()

Check two values for inequality. If they’re equal, fail with a message.

: (CanAssert m, Show a, Eq a) => a -> a -> m ()

Infix version of assertNotEq.

: (CanAssert m, HasTime m) => Text -> Time -> m ()

Check whether the given time is in the future. If it’s not, abort with a message.

: (CanAssert m, HasTime m) => Text -> Time -> m ()

Check whether the given time is in the past. If it’s not, abort with a message.

: Text -> Time -> Update ()

Check whether the ledger time of the transaction is strictly before the given deadline. If it’s not, abort with a message.

: Text -> Time -> Update ()

Check whether the ledger time of the transaction is at or after the given deadline. If it’s not, abort with a message.