diff options
Diffstat (limited to 'stdlib/source/documentation/lux/static.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/static.lux | 92 |
1 files changed, 40 insertions, 52 deletions
diff --git a/stdlib/source/documentation/lux/static.lux b/stdlib/source/documentation/lux/static.lux index aa11a339e..08b82e86c 100644 --- a/stdlib/source/documentation/lux/static.lux +++ b/stdlib/source/documentation/lux/static.lux @@ -1,7 +1,7 @@ (.require [library [lux (.except nat int rev) - ["$" documentation (.only documentation:)] + ["$" documentation] [data [text ["%" \\format (.only format)]] @@ -10,59 +10,47 @@ [\\library ["[0]" /]]) -(with_template [<name> <type>] - [(documentation: <name> - (%.code (' (<name> - (is <type> - (value generating expression))))))] +(`` (.def .public documentation + (.List $.Module) + ($.module /._ + "" + [(~~ (with_template [<name> <type>] + [($.documentation <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] + )) -(documentation: /.literal - "" - [(/.literal - (is (-> ??? Code) - format) - (is ??? - (value generating expression)))]) + ($.documentation /.literal + "" + [(/.literal + (is (-> ??? Code) + format) + (is ??? + (value generating expression)))]) -(with_template [<name> <type>] - [(documentation: <name> - (%.code (' (is <type> - (<name>)))))] + (~~ (with_template [<name> <type>] + [($.documentation <name> + (%.code (' (is <type> + (<name>)))))] - [/.random_nat .Nat] - [/.random_int .Int] - [/.random_rev .Rev] - [/.random_frac .Frac] - ) + [/.random_nat .Nat] + [/.random_int .Int] + [/.random_rev .Rev] + [/.random_frac .Frac] + )) -(documentation: /.random - "" - [(/.random - (is (-> ??? Code) - format) - (is (Random ???) - (random data generator)))]) - -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [..nat - ..int - ..rev - ..frac - ..text - ..literal - ..random_nat - ..random_int - ..random_rev - ..random_frac - ..random] - [])) + ($.documentation /.random + "" + [(/.random + (is (-> ??? Code) + format) + (is (Random ???) + (random data generator)))])] + []))) |