Canton developer docs / Application development

Complete documentation page mirrored and translated for learning. Attribution is shown at the bottom of each article.

阅读中文版

appdevreferencedaml-standard-libraryda-assert

DA.Assert

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

Reference documentation for Daml module DA.Assert.

DA.Assert

Module Snapshot

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

Mirrored from Canton Network official documentation (CC-BY-4.0) by CC Privacy Club for learning purposes.