DA.Assert

Module Snapshot

Stable.

Status: active Introduced in: 3.4.9 Removed in: - Warnings: 0 Deprecations: 0 Deprecated since: -

assertEq : (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.

assertNotEq : (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.

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

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

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

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

assertWithinDeadline : 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.

assertDeadlineExceeded : 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.

⌘I