aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/random.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/math/random.lux')
-rw-r--r--stdlib/source/library/lux/math/random.lux42
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux
index d370085ff..348482e63 100644
--- a/stdlib/source/library/lux/math/random.lux
+++ b/stdlib/source/library/lux/math/random.lux
@@ -5,21 +5,21 @@
[hash {"+" [Hash]}]
[functor {"+" [Functor]}]
[apply {"+" [Apply]}]
- ["." monad {"+" [Monad do]}]]
+ ["[0]" monad {"+" [Monad do]}]]
[data
- ["." text {"+" [Char]} ("#\." monoid)
- ["." unicode "_"
- ["#" set]]]
+ ["[0]" text {"+" [Char]} ("[1]\[0]" monoid)
+ ["[0]" unicode "_"
+ ["[1]" set]]]
[collection
- ["." list ("#\." mix)]
- ["." array {"+" [Array]}]
- ["." dictionary {"+" [Dictionary]}]
- ["." queue {"+" [Queue]}]
- ["." set {"+" [Set]}]
- ["." stack {"+" [Stack]}]
- ["." row {"+" [Row]}]
+ ["[0]" list ("[1]\[0]" mix)]
+ ["[0]" array {"+" [Array]}]
+ ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" queue {"+" [Queue]}]
+ ["[0]" set {"+" [Set]}]
+ ["[0]" stack {"+" [Stack]}]
+ ["[0]" row {"+" [Row]}]
[tree
- ["." finger {"+" [Tree]}]]]]
+ ["[0]" finger {"+" [Tree]}]]]]
[math
[number {"+" [hex]}
["n" nat]
@@ -27,13 +27,13 @@
["f" frac]
["r" ratio]
["c" complex]
- ["." i64]]]
- ["." time {"+" [Time]}
- ["." instant {"+" [Instant]}]
- ["." date {"+" [Date]}]
- ["." duration {"+" [Duration]}]
- ["." month {"+" [Month]}]
- ["." day {"+" [Day]}]]
+ ["[0]" i64]]]
+ ["[0]" time {"+" [Time]}
+ ["[0]" instant {"+" [Instant]}]
+ ["[0]" date {"+" [Date]}]
+ ["[0]" duration {"+" [Duration]}]
+ ["[0]" month {"+" [Month]}]
+ ["[0]" day {"+" [Day]}]]
[type
[refinement {"+" [Refiner Refined]}]]]])
@@ -309,7 +309,7 @@
(def: .public month
(Random Month)
- (let [(^open "\.") ..monad]
+ (let [(^open "\[0]") ..monad]
(..either (..either (..either (\in #month.January)
(..either (\in #month.February)
(\in #month.March)))
@@ -325,7 +325,7 @@
(def: .public day
(Random Day)
- (let [(^open "\.") ..monad]
+ (let [(^open "\[0]") ..monad]
(..either (..either (\in #day.Sunday)
(..either (\in #day.Monday)
(\in #day.Tuesday)))