Graphics.UI.Gtk.Gdk.Keys
type KeyVal
type KeyCode
keyName
keyFromName
keyToChar
keyvalName
keyvalFromName
keyvalToChar
keyvalConvertCase
keyvalToUpper
keyvalToLower
keyvalIsUpper
keyvalIsLower