aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data/text/format.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data/text/format.lux')
-rw-r--r--stdlib/source/test/lux/data/text/format.lux138
1 files changed, 69 insertions, 69 deletions
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index b8ebe1d7f..62dfcd17d 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -1,57 +1,57 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]
- [equivalence {"+" Equivalence}]
- [functor
- [\\specification
- ["$[0]" contravariant]]]]
- [control
- ["[0]" try]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)]
- ["[0]" bit]
- [format
- ["[0]" xml]
- ["[0]" json]]
- [collection
- ["[0]" list ("[1]#[0]" functor)]]]
- ["[0]" time
- ["[0]" day]
- ["[0]" month]
- ["[0]" instant]
- ["[0]" duration]
- ["[0]" date]]
- [math
- ["[0]" random {"+" Random} ("[1]#[0]" monad)]
- ["[0]" modulus]
- ["[0]" modular]
- [number
- ["[0]" nat]
- ["[0]" int]
- ["[0]" rev]
- ["[0]" frac]
- ["[0]" ratio]]]
- [macro
- ["[0]" code]]
- [meta
- ["[0]" location]
- ["[0]" symbol]]
- ["[0]" type]]]
- ["$[0]" /// "_"
- [format
- ["[1][0]" xml]
- ["[1][0]" json]]
- [//
- ["[1][0]" type]
- [macro
- ["[1][0]" code]]
- [meta
- ["[1][0]" symbol]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
+ [functor
+ [\\specification
+ ["$[0]" contravariant]]]]
+ [control
+ ["[0]" try]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit]
+ [format
+ ["[0]" xml]
+ ["[0]" json]]
+ [collection
+ ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" time
+ ["[0]" day]
+ ["[0]" month]
+ ["[0]" instant]
+ ["[0]" duration]
+ ["[0]" date]]
+ [math
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+ ["[0]" modulus]
+ ["[0]" modular]
+ [number
+ ["[0]" nat]
+ ["[0]" int]
+ ["[0]" rev]
+ ["[0]" frac]
+ ["[0]" ratio]]]
+ [macro
+ ["[0]" code]]
+ [meta
+ ["[0]" location]
+ ["[0]" symbol]]
+ ["[0]" type]]]
+ ["$[0]" /// "_"
+ [format
+ ["[1][0]" xml]
+ ["[1][0]" json]]
+ [//
+ ["[1][0]" type]
+ [macro
+ ["[1][0]" code]]
+ [meta
+ ["[1][0]" symbol]]]]
+ [\\library
+ ["[0]" /]])
(implementation: (equivalence example)
(All (_ a) (-> a (Equivalence (/.Format a))))
@@ -96,25 +96,25 @@
[/.date date.codec random.date]
[/.time time.codec random.time]
- [/.nat/2 nat.binary random.nat]
- [/.nat/8 nat.octal random.nat]
- [/.nat/10 nat.decimal random.nat]
- [/.nat/16 nat.hex random.nat]
+ [/.nat_2 nat.binary random.nat]
+ [/.nat_8 nat.octal random.nat]
+ [/.nat_10 nat.decimal random.nat]
+ [/.nat_16 nat.hex random.nat]
- [/.int/2 int.binary random.int]
- [/.int/8 int.octal random.int]
- [/.int/10 int.decimal random.int]
- [/.int/16 int.hex random.int]
+ [/.int_2 int.binary random.int]
+ [/.int_8 int.octal random.int]
+ [/.int_10 int.decimal random.int]
+ [/.int_16 int.hex random.int]
- [/.rev/2 rev.binary random.rev]
- [/.rev/8 rev.octal random.rev]
- [/.rev/10 rev.decimal random.rev]
- [/.rev/16 rev.hex random.rev]
+ [/.rev_2 rev.binary random.rev]
+ [/.rev_8 rev.octal random.rev]
+ [/.rev_10 rev.decimal random.rev]
+ [/.rev_16 rev.hex random.rev]
- [/.frac/2 frac.binary random.frac]
- [/.frac/8 frac.octal random.frac]
- [/.frac/10 frac.decimal random.frac]
- [/.frac/16 frac.hex random.frac]
+ [/.frac_2 frac.binary random.frac]
+ [/.frac_8 frac.octal random.frac]
+ [/.frac_10 frac.decimal random.frac]
+ [/.frac_16 frac.hex random.frac]
))
)))