packages feed

fltkhs-0.5.1.1: src/Fluid/Lookup.hs

module Lookup
 (
  boxType,
  labelType,
  alignmentType,
  sliderType,
  whenType,
  inputType,
  outputType,
  packType,
  buttonType,
  browserType,
  menuItemType,
  menuButtonType,
  dialType,
  valuatorType,
  scrollbarType,
  counterType,
  scrollType,
  windowType,
  fontType,
  spinnerType,
  flClasses,
  imageExtensions
 )
where

boxType :: [(String, String)]
labelType :: [(String, String)]
alignmentType :: [(String, String)]
sliderType :: [(String, String)]
whenType :: [String]
inputType :: [(String, String)]
outputType :: [(String, String)]
packType :: [(String, String)]
buttonType :: [(String, String)]
browserType :: [(String, String)]
menuItemType :: [(String, String)]
menuButtonType :: [(String, String)]
dialType :: [(String, String)]
valuatorType :: [(String, String)]
scrollbarType :: [(String, String)]
counterType :: [(String, String)]
scrollType :: [(String, String)]
windowType :: [(String, String)]
fontType :: [(String, String)]
spinnerType :: [(String, String)]
flClasses :: [(String, (String, String))]
imageExtensions :: [(String, String)]

boxType = [
  ("NO_BOX"                 ,"NoBox"),
  ("FLAT_BOX"               ,"FlatBox"),
  ("UP_BOX"                 ,"UpBox"),
  ("DOWN_BOX"               ,"DownBox"),
  ("UP_FRAME"               ,"UpFrame"),
  ("DOWN_FRAME"             ,"DownFrame"),
  ("THIN_UP_BOX"            ,"ThinUpBox"),
  ("THIN_DOWN_BOX"          ,"ThinDownBox"),
  ("THIN_UP_FRAME"          ,"ThinUpFrame"),
  ("THIN_DOWN_FRAME"        ,"ThinDownFrame"),
  ("ENGRAVED_BOX"           ,"EngravedBox"),
  ("EMBOSSED_BOX"           ,"EmbossedBox"),
  ("ENGRAVED_FRAME"         ,"EngravedFrame"),
  ("EMBOSSED_FRAME"         ,"EmbossedFrame"),
  ("BORDER_BOX"             ,"BorderBox"),
  ("SHADOW_BOX"             ,"ShadowBox"),
  ("BORDER_FRAME"           ,"BorderFrame"),
  ("SHADOW_FRAME"           ,"ShadowFrame"),
  ("ROUNDED_BOX"            ,"RoundedBox"),
  ("RSHADOW_BOX"            ,"RshadowBox"),
  ("ROUNDED_FRAME"          ,"RoundedFrame"),
  ("RFLAT_BOX"              ,"RFlatBox"),
  ("ROUND_UP_BOX"           ,"RoundUpBox"),
  ("ROUND_DOWN_BOX"         ,"RoundDownBox"),
  ("DIAMOND_UP_BOX"         ,"DiamondUpBox"),
  ("DIAMOND_DOWN_BOX"       ,"DiamondDownBox"),
  ("OVAL_BOX"               ,"OvalBox"),
  ("OSHADOW_BOX"            ,"OshadowBox"),
  ("OVAL_FRAME"             ,"OvalFrame"),
  ("OFLAT_BOX"              ,"FloatBox"),
  ("PLASTIC_UP_BOX"         ,"PlasticUpBox"),
  ("PLASTIC_DOWN_BOX"       ,"PlasticDownBox"),
  ("PLASTIC_UP_FRAME"       ,"PlasticUpFrame"),
  ("PLASTIC_DOWN_FRAME"     ,"PlasticDownFrame"),
  ("PLASTIC_THIN_UP_BOX"    ,"PlasticThinUpBox"),
  ("PLASTIC_THIN_DOWN_BOX"  ,"PlasticThinDownBox"),
  ("PLASTIC_ROUND_UP_BOX"   ,"PlasticRoundUpBox"),
  ("PLASTIC_ROUND_DOWN_BOX" ,"PlasticRoundDownBox"),
  ("GTK_UP_BOX"             ,"GtkUpBox"),
  ("GTK_DOWN_BOX"           ,"GtkDownBox"),
  ("GTK_UP_FRAME"           ,"GtkUpFrame"),
  ("GTK_DOWN_FRAME"         ,"GtkDownFrame"),
  ("GTK_THIN_UP_BOX"        ,"GtkThinUpBox"),
  ("GTK_THIN_DOWN_BOX"      ,"GtkThinDownBox"),
  ("GTK_THIN_UP_FRAME"      ,"GtkThinUpFrame"),
  ("GTK_THIN_DOWN_FRAME"    ,"GtkThinDownFrame"),
  ("GTK_ROUND_UP_BOX"       ,"GtkRoundUpBox"),
  ("GTK_ROUND_DOWN_BOX"     ,"GtkRoundDownBox"),
  ("GLEAM_UP_BOX"           ,"GleamUpBox"),
  ("GLEAM_DOWN_BO"          ,"GleamDownBox"),
  ("GLEAM_UP_FRAME"         ,"GleamUpFrame"),
  ("GLEAM_DOWN_FRAME"       ,"GleamDownFrame"),
  ("GLEAM_THIN_UP_BOX"      ,"GleamThinUpBox"),
  ("GLEAM_THIN_DOWN_BOX"    ,"GleamThinDownBox"),
  ("GLEAM_ROUND_UP_BOX"     ,"GleamRoundUpBox"),
  ("GLEAM_ROUND_DOWN_BOX"   ,"GleamRoundDownBox"),
  ("FREE_BOXTYPE"           ,"FreeBoxtype")
 ]

