add some util functions

This commit is contained in:
Humza Shahid
2023-11-13 05:17:27 +00:00
parent dec2366926
commit 26cfc01f5c
5 changed files with 36 additions and 219870 deletions

BIN
proj

Binary file not shown.

73290
proj.du

File diff suppressed because it is too large Load Diff

View File

@@ -10,3 +10,4 @@ in
end end
rope.sml rope.sml
utils.sml

146580
proj.ud

File diff suppressed because it is too large Load Diff

35
utils.sml Normal file
View File

@@ -0,0 +1,35 @@
fun time_func title f =
let
val title = String.concat ["Starting " , title , "..."]
val _ = (print title)
val start_time = Time.now()
val start_time = Time.toMilliseconds start_time
val x = f()
val end_time = Time.now()
val end_time = Time.toMilliseconds end_time
val time_diff = end_time - start_time
val time_diff = LargeInt.toString time_diff
val time_took = String.concat ["took", time_diff, " ms\n"]
val _ = (print time_took)
in
x
end
fun run_txns arr =
Vector.foldl
(fn ((pos, del_num, ins_str), rope) =>
let
val rope = if del_num > 0 then delete pos del_num rope else rope
val str_size = String.size ins_str
val rope = if str_size > 0 then insert pos ins_str rope else rope
in
rope
end)
empty arr
fun run_txns_time title arr =
let
val f = (fn () => run_txns arr)
in
time_func title f
end