diff options
Diffstat (limited to 'stdlib/source/library/lux/math/random.lux')
-rw-r--r-- | stdlib/source/library/lux/math/random.lux | 42 |
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))) |