Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt

Use this file to discover all available pages before exploring further.

​
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.