From 58ee2c39a612f2f8ef62fa9eeecaccf6e94f1981 Mon Sep 17 00:00:00 2001 From: Micah Kendall Date: Sun, 27 Nov 2022 00:30:40 +1100 Subject: [PATCH] Check --- book/src/language-tour/check.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/book/src/language-tour/check.md b/book/src/language-tour/check.md index d7ef5bab..20158bbb 100644 --- a/book/src/language-tour/check.md +++ b/book/src/language-tour/check.md @@ -1 +1,8 @@ # Check + +Check is faster than assert but has weaker guarantees. +You can unpack (1-match) data in a check. + +```gleam +check Some(x) = Option(Int) +``` \ No newline at end of file