Assert

aiken-lang · Nov 26, 2022 · b023710 · b023710
1 parent 9d734bb
commit b023710
Showing 1 changed file with 7 additions and 1 deletion.
diff --git 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)
+```