diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/meta/static.lux | 78 |
1 files changed, 40 insertions, 38 deletions
diff --git a/stdlib/source/documentation/lux/meta/static.lux b/stdlib/source/documentation/lux/meta/static.lux index 51853785a..cd5168c83 100644 --- a/stdlib/source/documentation/lux/meta/static.lux +++ b/stdlib/source/documentation/lux/meta/static.lux @@ -12,46 +12,48 @@ (`` (def .public documentation (List $.Documentation) - (list ($.module /._ - "") + (let [literal (list (,, (with_template [<name> <type>] + [($.definition <name> + (%.code (' (<name> + (is <type> + (value generating expression))))))] - (,, (with_template [<name> <type>] - [($.definition <name> - (%.code (' (<name> - (is <type> - (value generating expression))))))] + [/.nat .Nat] + [/.int .Int] + [/.rev .Rev] + [/.frac .Frac] + [/.text .Text] + )) - [/.nat .Nat] - [/.int .Int] - [/.rev .Rev] - [/.frac .Frac] - [/.text .Text] - )) + ($.definition /.literal + "" + [(/.literal + (is (-> ??? Code) + format) + (is ??? + (value generating expression)))])) + random (list (,, (with_template [<name> <type>] + [($.definition <name> + (%.code (' (is <type> + (<name>)))))] - ($.definition /.literal - "" - [(/.literal - (is (-> ??? Code) - format) - (is ??? - (value generating expression)))]) + [/.random_nat .Nat] + [/.random_int .Int] + [/.random_rev .Rev] + [/.random_frac .Frac] + )) - (,, (with_template [<name> <type>] - [($.definition <name> - (%.code (' (is <type> - (<name>)))))] + ($.definition /.random + "" + [(/.random + (is (-> ??? Code) + format) + (is (Random ???) + (random data generator)))]))] + (list.partial ($.module /._ + "") - [/.random_nat .Nat] - [/.random_int .Int] - [/.random_rev .Rev] - [/.random_frac .Frac] - )) - - ($.definition /.random - "" - [(/.random - (is (-> ??? Code) - format) - (is (Random ???) - (random data generator)))]) - ))) + (list.together + (list literal + random)) + )))) |