2025-07-06 02:49:38 +01:00
|
|
|
structure AppUpdate =
|
|
|
|
|
struct
|
|
|
|
|
open AppType
|
|
|
|
|
|
2025-07-06 14:45:20 +01:00
|
|
|
fun update (model: app_type, inputMsg) =
|
|
|
|
|
case #mode model of
|
|
|
|
|
NORMAL_MODE => NormalMode.update (model, inputMsg)
|
|
|
|
|
| BROWSE_MODE => BrowseMode.update (model, inputMsg)
|
2025-08-08 23:39:29 +01:00
|
|
|
| MOVE_MODE => MoveMode.update (model, inputMsg)
|
2025-07-06 02:49:38 +01:00
|
|
|
end
|