diff options
| author | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-07-26 21:23:27 -0400 |
| commit | a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch) | |
| tree | 08df3db7f8fffad6360a476d20db1d40b36c85cb /stdlib/source/test/licentia.lux | |
| parent | 78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff) | |
No more "n/"-prefixed functions.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/licentia.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux index 7f623d26d..61bdbb0b2 100644 --- a/stdlib/source/test/licentia.lux +++ b/stdlib/source/test/licentia.lux @@ -7,9 +7,9 @@ [data ["." bit ("#;." equivalence)] ["." maybe ("#;." functor)] - [number - ["." nat ("#;." interval)]] ["." text] + [number + ["n" nat ("#@." interval)]] [collection ["." list ("#;." functor)]]] [math @@ -43,11 +43,11 @@ (def: period (Random (Period Nat)) (do r.monad - [start (r.filter (|>> (n/= nat;top) not) + [start (r.filter (|>> (n.= n@top) not) r.nat) - #let [wiggle-room (n/- start nat;top)] + #let [wiggle-room (n.- start n@top)] end (:: @ map - (|>> (n/% wiggle-room) (n/max 1)) + (|>> (n.% wiggle-room) (n.max 1)) r.nat)] (wrap {#time.start start #time.end end}))) @@ -105,7 +105,7 @@ (def: (variable-list max-size gen-element) (All [a] (-> Nat (Random a) (Random (List a)))) (do r.monad - [amount (:: @ map (n/% (n/max 1 max-size)) + [amount (:: @ map (n.% (n.max 1 max-size)) r.nat)] (r.list amount gen-element))) |