diff options
Diffstat (limited to 'stdlib/source/library/lux/math/random.lux')
-rw-r--r-- | stdlib/source/library/lux/math/random.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux index b416d2c8a..8803ab037 100644 --- a/stdlib/source/library/lux/math/random.lux +++ b/stdlib/source/library/lux/math/random.lux @@ -78,7 +78,7 @@ (fa state'))))) (def: .public (only pred gen) - (All [a] (-> (-> a Bit) (Random a) (Random a))) + (All (_ a) (-> (-> a Bit) (Random a) (Random a))) (do ..monad [sample gen] (if (pred sample) @@ -86,7 +86,7 @@ (only pred gen)))) (def: .public (one check random) - (All [a b] + (All (_ a b) (-> (-> a (Maybe b)) (Random a) (Random b))) (do ..monad [sample random] @@ -98,7 +98,7 @@ (one check random)))) (def: .public (refined refiner gen) - (All [t r] (-> (Refiner t r) (Random t) (Random (Refined t r)))) + (All (_ t r) (-> (Refiner t r) (Random t) (Random (Refined t r)))) (do ..monad [sample gen] (case (refiner sample) @@ -194,14 +194,14 @@ ) (def: .public (and left right) - (All [a b] (-> (Random a) (Random b) (Random [a b]))) + (All (_ a b) (-> (Random a) (Random b) (Random [a b]))) (do ..monad [=left left =right right] (in [=left =right]))) (def: .public (or left right) - (All [a b] (-> (Random a) (Random b) (Random (Or a b)))) + (All (_ a b) (-> (Random a) (Random b) (Random (Or a b)))) (do {! ..monad} [? bit] (if ? @@ -213,7 +213,7 @@ (in (0 #1 =right)))))) (def: .public (either left right) - (All [a] (-> (Random a) (Random a) (Random a))) + (All (_ a) (-> (Random a) (Random a) (Random a))) (do ..monad [? bit] (if ? @@ -221,13 +221,13 @@ right))) (def: .public (rec gen) - (All [a] (-> (-> (Random a) (Random a)) (Random a))) + (All (_ a) (-> (-> (Random a) (Random a)) (Random a))) (function (_ state) (let [gen' (gen (rec gen))] (gen' state)))) (def: .public (maybe value_gen) - (All [a] (-> (Random a) (Random (Maybe a)))) + (All (_ a) (-> (Random a) (Random (Maybe a)))) (do {! ..monad} [some? bit] (if some? @@ -238,7 +238,7 @@ (template [<name> <type> <zero> <plus>] [(def: .public (<name> size value_gen) - (All [a] (-> Nat (Random a) (Random (<type> a)))) + (All (_ a) (-> Nat (Random a) (Random (<type> a)))) (if (n.> 0 size) (do ..monad [x value_gen @@ -252,7 +252,7 @@ (template [<name> <type> <ctor>] [(def: .public (<name> size value_gen) - (All [a] (-> Nat (Random a) (Random (<type> a)))) + (All (_ a) (-> Nat (Random a) (Random (<type> a)))) (do ..monad [values (list size value_gen)] (in (|> values <ctor>))))] @@ -263,7 +263,7 @@ ) (def: .public (set hash size value_gen) - (All [a] (-> (Hash a) Nat (Random a) (Random (Set a)))) + (All (_ a) (-> (Hash a) Nat (Random a) (Random (Set a)))) (if (n.> 0 size) (do {! ..monad} [xs (set hash (-- size) value_gen)] @@ -277,7 +277,7 @@ (\ ..monad in (set.empty hash)))) (def: .public (dictionary hash size key_gen value_gen) - (All [k v] (-> (Hash k) Nat (Random k) (Random v) (Random (Dictionary k v)))) + (All (_ k v) (-> (Hash k) Nat (Random k) (Random v) (Random (Dictionary k v)))) (if (n.> 0 size) (do {! ..monad} [kv (dictionary hash (-- size) key_gen value_gen)] @@ -335,11 +335,11 @@ (\in #day.Saturday)))))) (def: .public (result prng calc) - (All [a] (-> PRNG (Random a) [PRNG a])) + (All (_ a) (-> PRNG (Random a) [PRNG a])) (calc prng)) (def: .public (prng update return) - (All [a] (-> (-> a a) (-> a I64) (-> a PRNG))) + (All (_ a) (-> (-> a a) (-> a I64) (-> a PRNG))) (function (recur state) (function (_ _) [(recur (update state)) |