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 09f72d4bf..22eaf64b3 100644 --- a/stdlib/source/library/lux/math/random.lux +++ b/stdlib/source/library/lux/math/random.lux @@ -1,41 +1,41 @@ (.using [library - [lux {"-" or and list i64 nat int rev char} + [lux {"-" or and list i64 nat int rev char only} [abstract - [hash {"+" Hash}] - [functor {"+" Functor}] - [apply {"+" Apply}] - ["[0]" monad {"+" Monad do}]] + [hash (.only Hash)] + [functor (.only Functor)] + [apply (.only Apply)] + ["[0]" monad (.only Monad do)]] [data - ["[0]" text {"+" Char} ("[1]#[0]" monoid) + ["[0]" text (.only Char) ("[1]#[0]" monoid) ["[0]" unicode "_" ["[1]" set]]] [collection ["[0]" list ("[1]#[0]" mix)] - ["[0]" array {"+" Array}] - ["[0]" dictionary {"+" Dictionary}] - ["[0]" queue {"+" Queue}] - ["[0]" set {"+" Set}] - ["[0]" stack {"+" Stack}] - ["[0]" sequence {"+" Sequence}] + ["[0]" array (.only Array)] + ["[0]" dictionary (.only Dictionary)] + ["[0]" queue (.only Queue)] + ["[0]" set (.only Set)] + ["[0]" stack (.only Stack)] + ["[0]" sequence (.only Sequence)] [tree - ["[0]" finger {"+" Tree}]]]] + ["[0]" finger (.only Tree)]]]] [math - [number {"+" hex} + [number (.only hex) ["n" nat] ["i" int] ["f" frac] ["r" ratio] ["c" complex] ["[0]" i64]]] - ["[0]" time {"+" Time} - ["[0]" instant {"+" Instant}] - ["[0]" date {"+" Date}] - ["[0]" duration {"+" Duration}] - ["[0]" month {"+" Month}] - ["[0]" day {"+" Day}]] + ["[0]" time (.only Time) + ["[0]" instant (.only Instant)] + ["[0]" date (.only Date)] + ["[0]" duration (.only Duration)] + ["[0]" month (.only Month)] + ["[0]" day (.only Day)]] [type - [refinement {"+" Refiner Refined}]]]]) + [refinement (.only Refiner Refined)]]]]) (type: .public PRNG (Rec PRNG |