DA.Assert
Daml 标准库模块 DA.Assert 参考文档。
DA.断言
模块快照
函数
assertEq
assertEq : (CanAssert m, Show a, Eq a) => a -> a -> m ()检查两个值是否相等。如果它们不相等， 失败并显示一条消息。
===
=== : (CanAssert m, Show a, Eq a) => a -> a -> m ()assertEq 的中缀版本。
assertNotEq
assertNotEq : (CanAssert m, Show a, Eq a) => a -> a -> m ()检查两个值是否不相等。如果它们相等的话 失败并显示一条消息。
=/=
=/= : (CanAssert m, Show a, Eq a) => a -> a -> m ()assertNotEq 的中缀版本。
assertAfterMsg
assertAfterMsg : (CanAssert m, HasTime m) => Text -> Time -> m ()检查给定时间是否是将来的时间。如果不是， 通过消息中止。
assertBeforeMsg
assertBeforeMsg : (CanAssert m, HasTime m) => Text -> Time -> m ()检查给定时间是否是过去的时间。如果不是， 通过消息中止。
assertWithinDeadline
assertWithinDeadline : Text -> Time -> Update ()检查交易的账本时间是否严格在给定的截止日期之前。 如果不是，则通过消息中止。
assertDeadlineExceeded
assertDeadlineExceeded : Text -> Time -> Update ()检查交易的分类时间是否等于或晚于给定的截止日期。 如果不是，则通过消息中止。
本文由 CC Privacy Club 根据 Canton Network 官方文档（CC-BY-4.0）整理翻译，仅供学习；实现细节以官方最新版本为准。