From 39325bb36c6f6459c861ef12f9e99b9e66b52594 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 8 Jul 2022 17:18:30 -0400 Subject: Moved "lux/static" to "lux/meta/static". --- stdlib/source/documentation/lux/meta/static.lux | 56 +++++++++++++++++++++++++ stdlib/source/documentation/lux/static.lux | 56 ------------------------- 2 files changed, 56 insertions(+), 56 deletions(-) create mode 100644 stdlib/source/documentation/lux/meta/static.lux delete mode 100644 stdlib/source/documentation/lux/static.lux (limited to 'stdlib/source/documentation') diff --git a/stdlib/source/documentation/lux/meta/static.lux b/stdlib/source/documentation/lux/meta/static.lux new file mode 100644 index 000000000..9ae73aae8 --- /dev/null +++ b/stdlib/source/documentation/lux/meta/static.lux @@ -0,0 +1,56 @@ +(.require + [library + [lux (.except nat int rev) + ["$" documentation] + [data + [text + ["%" \\format (.only format)]] + [collection + ["[0]" list]]]]] + [\\library + ["[0]" /]]) + +(`` (.def .public documentation + (.List $.Module) + ($.module /._ + "" + [(,, (with_template [ ] + [($.documentation + (%.code (' ( + (is + (value generating expression))))))] + + [/.nat .Nat] + [/.int .Int] + [/.rev .Rev] + [/.frac .Frac] + [/.text .Text] + )) + + ($.documentation /.literal + "" + [(/.literal + (is (-> ??? Code) + format) + (is ??? + (value generating expression)))]) + + (,, (with_template [ ] + [($.documentation + (%.code (' (is + ()))))] + + [/.random_nat .Nat] + [/.random_int .Int] + [/.random_rev .Rev] + [/.random_frac .Frac] + )) + + ($.documentation /.random + "" + [(/.random + (is (-> ??? Code) + format) + (is (Random ???) + (random data generator)))])] + []))) diff --git a/stdlib/source/documentation/lux/static.lux b/stdlib/source/documentation/lux/static.lux deleted file mode 100644 index 9ae73aae8..000000000 --- a/stdlib/source/documentation/lux/static.lux +++ /dev/null @@ -1,56 +0,0 @@ -(.require - [library - [lux (.except nat int rev) - ["$" documentation] - [data - [text - ["%" \\format (.only format)]] - [collection - ["[0]" list]]]]] - [\\library - ["[0]" /]]) - -(`` (.def .public documentation - (.List $.Module) - ($.module /._ - "" - [(,, (with_template [ ] - [($.documentation - (%.code (' ( - (is - (value generating expression))))))] - - [/.nat .Nat] - [/.int .Int] - [/.rev .Rev] - [/.frac .Frac] - [/.text .Text] - )) - - ($.documentation /.literal - "" - [(/.literal - (is (-> ??? Code) - format) - (is ??? - (value generating expression)))]) - - (,, (with_template [ ] - [($.documentation - (%.code (' (is - ()))))] - - [/.random_nat .Nat] - [/.random_int .Int] - [/.random_rev .Rev] - [/.random_frac .Frac] - )) - - ($.documentation /.random - "" - [(/.random - (is (-> ??? Code) - format) - (is (Random ???) - (random data generator)))])] - []))) -- cgit v1.2.3