2025-07-06 14:45:20 +01:00
|
|
|
structure CommonUpdate =
|
|
|
|
|
struct
|
2025-07-12 06:03:59 +01:00
|
|
|
open AppType
|
|
|
|
|
|
|
|
|
|
open DrawMessage
|
|
|
|
|
open FileMessage
|
|
|
|
|
open InputMessage
|
|
|
|
|
open UpdateMessage
|
2025-07-06 14:45:20 +01:00
|
|
|
|
2025-07-12 06:03:59 +01:00
|
|
|
fun getSaveSquaresMsg (model: app_type) =
|
|
|
|
|
let
|
|
|
|
|
val {canvasWidth, canvasHeight, squares, ...} = model
|
|
|
|
|
val str = CollisionTree.toString (squares, canvasWidth, canvasHeight)
|
|
|
|
|
val msg = SAVE_SQUARES str
|
|
|
|
|
in
|
|
|
|
|
(model, [FILE msg])
|
|
|
|
|
end
|
|
|
|
|
|
2025-07-12 07:03:09 +01:00
|
|
|
fun getLoadSquaresMsg model =
|
|
|
|
|
(model, [FILE LOAD_SQUARES])
|
2025-07-06 14:45:20 +01:00
|
|
|
|
2025-07-12 07:03:09 +01:00
|
|
|
(* unimplemented *)
|
2025-07-06 14:45:20 +01:00
|
|
|
fun getExportSquaresMsg model = (model, [])
|
|
|
|
|
|
|
|
|
|
fun useSquaresInNormalMode (model, squares) = (model, [])
|
|
|
|
|
|
|
|
|
|
fun squaresLoadError model = (model, [])
|
|
|
|
|
end
|