DA.Assert
Module Snapshot
Lifecycle
Stable.
Notices
Status:
active
Introduced in: 3.4.9
Removed in: -
Warnings: 0
Deprecations: 0
Deprecated since: -Functions
assertEq
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
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
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
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
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
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.