2025-07-06 01:38:02 +01:00
|
|
|
structure AppWith =
|
|
|
|
|
struct
|
|
|
|
|
open AppType
|
|
|
|
|
|
2025-07-11 17:03:48 +01:00
|
|
|
fun updateSquares (squares, newX, newY, item) =
|
2025-07-12 06:03:59 +01:00
|
|
|
let
|
|
|
|
|
val yAxis = Vector.sub (squares, newX)
|
|
|
|
|
val yAxis = Vector.update (yAxis, newY, item)
|
|
|
|
|
in
|
|
|
|
|
Vector.update (squares, newX, yAxis)
|
|
|
|
|
end
|
2025-07-11 17:03:48 +01:00
|
|
|
|
2025-07-11 17:21:50 +01:00
|
|
|
fun changeSquaresSize (squares, newCanvasWidth, newCanvasHeight) =
|
2025-07-11 22:20:29 +01:00
|
|
|
let
|
|
|
|
|
val maxPoints = Int.max (newCanvasWidth, newCanvasHeight)
|
|
|
|
|
in
|
|
|
|
|
Vector.tabulate (maxPoints, fn i =>
|
|
|
|
|
if i < Vector.length squares then
|
2025-07-11 17:21:50 +01:00
|
|
|
let
|
|
|
|
|
val yAxis = Vector.sub (squares, i)
|
|
|
|
|
in
|
2025-07-11 22:20:29 +01:00
|
|
|
Vector.tabulate (maxPoints, fn ii =>
|
|
|
|
|
if ii < Vector.length yAxis then Vector.sub (yAxis, ii)
|
|
|
|
|
else {r = 0, g = 0, b = 0, a = 0})
|
|
|
|
|
end
|
|
|
|
|
else
|
|
|
|
|
Vector.tabulate (maxPoints, fn _ => {r = 0, g = 0, b = 0, a = 0}))
|
|
|
|
|
end
|
2025-07-11 17:21:50 +01:00
|
|
|
|
2025-07-06 01:38:02 +01:00
|
|
|
fun addSquare (app, newX, newY, arrowX, arrowY) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX = _
|
|
|
|
|
, arrowY = _
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 17:03:48 +01:00
|
|
|
val item = {r = r, g = g, b = b, a = a}
|
|
|
|
|
val squares = updateSquares (squares, newX, newY, item)
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
2025-07-11 23:47:28 +01:00
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
|
|
|
|
, modalNum = modalNum
|
|
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
|
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun deleteSquare (app, deleteX, deleteY, arrowX, arrowY) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX = _
|
|
|
|
|
, arrowY = _
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a
|
|
|
|
|
, modalNum
|
|
|
|
|
, undo
|
|
|
|
|
, redo
|
|
|
|
|
} = app
|
|
|
|
|
|
|
|
|
|
val item = {r = 0, g = 0, b = 0, a = 0}
|
|
|
|
|
val squares = updateSquares (squares, deleteX, deleteY, item)
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
2025-07-06 01:38:02 +01:00
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-08-08 23:39:29 +01:00
|
|
|
fun squares (app, newSquares) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a
|
|
|
|
|
, modalNum
|
|
|
|
|
, undo
|
|
|
|
|
, redo
|
|
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = newSquares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
|
|
|
|
, modalNum = modalNum
|
|
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
|
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-06 01:38:02 +01:00
|
|
|
fun arrowX (app, arrowX) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX = _
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-06 02:15:16 +01:00
|
|
|
fun arrowY (app, arrowY) =
|
2025-07-06 01:38:02 +01:00
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY = _
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-11 00:57:29 +01:00
|
|
|
fun windowResize (app: app_type, windowWidth, windowHeight) : app_type =
|
2025-07-06 01:38:02 +01:00
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, xClickPoints = _
|
|
|
|
|
, yClickPoints = _
|
|
|
|
|
, windowWidth = _
|
|
|
|
|
, windowHeight = _
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 00:57:29 +01:00
|
|
|
val (xClickPoints, yClickPoints) =
|
|
|
|
|
ClickPoints.generate
|
|
|
|
|
(windowWidth, windowHeight, canvasWidth, canvasHeight)
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun mousePosition (app: app_type, mouseX, mouseY) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX = _
|
|
|
|
|
, mouseY = _
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun graphVisibility (app: app_type, shouldShowGraph) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph = _
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = shouldShowGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun mode (app: app_type, newMode) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode = _
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = newMode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun fileBrowserAndPath (app: app_type, fileBrowser, path) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath = _
|
|
|
|
|
, fileBrowser = _
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = path
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = 0
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun fileBrowserIdx (app: app_type, newFileBrowserIdx) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx = _
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = newFileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun modalNum (app: app_type, newNum) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-11 17:30:57 +01:00
|
|
|
, modalNum = prevNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
2025-07-11 17:30:57 +01:00
|
|
|
|
|
|
|
|
val newNum = (prevNum * 10) + newNum
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum = newNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun r (app: app_type) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r = _
|
|
|
|
|
, g
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 17:30:57 +01:00
|
|
|
val r = Int.min (modalNum, 255)
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-11 16:39:39 +01:00
|
|
|
, modalNum = 0
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun g (app: app_type) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g = _
|
|
|
|
|
, b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 17:30:57 +01:00
|
|
|
val g = Int.min (modalNum, 255)
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-11 16:39:39 +01:00
|
|
|
, modalNum = 0
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun b (app: app_type) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b = _
|
2025-07-11 15:34:29 +01:00
|
|
|
, a
|
2025-07-06 01:38:02 +01:00
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-06 01:38:02 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 17:30:57 +01:00
|
|
|
val b = Int.min (modalNum, 255)
|
2025-07-06 01:38:02 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
2025-07-11 15:34:29 +01:00
|
|
|
, a = a
|
2025-07-11 16:39:39 +01:00
|
|
|
, modalNum = 0
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-11 15:34:29 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
fun a (app: app_type) : app_type =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, canvasHeight
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a = _
|
|
|
|
|
, modalNum
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo
|
|
|
|
|
, redo
|
2025-07-11 15:34:29 +01:00
|
|
|
} = app
|
|
|
|
|
|
2025-07-11 17:30:57 +01:00
|
|
|
val a = Int.min (modalNum, 255)
|
2025-07-11 15:34:29 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
2025-07-11 16:39:39 +01:00
|
|
|
, modalNum = 0
|
2025-07-11 16:54:07 +01:00
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
2025-07-06 01:38:02 +01:00
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-11 17:30:57 +01:00
|
|
|
fun canvasWidth (app: app_type, newCanvasWidth) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, canvasWidth = _
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, canvasHeight
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a
|
|
|
|
|
, modalNum
|
|
|
|
|
, undo
|
|
|
|
|
, redo
|
|
|
|
|
} = app
|
|
|
|
|
|
|
|
|
|
val squares = changeSquaresSize (squares, newCanvasWidth, canvasHeight)
|
2025-07-11 17:41:47 +01:00
|
|
|
val arrowX = Int.min (arrowX, newCanvasWidth)
|
2025-07-11 22:20:29 +01:00
|
|
|
val (xClickPoints, yClickPoints) =
|
|
|
|
|
ClickPoints.generate
|
|
|
|
|
(windowWidth, windowHeight, newCanvasWidth, canvasHeight)
|
2025-07-11 17:30:57 +01:00
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, canvasWidth = newCanvasWidth
|
2025-07-11 17:41:47 +01:00
|
|
|
, arrowX = arrowX
|
2025-07-11 17:30:57 +01:00
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
|
|
|
|
, modalNum = 0
|
|
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
|
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-11 22:57:20 +01:00
|
|
|
fun canvasHeight (app: app_type, newCanvasHeight) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, canvasHeight = _
|
|
|
|
|
, canvasWidth
|
|
|
|
|
, squares
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a
|
|
|
|
|
, modalNum
|
|
|
|
|
, undo
|
|
|
|
|
, redo
|
|
|
|
|
} = app
|
|
|
|
|
|
|
|
|
|
val squares = changeSquaresSize (squares, canvasWidth, newCanvasHeight)
|
|
|
|
|
val arrowY = Int.min (arrowY, newCanvasHeight)
|
|
|
|
|
val (xClickPoints, yClickPoints) =
|
|
|
|
|
ClickPoints.generate
|
|
|
|
|
(windowWidth, windowHeight, canvasWidth, newCanvasHeight)
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, canvasHeight = newCanvasHeight
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
|
|
|
|
, modalNum = 0
|
|
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
|
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-12 07:17:52 +01:00
|
|
|
fun useSquares (app: app_type, squares, canvasWidth, canvasHeight) =
|
|
|
|
|
let
|
|
|
|
|
val
|
|
|
|
|
{ mode
|
|
|
|
|
, canvasHeight = _
|
|
|
|
|
, canvasWidth = _
|
|
|
|
|
, squares = _
|
|
|
|
|
, arrowX
|
|
|
|
|
, arrowY
|
|
|
|
|
, windowWidth
|
|
|
|
|
, windowHeight
|
|
|
|
|
, xClickPoints
|
|
|
|
|
, yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph
|
|
|
|
|
, mouseX
|
|
|
|
|
, mouseY
|
|
|
|
|
, openFilePath
|
|
|
|
|
, fileBrowser
|
|
|
|
|
, fileBrowserIdx
|
|
|
|
|
, r
|
|
|
|
|
, g
|
|
|
|
|
, b
|
|
|
|
|
, a
|
|
|
|
|
, modalNum
|
|
|
|
|
, undo
|
|
|
|
|
, redo
|
|
|
|
|
} = app
|
|
|
|
|
|
|
|
|
|
val arrowX = Int.min (arrowX, canvasWidth)
|
|
|
|
|
val arrowY = Int.min (arrowY, canvasHeight)
|
|
|
|
|
val (xClickPoints, yClickPoints) =
|
|
|
|
|
ClickPoints.generate
|
|
|
|
|
(windowWidth, windowHeight, canvasWidth, canvasHeight)
|
|
|
|
|
in
|
|
|
|
|
{ mode = mode
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, arrowX = arrowX
|
|
|
|
|
, mouseX = mouseX
|
|
|
|
|
, mouseY = mouseY
|
|
|
|
|
, squares = squares
|
|
|
|
|
, arrowY = arrowY
|
|
|
|
|
, windowWidth = windowWidth
|
|
|
|
|
, windowHeight = windowHeight
|
|
|
|
|
, xClickPoints = xClickPoints
|
|
|
|
|
, yClickPoints = yClickPoints
|
|
|
|
|
|
|
|
|
|
, showGraph = showGraph
|
|
|
|
|
, openFilePath = openFilePath
|
|
|
|
|
, fileBrowser = fileBrowser
|
|
|
|
|
, fileBrowserIdx = fileBrowserIdx
|
|
|
|
|
, r = r
|
|
|
|
|
, g = g
|
|
|
|
|
, b = b
|
|
|
|
|
, a = a
|
|
|
|
|
, modalNum = 0
|
|
|
|
|
, undo = undo
|
|
|
|
|
, redo = redo
|
|
|
|
|
}
|
|
|
|
|
end
|
2025-07-06 01:38:02 +01:00
|
|
|
end
|
