@@ -1,7 +1,9 @@
11module Main
22
33import System
4+import Effects
45import Effect.Random
6+import Data.Vect
57
68total
79insert : Ord a => a -> Vect n a -> Vect (S n) a
@@ -12,13 +14,12 @@ vsort : Ord a => Vect n a -> Vect n a
1214vsort [] = []
1315vsort (x :: xs) = insert x (vsort xs)
1416
15−mkSortVec : (n : Nat) -> Eff m [RND] (Vect n Int)
17+mkSortVec : (n : Nat) -> Eff (Vect n Int) [RND]
1618mkSortVec Z = return []
1719mkSortVec (S k) = return (fromInteger !(rndInt 0 10000) :: !(mkSortVec k))
1820
1921main : IO ()
2022main = do (_ :: arg :: _) <- getArgs
21−-- let arg = "2000"
22− let vec = runPure [123456789] (mkSortVec (fromInteger (cast arg)))
23+ let vec = runPure $ (srand 123456789 *> mkSortVec (fromInteger (cast arg)))
2324 putStrLn "Made vector"
2425 printLn (vsort vec)