io.random: adding random-file-line(s)

diff --git a/extra/io/random/random.factor b/extra/io/random/random.factor
index 7a985e06a7ed01800129b942b0a96c5db4971361..ef53f6f187ca644aa5d2ada79ea23d35785ca161 100644 (file)
--- a/extra/io/random/random.factor
+++ b/extra/io/random/random.factor
@@ -25,3 +25,9 @@ PRIVATE>
             r n < [ line r accum set-nth-unsafe ] when
         ] if
     ] each-numbered-line accum ;
+
+: random-file-line ( path encoding -- line/f )
+    [ random-line ] with-file-reader ; inline
+
+: random-file-lines ( path encoding n -- lines )
+    '[ _ random-file-lines ] with-file-reader ; inline