humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

implement 'moveToStart' and 'moveToEnd' functions in gap_map.sml

Browse Source
This commit is contained in:
Humza Shahid
2025-02-12 13:59:27 +00:00
parent 18bd71d608
commit d3cca23549
1 changed files with 72 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

72
src/gap_map.sml
View File

@@ -541,4 +541,76 @@ struct
else getLeft (check, leftKeys, leftVals) else getLeft (check, leftKeys, leftVals)
end end
| (_, _) => getLeft (check, leftKeys, leftVals) | (_, _) => getLeft (check, leftKeys, leftVals)
fun helpMoveToStart (leftKeys, leftVals, rightKeys, rightVals) =
case (leftKeys, leftVals) of
(lkhd :: lktl, lvhd :: lvtl) =>
(case (rightKeys, rightVals) of
(rkhd :: rktl, rvhd :: rvtl) =>
if isLessThanTarget (lkhd, rvhd) then
let
val rightKeys = Vector.concat [lkhd, rkhd] :: rktl
val rightVals = Vector.concat [lvhd, rvhd] :: rvtl
in
helpMoveToStart (lktl, lvtl, rightKeys, rightVals)
end
else
let
val rightKeys = lkhd :: rightKeys
val rightVals = lvhd :: rightVals
in
helpMoveToStart (lktl, lvtl, rightKeys, rightVals)
end
| (_, _) =>
let
val rightKeys = lkhd :: rightKeys
val rightVals = lvhd :: rightVals
in
helpMoveToStart (lktl, lvtl, rightKeys, rightVals)
end)
| (_, _) =>
{ leftKeys = leftKeys
, leftVals = leftVals
, rightKeys = rightKeys
, rightVals = rightVals
}
fun moveToStart {leftKeys, leftVals, rightKeys, rightVals} =
helpMoveToStart (leftKeys, leftVals, rightKeys, rightVals)
fun helpMoveToEnd (leftKeys, leftVals, rightKeys, rightVals) =
case (rightKeys, rightVals) of
(rkhd :: rktl, rvhd :: rvtl) =>
(case (leftKeys, leftVals) of
(lkhd :: lktl, lvhd :: lvtl) =>
if isLessThanTarget (lkhd, rkhd) then
let
val leftKeys = Vector.concat [lkhd, rkhd] :: leftKeys
val leftVals = Vector.concat [lvhd, rvhd] :: leftVals
in
helpMoveToEnd (leftKeys, leftVals, rktl, rvtl)
end
else
let
val leftKeys = rkhd :: leftKeys
val leftVals = rvhd :: leftVals
in
helpMoveToEnd (leftKeys, leftVals, rktl, rvtl)
end
| (_, _) =>
let
val leftKeys = rkhd :: leftKeys
val leftVals = rvhd :: leftVals
in
helpMoveToEnd (leftKeys, leftVals, rktl, rvtl)
end)
| (_, _) =>
{ leftKeys = leftKeys
, leftVals = leftVals
, rightKeys = rightKeys
, rightVals = rightVals
}
fun moveToEnd {leftKeys, leftVals, rightKeys, rightVals} =
helpMoveToEnd (leftKeys, leftVals, rightKeys, rightVals)
end end