labelType = [
  ("NORMAL_LABEL"   ,"NormalLabel"),
  ("SHADOW_LABEL"   ,"ShadowLabel"),
  ("ENGRAVED_LABEL" ,"EngravedLabel"),
  ("EMBOSSED_LABEL" ,"EmbossedLabel"),
  ("NO_LABEL"       ,"NoLabel")
  ]
alignmentType = [
  ("FL_ALIGN_CENTER"          ,"alignCenter"),
  ("FL_ALIGN_TOP"             ,"alignTop"),
  ("FL_ALIGN_BOTTOM"          ,"alignBottom"),
  ("FL_ALIGN_LEFT"            ,"alignLeft"),
  ("FL_ALIGN_RIGHT"           ,"alignRight"),
  ("FL_ALIGN_INSIDE"          ,"alignInside"),
  ("FL_ALIGN_CLIP"            ,"alignClip"),
  ("FL_ALIGN_WRAP"            ,"alignWrap"),
  ("FL_ALIGN_TEXT_OVER_IMAGE" ,"alignTextOverImage"),
  ("FL_ALIGN_TOP_LEFT"        ,"alignTopLeft"),
  ("FL_ALIGN_TOP_RIGHT"       ,"alignTopRight"),
  ("FL_ALIGN_BOTTOM_LEFT"     ,"alignBottomLeft"),
  ("FL_ALIGN_BOTTOM_RIGHT"    ,"alignBottomRight"),
  ("FL_ALIGN_LEFT_TOP"        ,"alignLeftTop"),
  ("FL_ALIGN_RIGHT_TOP"       ,"alignRightTop"),
  ("FL_ALIGN_LEFT_BOTTOM"     ,"alignLeftBottom"),
  ("FL_ALIGN_RIGHT_BOTTOM"    ,"alignRightBottom")
 ]

sliderType = [
  ("Vertical"   ,"VertSliderType"),
  ("Horizontal" ,"HorSliderType"),
  ("Vert Fill"  ,"VertFillSliderType"),
  ("Horz Fill"  ,"HorFillSliderType"),
  ("Vert Knob"  ,"VertNiceSliderType"),
  ("Horz Knob"  ,"HorNiceSliderType")
 ]

whenType = [
  "WhenNever"
  ,"WhenChanged"
  ,"WhenNotChanged"
  ,"WhenRelease"
  ,"WhenReleaseAlways"
  ,"WhenEnterKey"
  ,"WhenEnterKeyAlways"
  ,"WhenEnterKeyChanged"
 ]
inputType = [
  ("Normal", "FlNormalInput"),
  ("Multiline", "FlMultilineInput"),
  ("Secret","FlSecretInput"),
  ("Int","FlIntInput"),
  ("Float", "FlFloatInput")
  ]

outputType = [
  ("Normal", "FlNormalOutput"),
  ("Multiline", "FlMultilineOutput")
  ]

packType = [
  ("HORIZONTAL", "PackHorizontal"),
  ("VERTICAL", "PackVertical")
  ]

buttonType = [
  ("Normal","NormalButtonType"),
  ("Toggle","ToggleButtonType"),
  ("Radio","RadioButtonType")
  ]

browserType = [
  ("No Select","NormalBrowserType"),
  ("Select","SelectBrowserType"),
  ("Hold","HoldBrowserType"),
  ("Multi","MultiBrowserType")
  ]

menuItemType = [
  ("Normal","MenuItemNormal"),
  ("Toggle","MenuItemToggle"),
  ("Radio","MenuItemRadio")
  ]

menuButtonType = [
  ("normal","NormalMenuButton"),
  ("popup1","Popup1MenuButton"),
  ("popup2","Popup2MenuButton"),
  ("popup3","Popup3MenuButton"),
  ("popup12","Popup12MenuButton"),
  ("popup23","Popup23MenuButton"),
  ("popup13","Popup13MenuButton"),
  ("popup123","Popup123MenuButton")
  ]

dialType = [
  ("Dot", "NormalDialType"),
  ("Line","LineDialType"),
  ("Fill","FillDialType")
  ]

