diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/meta/type/dynamic.lux | 37 |
1 files changed, 19 insertions, 18 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/dynamic.lux b/stdlib/source/documentation/lux/meta/type/dynamic.lux index 596bbb610..af54272d6 100644 --- a/stdlib/source/documentation/lux/meta/type/dynamic.lux +++ b/stdlib/source/documentation/lux/meta/type/dynamic.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except static) + [lux (.except) ["$" documentation] [data ["[0]" text (.only \n) @@ -8,23 +8,24 @@ [\\library ["[0]" /]]) -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition /.wrong_type) - ($.definition /.format) +(def .public documentation + (List $.Documentation) + (list ($.module /._ + "") - ($.definition /.Dynamic - "A value coupled with its type, so it can be checked later.") + ($.definition /.wrong_type) + ($.definition /.format) - ($.definition /.dynamic - "" - [(is Dynamic - (dynamic 123))]) + ($.definition /.Dynamic + "A value coupled with its type, so it can be checked later.") - ($.definition /.static - "" - [(is (try.Try Nat) - (static Nat (dynamic 123)))])] - [])) + ($.definition /.dynamic + "" + [(is Dynamic + (dynamic 123))]) + + ($.definition /.static + "" + [(is (try.Try Nat) + (static Nat (dynamic 123)))]) + )) |