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

add function to convert CoreKey.key_code to string, as preparation for converting user key record to string, which itself is a prerequisite of saving controls configuration to file

Browse Source
This commit is contained in:
Humza Shahid
2025-02-21 19:14:58 +00:00
parent 9c82a624b6
commit edb9b300c3
1 changed files with 124 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

124
fcore/core-key.sml
View File

@@ -138,6 +138,7 @@ sig
}
val keyFromString: string -> key_code option
val keyToString: key_code -> string
val containsKey: key_code * key_code list -> bool
val containsAttack: user_key * key_code list -> bool
@@ -407,6 +408,129 @@ struct
| "KEY_MENU" => SOME KEY_MENU
| _ => NONE
fun keyToString key =
case key of
KEY_SPACE => "KEY_SPACE"
| KEY_APOSTROPHE => "KEY_APOSTROPHE"
| KEY_COMMA => "KEY_COMMA"
| KEY_MINUS => "KEY_MINUS"
| KEY_PERIOD => "KEY_PERIOD"
| KEY_SLASH => "KEY_SLASH"
| KEY_0 => "KEY_0"
| KEY_1 => "KEY_1"
| KEY_2 => "KEY_2"
| KEY_3 => "KEY_3"
| KEY_4 => "KEY_4"
| KEY_5 => "KEY_5"
| KEY_6 => "KEY_6"
| KEY_7 => "KEY_7"
| KEY_8 => "KEY_8"
| KEY_9 => "KEY_9"
| KEY_SEMICOLON => "KEY_SEMICOLON"
| KEY_EQUAL => "KEY_EQUAL"
| KEY_A => "KEY_A"
| KEY_B => "KEY_B"
| KEY_C => "KEY_C"
| KEY_D => "KEY_D"
| KEY_E => "KEY_E"
| KEY_F => "KEY_F"
| KEY_G => "KEY_G"
| KEY_H => "KEY_H"
| KEY_I => "KEY_I"
| KEY_J => "KEY_J"
| KEY_K => "KEY_K"
| KEY_L => "KEY_L"
| KEY_M => "KEY_M"
| KEY_N => "KEY_N"
| KEY_O => "KEY_O"
| KEY_P => "KEY_P"
| KEY_Q => "KEY_Q"
| KEY_R => "KEY_R"
| KEY_S => "KEY_S"
| KEY_T => "KEY_T"
| KEY_U => "KEY_U"
| KEY_V => "KEY_V"
| KEY_W => "KEY_W"
| KEY_X => "KEY_X"
| KEY_Y => "KEY_Y"
| KEY_Z => "KEY_Z"
| KEY_LEFT_BRACKET => "KEY_LEFT_BRACKET"
| KEY_BACKSLASH => "KEY_BACKSLASH"
| KEY_RIGHT_BRACKET => "KEY_RIGHT_BRACKET"
| KEY_GRAVE_ACCENT => "KEY_GRAVE_ACCENT"
| KEY_WORLD_1 => "KEY_WORLD_1"
| KEY_WORLD_2 => "KEY_WORLD_2"
| KEY_ESCAPE => "KEY_ESCAPE"
| KEY_ENTER => "KEY_ENTER"
| KEY_TAB => "KEY_TAB"
| KEY_BACKSPACE => "KEY_BACKSPACE"
| KEY_INSERT => "KEY_INSERT"
| KEY_DELETE => "KEY_DELETE"
| KEY_LEFT => "KEY_LEFT"
| KEY_RIGHT => "KEY_RIGHT"
| KEY_DOWN => "KEY_DOWN"
| KEY_UP => "KEY_UP"
| KEY_PAGE_UP => "KEY_PAGE_UP"
| KEY_PAGE_DOWN => "KEY_PAGE_DOWN"
| KEY_HOME => "KEY_HOME"
| KEY_END => "KEY_END"
| KEY_CAPS_LOCK => "KEY_CAPS_LOCK"
| KEY_SCROLL_LOCK => "KEY_SCROLL_LOCK"
| KEY_NUM_LOCK => "KEY_NUM_LOCK"
| KEY_PRINT_SCREEN => "KEY_PRINT_SCREEN"
| KEY_PAUSE => "KEY_PAUSE"
| KEY_F1 => "KEY_F1"
| KEY_F2 => "KEY_F2"
| KEY_F3 => "KEY_F3"
| KEY_F4 => "KEY_F4"
| KEY_F5 => "KEY_F5"
| KEY_F6 => "KEY_F6"
| KEY_F7 => "KEY_F7"
| KEY_F8 => "KEY_F8"
| KEY_F9 => "KEY_F9"
| KEY_F10 => "KEY_F10"
| KEY_F11 => "KEY_F11"
| KEY_F12 => "KEY_F12"
| KEY_F13 => "KEY_F13"
| KEY_F14 => "KEY_F14"
| KEY_F15 => "KEY_F15"
| KEY_F16 => "KEY_F16"
| KEY_F17 => "KEY_F17"
| KEY_F18 => "KEY_F18"
| KEY_F19 => "KEY_F19"
| KEY_F20 => "KEY_F20"
| KEY_F21 => "KEY_F21"
| KEY_F22 => "KEY_F22"
| KEY_F23 => "KEY_F23"
| KEY_F24 => "KEY_F24"
| KEY_F25 => "KEY_F25"
| KEY_KP_0 => "KEY_KP_0"
| KEY_KP_1 => "KEY_KP_1"
| KEY_KP_2 => "KEY_KP_2"
| KEY_KP_3 => "KEY_KP_3"
| KEY_KP_4 => "KEY_KP_4"
| KEY_KP_5 => "KEY_KP_5"
| KEY_KP_6 => "KEY_KP_6"
| KEY_KP_7 => "KEY_KP_7"
| KEY_KP_8 => "KEY_KP_8"
| KEY_KP_9 => "KEY_KP_9"
| KEY_KP_DECIMAL => "KEY_KP_DECIMAL"
| KEY_KP_DIVIDE => "KEY_KP_DIVIDE"
| KEY_KP_MULTIPLY => "KEY_KP_MULTIPLY"
| KEY_KP_SUBTRACT => "KEY_KP_SUBTRACT"
| KEY_KP_ADD => "KEY_KP_ADD"
| KEY_KP_ENTER => "KEY_KP_ENTER"
| KEY_KP_EQUAL => "KEY_KP_EQUAL"
| KEY_LEFT_SHIFT => "KEY_LEFT_SHIFT"
| KEY_LEFT_CONTROL => "KEY_LEFT_CONTROL"
| KEY_LEFT_ALT => "KEY_LEFT_ALT"
| KEY_LEFT_SUPER => "KEY_LEFT_SUPER"
| KEY_RIGHT_SHIFT => "KEY_RIGHT_SHIFT"
| KEY_RIGHT_CONTROL => "KEY_RIGHT_CONTROL"
| KEY_RIGHT_ALT => "KEY_RIGHT_ALT"
| KEY_RIGHT_SUPER => "KEY_RIGHT_SUPER"
| KEY_MENU => "KEY_MENU"
fun containsKey (searchKey, lst) =
case lst of
hd :: tl => hd = searchKey orelse containsKey (searchKey, tl)