valuatorType = [
 ("Vertical", "VerticalValuatorType"),
 ("Horizontal", "HorizontalValuatorType")
 ]

scrollbarType = [
 ("Vertical","VertScrollbar"),
 ("Horizontal","HorScrollbar")
 ]

counterType = [
 ("Normal","NormalCounterType"),
 ("Simple","SimpleCounterType")
 ]

scrollType =
  [("BOTH","BothScrollBar")
  ,("HORIZONTAL","HorizontalScrollBar")
  ,("VERTICAL","VerticalScrollBar")
  ,("HORIZONTAL_ALWAYS","HorizontalAlwaysScrollBar")
  ,("VERTICAL_ALWAYS","VerticalAlwaysScrollBar")
  ,("BOTH_ALWAYS","BothAlwaysScrollBar")]

windowType =
  [("Single","SingleWindowType"),("Double","DoubleWindowType")]

fontType =
  [("0","helvetica")
  ,("1","helveticaBold")
  ,("2","helveticaItalic")
  ,("3","helveticaBoldItalic")
  ,("4","courier")
  ,("5","courierBold")
  ,("6","courierItalic")
  ,("7","courierBoldItalic")
  ,("8","times")
  ,("9","timesBold")
  ,("10","timesItalic")
  ,("11","timesBoldItalic")
  ,("12","symbol")
  ,("13","screen")
  ,("14","screenbold")
  ,("15","zapfDingbats")]

spinnerType = [
  ("Integer","IntSpinnerType"),
  ("Float", "FloatSpinnerType")
 ]

flClasses =
  [("Fl_Slider",("Slider", "sliderNew"))
  ,("Fl_Value_Slider",("ValueSlider", "valueSliderNew"))
  ,("Fl_Roller",("Roller", "rollerNew"))
  ,("Fl_Box",("Box", "boxNew"))
  ,("Fl_Scrollbar",("Scrollbar", "scrollbarNew"))
  ,("Fl_Adjuster",("Adjuster", "adjusterNew"))
  ,("Fl_Counter",("Counter", "counterNew"))
  ,("Fl_Roller",("Roller", "rollerNew"))
  ,("Fl_Value_Input",("ValueInput", "valueInputNew"))
  ,("Fl_Value_Output",("ValueOutput", "valueOutputNew"))
  ,("Fl_Spinner",("Spinner", "spinnerNew"))
  ,("Fl_Dial",("Dial", "dialNew"))
  ,("Fl_Button",("Button", "buttonNew"))
  ,("Fl_Output",("Output", "outputNew"))
  ,("MenuItem",("MenuItem", "menuItemNew"))
  ,("Submenu",("MenuItem", "menuItemNew"))
  ,("Fl_Input",("Input", "inputNew"))
  ,("Fl_Clock",("Clock", "clockNew"))
  ,("Fl_Return_Button",("ReturnButton", "returnButtonNew"))
  ,("Fl_Light_Button",("LightButton", "lightButtonNew"))
  ,("Fl_Check_Button",("CheckButton", "checkButtonNew"))
  ,("Fl_Repeat_Button",("RepeatButton", "repeatButtonNew"))
  ,("Fl_Round_Button",("RoundButton", "roundButtonNew"))
  ,("Fl_Window",("Window", "windowNew"))
  ,("Fl_Group",("Group", "groupNew"))
  ,("Fl_Tree",("Tree", "treeNew"))
  ,("Fl_Wizard",("Wizard", "wizardNew"))
  ,("Fl_Pack",("Pack", "packNew"))
  ,("Fl_Table",("Table", "tableNew"))
  ,("Fl_Scroll",("Scroll", "scrollNew"))
  ,("Fl_Menu_Bar",("MenuBar", "sysMenuBarNew"))
  ,("Fl_Menu_Button",("MenuButton", "menuButtonNew"))
  ,("Fl_Choice",("Choice", "choiceNew"))
  ,("Fl_Browser",("Browser", "browserNew" ))
  ,("Fl_Tabs",("Tabs", "tabsNew"))
  ,("Fl_Progress", ("Progress", "progressNew"))
  ,("Fl_File_Input", ("FileInput", "fileInputNew"))
  ,("Fl_Text_Display", ("TextDisplay", "textDisplayNew"))
  ,("Fl_Text_Editor", ("TextEditor", "textEditorNew"))
  ,("Fl_Tile", ("Tile", "tileNew"))
  ,("Fl_File_Browser", ("FileBrowser", "fileBrowserNew"))
  ]

imageExtensions =
  [(".bm", "bmpImageNew")
   ,(".bmp", "bmpImageNew")
   ,(".gif", "gifImageNew")
   ,(".jpg", "jpegImageNew")
   ,(".pbm", "pnmImageNew")
   ,(".pgm", "pnmImageNew")
   ,(".png", "pngImageNew")
   ,(".ppm", "pnmImageNew")
   ,(".xbm", "xbmImageNew")
   ,(".xpm", "xpmImageNew")
  ]