From 7553b7f9d4dddc2235c137d41de8ce22547bebe3 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 1 Jul 2015 17:36:37 +0200 Subject: Initial commit --- oskey.dcl | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 oskey.dcl (limited to 'oskey.dcl') diff --git a/oskey.dcl b/oskey.dcl new file mode 100644 index 0000000..81dea27 --- /dev/null +++ b/oskey.dcl @@ -0,0 +1,44 @@ +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 -- cgit v1.2.3