definition module oskey

//	Clean Object I/O library, version 1.2

import	StdOverloaded

::	SpecialKey

instance	==			SpecialKey					// Equality on SpecialKey
instance	toString	SpecialKey					// Name of the SpecialKey

backSpaceKey:: SpecialKey							// Backspace
beginKey	:: SpecialKey							// Begin of text
clearKey	:: SpecialKey							// Clear
deleteKey	:: SpecialKey							// Delete
downKey		:: SpecialKey							// Arrow down
endKey		:: SpecialKey							// End of text
enterKey	:: SpecialKey							// Enter
escapeKey	:: SpecialKey							// Escape
f1Key		:: SpecialKey							// Function 1
f2Key		:: SpecialKey							// Function 2
f3Key		:: SpecialKey							// Function 3
f4Key		:: SpecialKey							// Function 4
f5Key		:: SpecialKey							// Function 5
f6Key		:: SpecialKey							// Function 6
f7Key		:: SpecialKey							// Function 7
f8Key		:: SpecialKey							// Function 8
f9Key		:: SpecialKey							// Function 9
f10Key		:: SpecialKey							// Function 10
f11Key		:: SpecialKey							// Function 11
f12Key		:: SpecialKey							// Function 12
f13Key		:: SpecialKey							// Function 13
f14Key		:: SpecialKey							// Function 14
f15Key		:: SpecialKey							// Function 15
helpKey		:: SpecialKey							// Help
leftKey		:: SpecialKey							// Arrow left
pgDownKey	:: SpecialKey							// Page down
pgUpKey		:: SpecialKey							// Page up
returnKey	:: SpecialKey							// Return
rightKey	:: SpecialKey							// Arrow right
upKey		:: SpecialKey							// Arrow up

toSpecialKey:: !Int -> SpecialKey					// Convert Int to SpecialKey
isSpecialKey:: !Int -> Bool							// Check for one of the upper SpecialKeys
