Assert

2022-11-27 00:30:44 +11:00
parent 58ee2c39a6
commit 9b027f0051
1 changed files with 7 additions and 1 deletions
--- a/book/src/language-tour/assert.md
+++ b/book/src/language-tour/assert.md
@@ -7,4 +7,10 @@ assert rawdata = SomeType
 Causes the script to fail if the rawdata doesn't match the structure of datumtype
 Otherwise, returns a value of SomeType

-Primarily for validating input datums / redeemers.
+Primarily for validating input datums / redeemers.
+
+You can unpack (1-match) data in the assertion
+
+```gleam
+assert Some(x) = Option(Int)
+```