diff --git a/fregefx/src/main/frege/fregefx/JavaFxAll.fr b/fregefx/src/main/frege/fregefx/JavaFxAll.fr index bf61a58..26c249e 100644 --- a/fregefx/src/main/frege/fregefx/JavaFxAll.fr +++ b/fregefx/src/main/frege/fregefx/JavaFxAll.fr @@ -4259,11 +4259,6 @@ data CornerRadii = mutable native javafx.scene.layout.CornerRadii where native isUniform :: CornerRadii -> IO Bool native toString :: CornerRadii -> IO String -- --- todo is this needed? -data CornerRadiiConverter = mutable native javafx.scene.layout.CornerRadiiConverter -- where --- native convert :: CornerRadiiConverter -> ParsedValue (JArray (ParsedValue (JArray (JArray (ParsedValue Object Size))) CornerRadii)) (JArray CornerRadii) -> Font -> IO (JArray CornerRadii) --- native getInstance "javafx.scene.layout.CornerRadiiConverter.getInstance" :: () -> IO CornerRadiiConverter --- data FlowPane = mutable native javafx.scene.layout.FlowPane where native new :: Orientation -> IO FlowPane | Double -> Double -> IO FlowPane @@ -7964,188 +7959,188 @@ data Duration = mutable native javafx.util.Duration where native toString :: Duration -> IO String native valueOf "javafx.util.Duration.valueOf" :: String -> IO Duration -- derive Serializable Duration -data Color = mutable native javafx.scene.paint.Color where - native transparent "javafx.scene.paint.Color.TRANSPARENT" :: IO Color - native aliceblue "javafx.scene.paint.Color.ALICEBLUE" :: IO Color - native antiquewhite "javafx.scene.paint.Color.ANTIQUEWHITE" :: IO Color - native aqua "javafx.scene.paint.Color.AQUA" :: IO Color - native aquamarine "javafx.scene.paint.Color.AQUAMARINE" :: IO Color - native azure "javafx.scene.paint.Color.AZURE" :: IO Color - native beige "javafx.scene.paint.Color.BEIGE" :: IO Color - native bisque "javafx.scene.paint.Color.BISQUE" :: IO Color - native black "javafx.scene.paint.Color.BLACK" :: IO Color - native blanchedalmond "javafx.scene.paint.Color.BLANCHEDALMOND" :: IO Color - native blue "javafx.scene.paint.Color.BLUE" :: IO Color - native blueviolet "javafx.scene.paint.Color.BLUEVIOLET" :: IO Color - native brown "javafx.scene.paint.Color.BROWN" :: IO Color - native burlywood "javafx.scene.paint.Color.BURLYWOOD" :: IO Color - native cadetblue "javafx.scene.paint.Color.CADETBLUE" :: IO Color - native chartreuse "javafx.scene.paint.Color.CHARTREUSE" :: IO Color - native chocolate "javafx.scene.paint.Color.CHOCOLATE" :: IO Color - native coral "javafx.scene.paint.Color.CORAL" :: IO Color - native cornflowerblue "javafx.scene.paint.Color.CORNFLOWERBLUE" :: IO Color - native cornsilk "javafx.scene.paint.Color.CORNSILK" :: IO Color - native crimson "javafx.scene.paint.Color.CRIMSON" :: IO Color - native cyan "javafx.scene.paint.Color.CYAN" :: IO Color - native darkblue "javafx.scene.paint.Color.DARKBLUE" :: IO Color - native darkcyan "javafx.scene.paint.Color.DARKCYAN" :: IO Color - native darkgoldenrod "javafx.scene.paint.Color.DARKGOLDENROD" :: IO Color - native darkgray "javafx.scene.paint.Color.DARKGRAY" :: IO Color - native darkgreen "javafx.scene.paint.Color.DARKGREEN" :: IO Color - native darkgrey "javafx.scene.paint.Color.DARKGREY" :: IO Color - native darkkhaki "javafx.scene.paint.Color.DARKKHAKI" :: IO Color - native darkmagenta "javafx.scene.paint.Color.DARKMAGENTA" :: IO Color - native darkolivegreen "javafx.scene.paint.Color.DARKOLIVEGREEN" :: IO Color - native darkorange "javafx.scene.paint.Color.DARKORANGE" :: IO Color - native darkorchid "javafx.scene.paint.Color.DARKORCHID" :: IO Color - native darkred "javafx.scene.paint.Color.DARKRED" :: IO Color - native darksalmon "javafx.scene.paint.Color.DARKSALMON" :: IO Color - native darkseagreen "javafx.scene.paint.Color.DARKSEAGREEN" :: IO Color - native darkslateblue "javafx.scene.paint.Color.DARKSLATEBLUE" :: IO Color - native darkslategray "javafx.scene.paint.Color.DARKSLATEGRAY" :: IO Color - native darkslategrey "javafx.scene.paint.Color.DARKSLATEGREY" :: IO Color - native darkturquoise "javafx.scene.paint.Color.DARKTURQUOISE" :: IO Color - native darkviolet "javafx.scene.paint.Color.DARKVIOLET" :: IO Color - native deeppink "javafx.scene.paint.Color.DEEPPINK" :: IO Color - native deepskyblue "javafx.scene.paint.Color.DEEPSKYBLUE" :: IO Color - native dimgray "javafx.scene.paint.Color.DIMGRAY" :: IO Color - native dimgrey "javafx.scene.paint.Color.DIMGREY" :: IO Color - native dodgerblue "javafx.scene.paint.Color.DODGERBLUE" :: IO Color - native firebrick "javafx.scene.paint.Color.FIREBRICK" :: IO Color - native floralwhite "javafx.scene.paint.Color.FLORALWHITE" :: IO Color - native forestgreen "javafx.scene.paint.Color.FORESTGREEN" :: IO Color - native fuchsia "javafx.scene.paint.Color.FUCHSIA" :: IO Color - native gainsboro "javafx.scene.paint.Color.GAINSBORO" :: IO Color - native ghostwhite "javafx.scene.paint.Color.GHOSTWHITE" :: IO Color - native gold "javafx.scene.paint.Color.GOLD" :: IO Color - native goldenrod "javafx.scene.paint.Color.GOLDENROD" :: IO Color - native gray "javafx.scene.paint.Color.GRAY" :: IO Color - native green "javafx.scene.paint.Color.GREEN" :: IO Color - native greenyellow "javafx.scene.paint.Color.GREENYELLOW" :: IO Color - native grey "javafx.scene.paint.Color.GREY" :: IO Color - native honeydew "javafx.scene.paint.Color.HONEYDEW" :: IO Color - native hotpink "javafx.scene.paint.Color.HOTPINK" :: IO Color - native indianred "javafx.scene.paint.Color.INDIANRED" :: IO Color - native indigo "javafx.scene.paint.Color.INDIGO" :: IO Color - native ivory "javafx.scene.paint.Color.IVORY" :: IO Color - native khaki "javafx.scene.paint.Color.KHAKI" :: IO Color - native lavender "javafx.scene.paint.Color.LAVENDER" :: IO Color - native lavenderblush "javafx.scene.paint.Color.LAVENDERBLUSH" :: IO Color - native lawngreen "javafx.scene.paint.Color.LAWNGREEN" :: IO Color - native lemonchiffon "javafx.scene.paint.Color.LEMONCHIFFON" :: IO Color - native lightblue "javafx.scene.paint.Color.LIGHTBLUE" :: IO Color - native lightcoral "javafx.scene.paint.Color.LIGHTCORAL" :: IO Color - native lightcyan "javafx.scene.paint.Color.LIGHTCYAN" :: IO Color - native lightgoldenrodyellow "javafx.scene.paint.Color.LIGHTGOLDENRODYELLOW" :: IO Color - native lightgray "javafx.scene.paint.Color.LIGHTGRAY" :: IO Color - native lightgreen "javafx.scene.paint.Color.LIGHTGREEN" :: IO Color - native lightgrey "javafx.scene.paint.Color.LIGHTGREY" :: IO Color - native lightpink "javafx.scene.paint.Color.LIGHTPINK" :: IO Color - native lightsalmon "javafx.scene.paint.Color.LIGHTSALMON" :: IO Color - native lightseagreen "javafx.scene.paint.Color.LIGHTSEAGREEN" :: IO Color - native lightskyblue "javafx.scene.paint.Color.LIGHTSKYBLUE" :: IO Color - native lightslategray "javafx.scene.paint.Color.LIGHTSLATEGRAY" :: IO Color - native lightslategrey "javafx.scene.paint.Color.LIGHTSLATEGREY" :: IO Color - native lightsteelblue "javafx.scene.paint.Color.LIGHTSTEELBLUE" :: IO Color - native lightyellow "javafx.scene.paint.Color.LIGHTYELLOW" :: IO Color - native lime "javafx.scene.paint.Color.LIME" :: IO Color - native limegreen "javafx.scene.paint.Color.LIMEGREEN" :: IO Color - native linen "javafx.scene.paint.Color.LINEN" :: IO Color - native magenta "javafx.scene.paint.Color.MAGENTA" :: IO Color - native maroon "javafx.scene.paint.Color.MAROON" :: IO Color - native mediumaquamarine "javafx.scene.paint.Color.MEDIUMAQUAMARINE" :: IO Color - native mediumblue "javafx.scene.paint.Color.MEDIUMBLUE" :: IO Color - native mediumorchid "javafx.scene.paint.Color.MEDIUMORCHID" :: IO Color - native mediumpurple "javafx.scene.paint.Color.MEDIUMPURPLE" :: IO Color - native mediumseagreen "javafx.scene.paint.Color.MEDIUMSEAGREEN" :: IO Color - native mediumslateblue "javafx.scene.paint.Color.MEDIUMSLATEBLUE" :: IO Color - native mediumspringgreen "javafx.scene.paint.Color.MEDIUMSPRINGGREEN" :: IO Color - native mediumturquoise "javafx.scene.paint.Color.MEDIUMTURQUOISE" :: IO Color - native mediumvioletred "javafx.scene.paint.Color.MEDIUMVIOLETRED" :: IO Color - native midnightblue "javafx.scene.paint.Color.MIDNIGHTBLUE" :: IO Color - native mintcream "javafx.scene.paint.Color.MINTCREAM" :: IO Color - native mistyrose "javafx.scene.paint.Color.MISTYROSE" :: IO Color - native moccasin "javafx.scene.paint.Color.MOCCASIN" :: IO Color - native navajowhite "javafx.scene.paint.Color.NAVAJOWHITE" :: IO Color - native navy "javafx.scene.paint.Color.NAVY" :: IO Color - native oldlace "javafx.scene.paint.Color.OLDLACE" :: IO Color - native olive "javafx.scene.paint.Color.OLIVE" :: IO Color - native olivedrab "javafx.scene.paint.Color.OLIVEDRAB" :: IO Color - native orange "javafx.scene.paint.Color.ORANGE" :: IO Color - native orangered "javafx.scene.paint.Color.ORANGERED" :: IO Color - native orchid "javafx.scene.paint.Color.ORCHID" :: IO Color - native palegoldenrod "javafx.scene.paint.Color.PALEGOLDENROD" :: IO Color - native palegreen "javafx.scene.paint.Color.PALEGREEN" :: IO Color - native paleturquoise "javafx.scene.paint.Color.PALETURQUOISE" :: IO Color - native palevioletred "javafx.scene.paint.Color.PALEVIOLETRED" :: IO Color - native papayawhip "javafx.scene.paint.Color.PAPAYAWHIP" :: IO Color - native peachpuff "javafx.scene.paint.Color.PEACHPUFF" :: IO Color - native peru "javafx.scene.paint.Color.PERU" :: IO Color - native pink "javafx.scene.paint.Color.PINK" :: IO Color - native plum "javafx.scene.paint.Color.PLUM" :: IO Color - native powderblue "javafx.scene.paint.Color.POWDERBLUE" :: IO Color - native purple "javafx.scene.paint.Color.PURPLE" :: IO Color - native red "javafx.scene.paint.Color.RED" :: IO Color - native rosybrown "javafx.scene.paint.Color.ROSYBROWN" :: IO Color - native royalblue "javafx.scene.paint.Color.ROYALBLUE" :: IO Color - native saddlebrown "javafx.scene.paint.Color.SADDLEBROWN" :: IO Color - native salmon "javafx.scene.paint.Color.SALMON" :: IO Color - native sandybrown "javafx.scene.paint.Color.SANDYBROWN" :: IO Color - native seagreen "javafx.scene.paint.Color.SEAGREEN" :: IO Color - native seashell "javafx.scene.paint.Color.SEASHELL" :: IO Color - native sienna "javafx.scene.paint.Color.SIENNA" :: IO Color - native silver "javafx.scene.paint.Color.SILVER" :: IO Color - native skyblue "javafx.scene.paint.Color.SKYBLUE" :: IO Color - native slateblue "javafx.scene.paint.Color.SLATEBLUE" :: IO Color - native slategray "javafx.scene.paint.Color.SLATEGRAY" :: IO Color - native slategrey "javafx.scene.paint.Color.SLATEGREY" :: IO Color - native snow "javafx.scene.paint.Color.SNOW" :: IO Color - native springgreen "javafx.scene.paint.Color.SPRINGGREEN" :: IO Color - native steelblue "javafx.scene.paint.Color.STEELBLUE" :: IO Color - native tan "javafx.scene.paint.Color.TAN" :: IO Color - native teal "javafx.scene.paint.Color.TEAL" :: IO Color - native thistle "javafx.scene.paint.Color.THISTLE" :: IO Color - native tomato "javafx.scene.paint.Color.TOMATO" :: IO Color - native turquoise "javafx.scene.paint.Color.TURQUOISE" :: IO Color - native violet "javafx.scene.paint.Color.VIOLET" :: IO Color - native wheat "javafx.scene.paint.Color.WHEAT" :: IO Color - native white "javafx.scene.paint.Color.WHITE" :: IO Color - native whitesmoke "javafx.scene.paint.Color.WHITESMOKE" :: IO Color - native yellow "javafx.scene.paint.Color.YELLOW" :: IO Color - native yellowgreen "javafx.scene.paint.Color.YELLOWGREEN" :: IO Color - native new :: Double -> Double -> Double -> Double -> IO Color - native brighter :: Color -> IO Color - native color "javafx.scene.paint.Color.color" :: Double -> Double -> Double -> IO Color - | Double -> Double -> Double -> Double -> IO Color - native darker :: Color -> IO Color - native deriveColor :: Color -> Double -> Double -> Double -> Double -> IO Color - native desaturate :: Color -> IO Color - native equals :: Color -> Object -> IO Bool - native getBlue :: Color -> IO Double - native getBrightness :: Color -> IO Double - native getGreen :: Color -> IO Double - native getHue :: Color -> IO Double - native getOpacity :: Color -> IO Double - native getRed :: Color -> IO Double - native getSaturation :: Color -> IO Double - native deriveGray "javafx.scene.paint.Color.gray" :: Double -> Double -> IO Color - | Double -> IO Color - native grayRgb "javafx.scene.paint.Color.grayRgb" :: Int -> IO Color - | Int -> Double -> IO Color - native grayscale :: Color -> IO Color - native hashCode :: Color -> IO Int - native hsb "javafx.scene.paint.Color.hsb" :: Double -> Double -> Double -> IO Color - | Double -> Double -> Double -> Double -> IO Color - native interpolate :: Color -> Color -> Double -> IO Color - native invert :: Color -> IO Color - native isOpaque :: Color -> IO Bool - native rgb "javafx.scene.paint.Color.rgb" :: Int -> Int -> Int -> Double -> IO Color - | Int -> Int -> Int -> IO Color - native saturate :: Color -> IO Color - native toString :: Color -> IO String - native valueOf "javafx.scene.paint.Color.valueOf" :: String -> IO Color - native web "javafx.scene.paint.Color.web" :: String -> Double -> IO Color - | String -> IO Color +data Color = pure native javafx.scene.paint.Color where + pure native transparent "javafx.scene.paint.Color.TRANSPARENT" :: Color + pure native aliceblue "javafx.scene.paint.Color.ALICEBLUE" :: Color + pure native antiquewhite "javafx.scene.paint.Color.ANTIQUEWHITE" :: Color + pure native aqua "javafx.scene.paint.Color.AQUA" :: Color + pure native aquamarine "javafx.scene.paint.Color.AQUAMARINE" :: Color + pure native azure "javafx.scene.paint.Color.AZURE" :: Color + pure native beige "javafx.scene.paint.Color.BEIGE" :: Color + pure native bisque "javafx.scene.paint.Color.BISQUE" :: Color + pure native black "javafx.scene.paint.Color.BLACK" :: Color + pure native blanchedalmond "javafx.scene.paint.Color.BLANCHEDALMOND" :: Color + pure native blue "javafx.scene.paint.Color.BLUE" :: Color + pure native blueviolet "javafx.scene.paint.Color.BLUEVIOLET" :: Color + pure native brown "javafx.scene.paint.Color.BROWN" :: Color + pure native burlywood "javafx.scene.paint.Color.BURLYWOOD" :: Color + pure native cadetblue "javafx.scene.paint.Color.CADETBLUE" :: Color + pure native chartreuse "javafx.scene.paint.Color.CHARTREUSE" :: Color + pure native chocolate "javafx.scene.paint.Color.CHOCOLATE" :: Color + pure native coral "javafx.scene.paint.Color.CORAL" :: Color + pure native cornflowerblue "javafx.scene.paint.Color.CORNFLOWERBLUE" :: Color + pure native cornsilk "javafx.scene.paint.Color.CORNSILK" :: Color + pure native crimson "javafx.scene.paint.Color.CRIMSON" :: Color + pure native cyan "javafx.scene.paint.Color.CYAN" :: Color + pure native darkblue "javafx.scene.paint.Color.DARKBLUE" :: Color + pure native darkcyan "javafx.scene.paint.Color.DARKCYAN" :: Color + pure native darkgoldenrod "javafx.scene.paint.Color.DARKGOLDENROD" :: Color + pure native darkgray "javafx.scene.paint.Color.DARKGRAY" :: Color + pure native darkgreen "javafx.scene.paint.Color.DARKGREEN" :: Color + pure native darkgrey "javafx.scene.paint.Color.DARKGREY" :: Color + pure native darkkhaki "javafx.scene.paint.Color.DARKKHAKI" :: Color + pure native darkmagenta "javafx.scene.paint.Color.DARKMAGENTA" :: Color + pure native darkolivegreen "javafx.scene.paint.Color.DARKOLIVEGREEN" :: Color + pure native darkorange "javafx.scene.paint.Color.DARKORANGE" :: Color + pure native darkorchid "javafx.scene.paint.Color.DARKORCHID" :: Color + pure native darkred "javafx.scene.paint.Color.DARKRED" :: Color + pure native darksalmon "javafx.scene.paint.Color.DARKSALMON" :: Color + pure native darkseagreen "javafx.scene.paint.Color.DARKSEAGREEN" :: Color + pure native darkslateblue "javafx.scene.paint.Color.DARKSLATEBLUE" :: Color + pure native darkslategray "javafx.scene.paint.Color.DARKSLATEGRAY" :: Color + pure native darkslategrey "javafx.scene.paint.Color.DARKSLATEGREY" :: Color + pure native darkturquoise "javafx.scene.paint.Color.DARKTURQUOISE" :: Color + pure native darkviolet "javafx.scene.paint.Color.DARKVIOLET" :: Color + pure native deeppink "javafx.scene.paint.Color.DEEPPINK" :: Color + pure native deepskyblue "javafx.scene.paint.Color.DEEPSKYBLUE" :: Color + pure native dimgray "javafx.scene.paint.Color.DIMGRAY" :: Color + pure native dimgrey "javafx.scene.paint.Color.DIMGREY" :: Color + pure native dodgerblue "javafx.scene.paint.Color.DODGERBLUE" :: Color + pure native firebrick "javafx.scene.paint.Color.FIREBRICK" :: Color + pure native floralwhite "javafx.scene.paint.Color.FLORALWHITE" :: Color + pure native forestgreen "javafx.scene.paint.Color.FORESTGREEN" :: Color + pure native fuchsia "javafx.scene.paint.Color.FUCHSIA" :: Color + pure native gainsboro "javafx.scene.paint.Color.GAINSBORO" :: Color + pure native ghostwhite "javafx.scene.paint.Color.GHOSTWHITE" :: Color + pure native gold "javafx.scene.paint.Color.GOLD" :: Color + pure native goldenrod "javafx.scene.paint.Color.GOLDENROD" :: Color + pure native gray "javafx.scene.paint.Color.GRAY" :: Color + pure native green "javafx.scene.paint.Color.GREEN" :: Color + pure native greenyellow "javafx.scene.paint.Color.GREENYELLOW" :: Color + pure native grey "javafx.scene.paint.Color.GREY" :: Color + pure native honeydew "javafx.scene.paint.Color.HONEYDEW" :: Color + pure native hotpink "javafx.scene.paint.Color.HOTPINK" :: Color + pure native indianred "javafx.scene.paint.Color.INDIANRED" :: Color + pure native indigo "javafx.scene.paint.Color.INDIGO" :: Color + pure native ivory "javafx.scene.paint.Color.IVORY" :: Color + pure native khaki "javafx.scene.paint.Color.KHAKI" :: Color + pure native lavender "javafx.scene.paint.Color.LAVENDER" :: Color + pure native lavenderblush "javafx.scene.paint.Color.LAVENDERBLUSH" :: Color + pure native lawngreen "javafx.scene.paint.Color.LAWNGREEN" :: Color + pure native lemonchiffon "javafx.scene.paint.Color.LEMONCHIFFON" :: Color + pure native lightblue "javafx.scene.paint.Color.LIGHTBLUE" :: Color + pure native lightcoral "javafx.scene.paint.Color.LIGHTCORAL" :: Color + pure native lightcyan "javafx.scene.paint.Color.LIGHTCYAN" :: Color + pure native lightgoldenrodyellow "javafx.scene.paint.Color.LIGHTGOLDENRODYELLOW" :: Color + pure native lightgray "javafx.scene.paint.Color.LIGHTGRAY" :: Color + pure native lightgreen "javafx.scene.paint.Color.LIGHTGREEN" :: Color + pure native lightgrey "javafx.scene.paint.Color.LIGHTGREY" :: Color + pure native lightpink "javafx.scene.paint.Color.LIGHTPINK" :: Color + pure native lightsalmon "javafx.scene.paint.Color.LIGHTSALMON" :: Color + pure native lightseagreen "javafx.scene.paint.Color.LIGHTSEAGREEN" :: Color + pure native lightskyblue "javafx.scene.paint.Color.LIGHTSKYBLUE" :: Color + pure native lightslategray "javafx.scene.paint.Color.LIGHTSLATEGRAY" :: Color + pure native lightslategrey "javafx.scene.paint.Color.LIGHTSLATEGREY" :: Color + pure native lightsteelblue "javafx.scene.paint.Color.LIGHTSTEELBLUE" :: Color + pure native lightyellow "javafx.scene.paint.Color.LIGHTYELLOW" :: Color + pure native lime "javafx.scene.paint.Color.LIME" :: Color + pure native limegreen "javafx.scene.paint.Color.LIMEGREEN" :: Color + pure native linen "javafx.scene.paint.Color.LINEN" :: Color + pure native magenta "javafx.scene.paint.Color.MAGENTA" :: Color + pure native maroon "javafx.scene.paint.Color.MAROON" :: Color + pure native mediumaquamarine "javafx.scene.paint.Color.MEDIUMAQUAMARINE" :: Color + pure native mediumblue "javafx.scene.paint.Color.MEDIUMBLUE" :: Color + pure native mediumorchid "javafx.scene.paint.Color.MEDIUMORCHID" :: Color + pure native mediumpurple "javafx.scene.paint.Color.MEDIUMPURPLE" :: Color + pure native mediumseagreen "javafx.scene.paint.Color.MEDIUMSEAGREEN" :: Color + pure native mediumslateblue "javafx.scene.paint.Color.MEDIUMSLATEBLUE" :: Color + pure native mediumspringgreen "javafx.scene.paint.Color.MEDIUMSPRINGGREEN" :: Color + pure native mediumturquoise "javafx.scene.paint.Color.MEDIUMTURQUOISE" :: Color + pure native mediumvioletred "javafx.scene.paint.Color.MEDIUMVIOLETRED" :: Color + pure native midnightblue "javafx.scene.paint.Color.MIDNIGHTBLUE" :: Color + pure native mintcream "javafx.scene.paint.Color.MINTCREAM" :: Color + pure native mistyrose "javafx.scene.paint.Color.MISTYROSE" :: Color + pure native moccasin "javafx.scene.paint.Color.MOCCASIN" :: Color + pure native navajowhite "javafx.scene.paint.Color.NAVAJOWHITE" :: Color + pure native navy "javafx.scene.paint.Color.NAVY" :: Color + pure native oldlace "javafx.scene.paint.Color.OLDLACE" :: Color + pure native olive "javafx.scene.paint.Color.OLIVE" :: Color + pure native olivedrab "javafx.scene.paint.Color.OLIVEDRAB" :: Color + pure native orange "javafx.scene.paint.Color.ORANGE" :: Color + pure native orangered "javafx.scene.paint.Color.ORANGERED" :: Color + pure native orchid "javafx.scene.paint.Color.ORCHID" :: Color + pure native palegoldenrod "javafx.scene.paint.Color.PALEGOLDENROD" :: Color + pure native palegreen "javafx.scene.paint.Color.PALEGREEN" :: Color + pure native paleturquoise "javafx.scene.paint.Color.PALETURQUOISE" :: Color + pure native palevioletred "javafx.scene.paint.Color.PALEVIOLETRED" :: Color + pure native papayawhip "javafx.scene.paint.Color.PAPAYAWHIP" :: Color + pure native peachpuff "javafx.scene.paint.Color.PEACHPUFF" :: Color + pure native peru "javafx.scene.paint.Color.PERU" :: Color + pure native pink "javafx.scene.paint.Color.PINK" :: Color + pure native plum "javafx.scene.paint.Color.PLUM" :: Color + pure native powderblue "javafx.scene.paint.Color.POWDERBLUE" :: Color + pure native purple "javafx.scene.paint.Color.PURPLE" :: Color + pure native red "javafx.scene.paint.Color.RED" :: Color + pure native rosybrown "javafx.scene.paint.Color.ROSYBROWN" :: Color + pure native royalblue "javafx.scene.paint.Color.ROYALBLUE" :: Color + pure native saddlebrown "javafx.scene.paint.Color.SADDLEBROWN" :: Color + pure native salmon "javafx.scene.paint.Color.SALMON" :: Color + pure native sandybrown "javafx.scene.paint.Color.SANDYBROWN" :: Color + pure native seagreen "javafx.scene.paint.Color.SEAGREEN" :: Color + pure native seashell "javafx.scene.paint.Color.SEASHELL" :: Color + pure native sienna "javafx.scene.paint.Color.SIENNA" :: Color + pure native silver "javafx.scene.paint.Color.SILVER" :: Color + pure native skyblue "javafx.scene.paint.Color.SKYBLUE" :: Color + pure native slateblue "javafx.scene.paint.Color.SLATEBLUE" :: Color + pure native slategray "javafx.scene.paint.Color.SLATEGRAY" :: Color + pure native slategrey "javafx.scene.paint.Color.SLATEGREY" :: Color + pure native snow "javafx.scene.paint.Color.SNOW" :: Color + pure native springgreen "javafx.scene.paint.Color.SPRINGGREEN" :: Color + pure native steelblue "javafx.scene.paint.Color.STEELBLUE" :: Color + pure native tan "javafx.scene.paint.Color.TAN" :: Color + pure native teal "javafx.scene.paint.Color.TEAL" :: Color + pure native thistle "javafx.scene.paint.Color.THISTLE" :: Color + pure native tomato "javafx.scene.paint.Color.TOMATO" :: Color + pure native turquoise "javafx.scene.paint.Color.TURQUOISE" :: Color + pure native violet "javafx.scene.paint.Color.VIOLET" :: Color + pure native wheat "javafx.scene.paint.Color.WHEAT" :: Color + pure native white "javafx.scene.paint.Color.WHITE" :: Color + pure native whitesmoke "javafx.scene.paint.Color.WHITESMOKE" :: Color + pure native yellow "javafx.scene.paint.Color.YELLOW" :: Color + pure native yellowgreen "javafx.scene.paint.Color.YELLOWGREEN" :: Color + pure native new :: Double -> Double -> Double -> Double -> Color + pure native brighter :: Color -> Color + pure native color "javafx.scene.paint.Color.color" :: Double -> Double -> Double -> Color + | Double -> Double -> Double -> Double -> Color + pure native darker :: Color -> Color + pure native deriveColor :: Color -> Double -> Double -> Double -> Double -> Color + pure native desaturate :: Color -> Color + pure native equals :: Color -> Object -> Bool + pure native getBlue :: Color -> Double + pure native getBrightness :: Color -> Double + pure native getGreen :: Color -> Double + pure native getHue :: Color -> Double + pure native getOpacity :: Color -> Double + pure native getRed :: Color -> Double + pure native getSaturation :: Color -> Double + pure native deriveGray "javafx.scene.paint.Color.gray" :: Double -> Double -> Color + | Double -> Color + pure native grayRgb "javafx.scene.paint.Color.grayRgb" :: Int -> Color + | Int -> Double -> Color + pure native grayscale :: Color -> Color + pure native hashCode :: Color -> Int + pure native hsb "javafx.scene.paint.Color.hsb" :: Double -> Double -> Double -> Color + | Double -> Double -> Double -> Double -> Color + pure native interpolate :: Color -> Color -> Double -> Color + pure native invert :: Color -> Color + pure native isOpaque :: Color -> Bool + pure native rgb "javafx.scene.paint.Color.rgb" :: Int -> Int -> Int -> Double -> Color + | Int -> Int -> Int -> Color + pure native saturate :: Color -> Color + pure native toString :: Color -> String + pure native valueOf "javafx.scene.paint.Color.valueOf" :: String -> IllegalArgumentException | Color + pure native web "javafx.scene.paint.Color.web" :: String -> Double -> Color + | String -> Color -- --- data InvalidationListener = mutable native javafx.beans.InvalidationListener where native invalidated :: InvalidationListener -> Observable -> IO () @@ -8706,244 +8701,244 @@ data KeyCharacterCombination = mutable native javafx.scene.input.KeyCharacterCom native hashCode :: KeyCharacterCombination -> IO Int native match :: KeyCharacterCombination -> KeyEvent -> IO Bool -- -data KeyCode = mutable native javafx.scene.input.KeyCode where - native enter "javafx.scene.input.KeyCode.ENTER" :: IO KeyCode - native back_space "javafx.scene.input.KeyCode.BACK_SPACE" :: IO KeyCode - native tab "javafx.scene.input.KeyCode.TAB" :: IO KeyCode - native cancel "javafx.scene.input.KeyCode.CANCEL" :: IO KeyCode - native clear "javafx.scene.input.KeyCode.CLEAR" :: IO KeyCode - native shift "javafx.scene.input.KeyCode.SHIFT" :: IO KeyCode - native control "javafx.scene.input.KeyCode.CONTROL" :: IO KeyCode - native alt "javafx.scene.input.KeyCode.ALT" :: IO KeyCode - native pause "javafx.scene.input.KeyCode.PAUSE" :: IO KeyCode - native caps "javafx.scene.input.KeyCode.CAPS" :: IO KeyCode - native escape "javafx.scene.input.KeyCode.ESCAPE" :: IO KeyCode - native space "javafx.scene.input.KeyCode.SPACE" :: IO KeyCode - native page_up "javafx.scene.input.KeyCode.PAGE_UP" :: IO KeyCode - native page_down "javafx.scene.input.KeyCode.PAGE_DOWN" :: IO KeyCode - native end "javafx.scene.input.KeyCode.END" :: IO KeyCode - native home "javafx.scene.input.KeyCode.HOME" :: IO KeyCode - native left "javafx.scene.input.KeyCode.LEFT" :: IO KeyCode - native up "javafx.scene.input.KeyCode.UP" :: IO KeyCode - native right "javafx.scene.input.KeyCode.RIGHT" :: IO KeyCode - native down "javafx.scene.input.KeyCode.DOWN" :: IO KeyCode - native comma "javafx.scene.input.KeyCode.COMMA" :: IO KeyCode - native minus "javafx.scene.input.KeyCode.MINUS" :: IO KeyCode - native period "javafx.scene.input.KeyCode.PERIOD" :: IO KeyCode - native slash "javafx.scene.input.KeyCode.SLASH" :: IO KeyCode - native digit0 "javafx.scene.input.KeyCode.DIGIT0" :: IO KeyCode - native digit1 "javafx.scene.input.KeyCode.DIGIT1" :: IO KeyCode - native digit2 "javafx.scene.input.KeyCode.DIGIT2" :: IO KeyCode - native digit3 "javafx.scene.input.KeyCode.DIGIT3" :: IO KeyCode - native digit4 "javafx.scene.input.KeyCode.DIGIT4" :: IO KeyCode - native digit5 "javafx.scene.input.KeyCode.DIGIT5" :: IO KeyCode - native digit6 "javafx.scene.input.KeyCode.DIGIT6" :: IO KeyCode - native digit7 "javafx.scene.input.KeyCode.DIGIT7" :: IO KeyCode - native digit8 "javafx.scene.input.KeyCode.DIGIT8" :: IO KeyCode - native digit9 "javafx.scene.input.KeyCode.DIGIT9" :: IO KeyCode - native semicolon "javafx.scene.input.KeyCode.SEMICOLON" :: IO KeyCode - native equals "javafx.scene.input.KeyCode.EQUALS" :: IO KeyCode - native a "javafx.scene.input.KeyCode.A" :: IO KeyCode - native b "javafx.scene.input.KeyCode.B" :: IO KeyCode - native c "javafx.scene.input.KeyCode.C" :: IO KeyCode - native d "javafx.scene.input.KeyCode.D" :: IO KeyCode - native e "javafx.scene.input.KeyCode.E" :: IO KeyCode - native f "javafx.scene.input.KeyCode.F" :: IO KeyCode - native g "javafx.scene.input.KeyCode.G" :: IO KeyCode - native h "javafx.scene.input.KeyCode.H" :: IO KeyCode - native i "javafx.scene.input.KeyCode.I" :: IO KeyCode - native j "javafx.scene.input.KeyCode.J" :: IO KeyCode - native k "javafx.scene.input.KeyCode.K" :: IO KeyCode - native l "javafx.scene.input.KeyCode.L" :: IO KeyCode - native m "javafx.scene.input.KeyCode.M" :: IO KeyCode - native n "javafx.scene.input.KeyCode.N" :: IO KeyCode - native o "javafx.scene.input.KeyCode.O" :: IO KeyCode - native p "javafx.scene.input.KeyCode.P" :: IO KeyCode - native q "javafx.scene.input.KeyCode.Q" :: IO KeyCode - native r "javafx.scene.input.KeyCode.R" :: IO KeyCode - native s "javafx.scene.input.KeyCode.S" :: IO KeyCode - native t "javafx.scene.input.KeyCode.T" :: IO KeyCode - native u "javafx.scene.input.KeyCode.U" :: IO KeyCode - native v "javafx.scene.input.KeyCode.V" :: IO KeyCode - native w "javafx.scene.input.KeyCode.W" :: IO KeyCode - native x "javafx.scene.input.KeyCode.X" :: IO KeyCode - native y "javafx.scene.input.KeyCode.Y" :: IO KeyCode - native z "javafx.scene.input.KeyCode.Z" :: IO KeyCode - native open_bracket "javafx.scene.input.KeyCode.OPEN_BRACKET" :: IO KeyCode - native back_slash "javafx.scene.input.KeyCode.BACK_SLASH" :: IO KeyCode - native close_bracket "javafx.scene.input.KeyCode.CLOSE_BRACKET" :: IO KeyCode - native numpad0 "javafx.scene.input.KeyCode.NUMPAD0" :: IO KeyCode - native numpad1 "javafx.scene.input.KeyCode.NUMPAD1" :: IO KeyCode - native numpad2 "javafx.scene.input.KeyCode.NUMPAD2" :: IO KeyCode - native numpad3 "javafx.scene.input.KeyCode.NUMPAD3" :: IO KeyCode - native numpad4 "javafx.scene.input.KeyCode.NUMPAD4" :: IO KeyCode - native numpad5 "javafx.scene.input.KeyCode.NUMPAD5" :: IO KeyCode - native numpad6 "javafx.scene.input.KeyCode.NUMPAD6" :: IO KeyCode - native numpad7 "javafx.scene.input.KeyCode.NUMPAD7" :: IO KeyCode - native numpad8 "javafx.scene.input.KeyCode.NUMPAD8" :: IO KeyCode - native numpad9 "javafx.scene.input.KeyCode.NUMPAD9" :: IO KeyCode - native multiply "javafx.scene.input.KeyCode.MULTIPLY" :: IO KeyCode - native add "javafx.scene.input.KeyCode.ADD" :: IO KeyCode - native separator "javafx.scene.input.KeyCode.SEPARATOR" :: IO KeyCode - native subtract "javafx.scene.input.KeyCode.SUBTRACT" :: IO KeyCode - native decimal "javafx.scene.input.KeyCode.DECIMAL" :: IO KeyCode - native divide "javafx.scene.input.KeyCode.DIVIDE" :: IO KeyCode - native delete "javafx.scene.input.KeyCode.DELETE" :: IO KeyCode - native num_lock "javafx.scene.input.KeyCode.NUM_LOCK" :: IO KeyCode - native scroll_lock "javafx.scene.input.KeyCode.SCROLL_LOCK" :: IO KeyCode - native f1 "javafx.scene.input.KeyCode.F1" :: IO KeyCode - native f2 "javafx.scene.input.KeyCode.F2" :: IO KeyCode - native f3 "javafx.scene.input.KeyCode.F3" :: IO KeyCode - native f4 "javafx.scene.input.KeyCode.F4" :: IO KeyCode - native f5 "javafx.scene.input.KeyCode.F5" :: IO KeyCode - native f6 "javafx.scene.input.KeyCode.F6" :: IO KeyCode - native f7 "javafx.scene.input.KeyCode.F7" :: IO KeyCode - native f8 "javafx.scene.input.KeyCode.F8" :: IO KeyCode - native f9 "javafx.scene.input.KeyCode.F9" :: IO KeyCode - native f10 "javafx.scene.input.KeyCode.F10" :: IO KeyCode - native f11 "javafx.scene.input.KeyCode.F11" :: IO KeyCode - native f12 "javafx.scene.input.KeyCode.F12" :: IO KeyCode - native f13 "javafx.scene.input.KeyCode.F13" :: IO KeyCode - native f14 "javafx.scene.input.KeyCode.F14" :: IO KeyCode - native f15 "javafx.scene.input.KeyCode.F15" :: IO KeyCode - native f16 "javafx.scene.input.KeyCode.F16" :: IO KeyCode - native f17 "javafx.scene.input.KeyCode.F17" :: IO KeyCode - native f18 "javafx.scene.input.KeyCode.F18" :: IO KeyCode - native f19 "javafx.scene.input.KeyCode.F19" :: IO KeyCode - native f20 "javafx.scene.input.KeyCode.F20" :: IO KeyCode - native f21 "javafx.scene.input.KeyCode.F21" :: IO KeyCode - native f22 "javafx.scene.input.KeyCode.F22" :: IO KeyCode - native f23 "javafx.scene.input.KeyCode.F23" :: IO KeyCode - native f24 "javafx.scene.input.KeyCode.F24" :: IO KeyCode - native printscreen "javafx.scene.input.KeyCode.PRINTSCREEN" :: IO KeyCode - native insert "javafx.scene.input.KeyCode.INSERT" :: IO KeyCode - native help "javafx.scene.input.KeyCode.HELP" :: IO KeyCode - native meta "javafx.scene.input.KeyCode.META" :: IO KeyCode - native back_quote "javafx.scene.input.KeyCode.BACK_QUOTE" :: IO KeyCode - native quote "javafx.scene.input.KeyCode.QUOTE" :: IO KeyCode - native kp_up "javafx.scene.input.KeyCode.KP_UP" :: IO KeyCode - native kp_down "javafx.scene.input.KeyCode.KP_DOWN" :: IO KeyCode - native kp_left "javafx.scene.input.KeyCode.KP_LEFT" :: IO KeyCode - native kp_right "javafx.scene.input.KeyCode.KP_RIGHT" :: IO KeyCode - native dead_grave "javafx.scene.input.KeyCode.DEAD_GRAVE" :: IO KeyCode - native dead_acute "javafx.scene.input.KeyCode.DEAD_ACUTE" :: IO KeyCode - native dead_circumflex "javafx.scene.input.KeyCode.DEAD_CIRCUMFLEX" :: IO KeyCode - native dead_tilde "javafx.scene.input.KeyCode.DEAD_TILDE" :: IO KeyCode - native dead_macron "javafx.scene.input.KeyCode.DEAD_MACRON" :: IO KeyCode - native dead_breve "javafx.scene.input.KeyCode.DEAD_BREVE" :: IO KeyCode - native dead_abovedot "javafx.scene.input.KeyCode.DEAD_ABOVEDOT" :: IO KeyCode - native dead_diaeresis "javafx.scene.input.KeyCode.DEAD_DIAERESIS" :: IO KeyCode - native dead_abovering "javafx.scene.input.KeyCode.DEAD_ABOVERING" :: IO KeyCode - native dead_doubleacute "javafx.scene.input.KeyCode.DEAD_DOUBLEACUTE" :: IO KeyCode - native dead_caron "javafx.scene.input.KeyCode.DEAD_CARON" :: IO KeyCode - native dead_cedilla "javafx.scene.input.KeyCode.DEAD_CEDILLA" :: IO KeyCode - native dead_ogonek "javafx.scene.input.KeyCode.DEAD_OGONEK" :: IO KeyCode - native dead_iota "javafx.scene.input.KeyCode.DEAD_IOTA" :: IO KeyCode - native dead_voiced_sound "javafx.scene.input.KeyCode.DEAD_VOICED_SOUND" :: IO KeyCode - native dead_semivoiced_sound "javafx.scene.input.KeyCode.DEAD_SEMIVOICED_SOUND" :: IO KeyCode - native ampersand "javafx.scene.input.KeyCode.AMPERSAND" :: IO KeyCode - native asterisk "javafx.scene.input.KeyCode.ASTERISK" :: IO KeyCode - native quotedbl "javafx.scene.input.KeyCode.QUOTEDBL" :: IO KeyCode - native less "javafx.scene.input.KeyCode.LESS" :: IO KeyCode - native greater "javafx.scene.input.KeyCode.GREATER" :: IO KeyCode - native braceleft "javafx.scene.input.KeyCode.BRACELEFT" :: IO KeyCode - native braceright "javafx.scene.input.KeyCode.BRACERIGHT" :: IO KeyCode - native at "javafx.scene.input.KeyCode.AT" :: IO KeyCode - native colon "javafx.scene.input.KeyCode.COLON" :: IO KeyCode - native circumflex "javafx.scene.input.KeyCode.CIRCUMFLEX" :: IO KeyCode - native dollar "javafx.scene.input.KeyCode.DOLLAR" :: IO KeyCode - native euro_sign "javafx.scene.input.KeyCode.EURO_SIGN" :: IO KeyCode - native exclamation_mark "javafx.scene.input.KeyCode.EXCLAMATION_MARK" :: IO KeyCode - native inverted_exclamation_mark "javafx.scene.input.KeyCode.INVERTED_EXCLAMATION_MARK" :: IO KeyCode - native left_parenthesis "javafx.scene.input.KeyCode.LEFT_PARENTHESIS" :: IO KeyCode - native number_sign "javafx.scene.input.KeyCode.NUMBER_SIGN" :: IO KeyCode - native plus "javafx.scene.input.KeyCode.PLUS" :: IO KeyCode - native right_parenthesis "javafx.scene.input.KeyCode.RIGHT_PARENTHESIS" :: IO KeyCode - native underscore "javafx.scene.input.KeyCode.UNDERSCORE" :: IO KeyCode - native windows "javafx.scene.input.KeyCode.WINDOWS" :: IO KeyCode - native context_menu "javafx.scene.input.KeyCode.CONTEXT_MENU" :: IO KeyCode - native final "javafx.scene.input.KeyCode.FINAL" :: IO KeyCode - native convert "javafx.scene.input.KeyCode.CONVERT" :: IO KeyCode - native nonconvert "javafx.scene.input.KeyCode.NONCONVERT" :: IO KeyCode - native accept "javafx.scene.input.KeyCode.ACCEPT" :: IO KeyCode - native modechange "javafx.scene.input.KeyCode.MODECHANGE" :: IO KeyCode - native kana "javafx.scene.input.KeyCode.KANA" :: IO KeyCode - native kanji "javafx.scene.input.KeyCode.KANJI" :: IO KeyCode - native alphanumeric "javafx.scene.input.KeyCode.ALPHANUMERIC" :: IO KeyCode - native katakana "javafx.scene.input.KeyCode.KATAKANA" :: IO KeyCode - native hiragana "javafx.scene.input.KeyCode.HIRAGANA" :: IO KeyCode - native full_width "javafx.scene.input.KeyCode.FULL_WIDTH" :: IO KeyCode - native half_width "javafx.scene.input.KeyCode.HALF_WIDTH" :: IO KeyCode - native roman_characters "javafx.scene.input.KeyCode.ROMAN_CHARACTERS" :: IO KeyCode - native all_candidates "javafx.scene.input.KeyCode.ALL_CANDIDATES" :: IO KeyCode - native previous_candidate "javafx.scene.input.KeyCode.PREVIOUS_CANDIDATE" :: IO KeyCode - native code_input "javafx.scene.input.KeyCode.CODE_INPUT" :: IO KeyCode - native japanese_katakana "javafx.scene.input.KeyCode.JAPANESE_KATAKANA" :: IO KeyCode - native japanese_hiragana "javafx.scene.input.KeyCode.JAPANESE_HIRAGANA" :: IO KeyCode - native japanese_roman "javafx.scene.input.KeyCode.JAPANESE_ROMAN" :: IO KeyCode - native kana_lock "javafx.scene.input.KeyCode.KANA_LOCK" :: IO KeyCode - native input_method_on_off "javafx.scene.input.KeyCode.INPUT_METHOD_ON_OFF" :: IO KeyCode - native cut "javafx.scene.input.KeyCode.CUT" :: IO KeyCode - native copy "javafx.scene.input.KeyCode.COPY" :: IO KeyCode - native paste "javafx.scene.input.KeyCode.PASTE" :: IO KeyCode - native undo "javafx.scene.input.KeyCode.UNDO" :: IO KeyCode - native again "javafx.scene.input.KeyCode.AGAIN" :: IO KeyCode - native find "javafx.scene.input.KeyCode.FIND" :: IO KeyCode - native props "javafx.scene.input.KeyCode.PROPS" :: IO KeyCode - native stop "javafx.scene.input.KeyCode.STOP" :: IO KeyCode - native compose "javafx.scene.input.KeyCode.COMPOSE" :: IO KeyCode - native alt_graph "javafx.scene.input.KeyCode.ALT_GRAPH" :: IO KeyCode - native begin "javafx.scene.input.KeyCode.BEGIN" :: IO KeyCode - native undefined "javafx.scene.input.KeyCode.UNDEFINED" :: IO KeyCode - native softkey_0 "javafx.scene.input.KeyCode.SOFTKEY_0" :: IO KeyCode - native softkey_1 "javafx.scene.input.KeyCode.SOFTKEY_1" :: IO KeyCode - native softkey_2 "javafx.scene.input.KeyCode.SOFTKEY_2" :: IO KeyCode - native softkey_3 "javafx.scene.input.KeyCode.SOFTKEY_3" :: IO KeyCode - native softkey_4 "javafx.scene.input.KeyCode.SOFTKEY_4" :: IO KeyCode - native softkey_5 "javafx.scene.input.KeyCode.SOFTKEY_5" :: IO KeyCode - native softkey_6 "javafx.scene.input.KeyCode.SOFTKEY_6" :: IO KeyCode - native softkey_7 "javafx.scene.input.KeyCode.SOFTKEY_7" :: IO KeyCode - native softkey_8 "javafx.scene.input.KeyCode.SOFTKEY_8" :: IO KeyCode - native softkey_9 "javafx.scene.input.KeyCode.SOFTKEY_9" :: IO KeyCode - native game_a "javafx.scene.input.KeyCode.GAME_A" :: IO KeyCode - native game_b "javafx.scene.input.KeyCode.GAME_B" :: IO KeyCode - native game_c "javafx.scene.input.KeyCode.GAME_C" :: IO KeyCode - native game_d "javafx.scene.input.KeyCode.GAME_D" :: IO KeyCode - native star "javafx.scene.input.KeyCode.STAR" :: IO KeyCode - native pound "javafx.scene.input.KeyCode.POUND" :: IO KeyCode - native power "javafx.scene.input.KeyCode.POWER" :: IO KeyCode - native info "javafx.scene.input.KeyCode.INFO" :: IO KeyCode - native colored_key_0 "javafx.scene.input.KeyCode.COLORED_KEY_0" :: IO KeyCode - native colored_key_1 "javafx.scene.input.KeyCode.COLORED_KEY_1" :: IO KeyCode - native colored_key_2 "javafx.scene.input.KeyCode.COLORED_KEY_2" :: IO KeyCode - native colored_key_3 "javafx.scene.input.KeyCode.COLORED_KEY_3" :: IO KeyCode - native eject_toggle "javafx.scene.input.KeyCode.EJECT_TOGGLE" :: IO KeyCode - native play "javafx.scene.input.KeyCode.PLAY" :: IO KeyCode - native record "javafx.scene.input.KeyCode.RECORD" :: IO KeyCode - native fast_fwd "javafx.scene.input.KeyCode.FAST_FWD" :: IO KeyCode - native rewind "javafx.scene.input.KeyCode.REWIND" :: IO KeyCode - native track_prev "javafx.scene.input.KeyCode.TRACK_PREV" :: IO KeyCode - native track_next "javafx.scene.input.KeyCode.TRACK_NEXT" :: IO KeyCode - native channel_up "javafx.scene.input.KeyCode.CHANNEL_UP" :: IO KeyCode - native channel_down "javafx.scene.input.KeyCode.CHANNEL_DOWN" :: IO KeyCode - native volume_up "javafx.scene.input.KeyCode.VOLUME_UP" :: IO KeyCode - native volume_down "javafx.scene.input.KeyCode.VOLUME_DOWN" :: IO KeyCode - native mute "javafx.scene.input.KeyCode.MUTE" :: IO KeyCode - native command "javafx.scene.input.KeyCode.COMMAND" :: IO KeyCode - native shortcut "javafx.scene.input.KeyCode.SHORTCUT" :: IO KeyCode - native getKeyCode "javafx.scene.input.KeyCode.getKeyCode" :: String -> IO KeyCode - native getName :: KeyCode -> IO String - native isArrowKey :: KeyCode -> IO Bool - native isDigitKey :: KeyCode -> IO Bool - native isFunctionKey :: KeyCode -> IO Bool - native isKeypadKey :: KeyCode -> IO Bool - native isLetterKey :: KeyCode -> IO Bool - native isMediaKey :: KeyCode -> IO Bool - native isModifierKey :: KeyCode -> IO Bool - native isNavigationKey :: KeyCode -> IO Bool - native isWhitespaceKey :: KeyCode -> IO Bool - native valueOf "javafx.scene.input.KeyCode.valueOf" :: String -> IO KeyCode - native values "javafx.scene.input.KeyCode.values" :: () -> STMutable s (JArray KeyCode) +data KeyCode = pure native javafx.scene.input.KeyCode where + pure native enter "javafx.scene.input.KeyCode.ENTER" :: KeyCode + pure native back_space "javafx.scene.input.KeyCode.BACK_SPACE" :: KeyCode + pure native tab "javafx.scene.input.KeyCode.TAB" :: KeyCode + pure native cancel "javafx.scene.input.KeyCode.CANCEL" :: KeyCode + pure native clear "javafx.scene.input.KeyCode.CLEAR" :: KeyCode + pure native shift "javafx.scene.input.KeyCode.SHIFT" :: KeyCode + pure native control "javafx.scene.input.KeyCode.CONTROL" :: KeyCode + pure native alt "javafx.scene.input.KeyCode.ALT" :: KeyCode + pure native pause "javafx.scene.input.KeyCode.PAUSE" :: KeyCode + pure native caps "javafx.scene.input.KeyCode.CAPS" :: KeyCode + pure native escape "javafx.scene.input.KeyCode.ESCAPE" :: KeyCode + pure native space "javafx.scene.input.KeyCode.SPACE" :: KeyCode + pure native page_up "javafx.scene.input.KeyCode.PAGE_UP" :: KeyCode + pure native page_down "javafx.scene.input.KeyCode.PAGE_DOWN" :: KeyCode + pure native end "javafx.scene.input.KeyCode.END" :: KeyCode + pure native home "javafx.scene.input.KeyCode.HOME" :: KeyCode + pure native left "javafx.scene.input.KeyCode.LEFT" :: KeyCode + pure native up "javafx.scene.input.KeyCode.UP" :: KeyCode + pure native right "javafx.scene.input.KeyCode.RIGHT" :: KeyCode + pure native down "javafx.scene.input.KeyCode.DOWN" :: KeyCode + pure native comma "javafx.scene.input.KeyCode.COMMA" :: KeyCode + pure native minus "javafx.scene.input.KeyCode.MINUS" :: KeyCode + pure native period "javafx.scene.input.KeyCode.PERIOD" :: KeyCode + pure native slash "javafx.scene.input.KeyCode.SLASH" :: KeyCode + pure native digit0 "javafx.scene.input.KeyCode.DIGIT0" :: KeyCode + pure native digit1 "javafx.scene.input.KeyCode.DIGIT1" :: KeyCode + pure native digit2 "javafx.scene.input.KeyCode.DIGIT2" :: KeyCode + pure native digit3 "javafx.scene.input.KeyCode.DIGIT3" :: KeyCode + pure native digit4 "javafx.scene.input.KeyCode.DIGIT4" :: KeyCode + pure native digit5 "javafx.scene.input.KeyCode.DIGIT5" :: KeyCode + pure native digit6 "javafx.scene.input.KeyCode.DIGIT6" :: KeyCode + pure native digit7 "javafx.scene.input.KeyCode.DIGIT7" :: KeyCode + pure native digit8 "javafx.scene.input.KeyCode.DIGIT8" :: KeyCode + pure native digit9 "javafx.scene.input.KeyCode.DIGIT9" :: KeyCode + pure native semicolon "javafx.scene.input.KeyCode.SEMICOLON" :: KeyCode + pure native equals "javafx.scene.input.KeyCode.EQUALS" :: KeyCode + pure native a "javafx.scene.input.KeyCode.A" :: KeyCode + pure native b "javafx.scene.input.KeyCode.B" :: KeyCode + pure native c "javafx.scene.input.KeyCode.C" :: KeyCode + pure native d "javafx.scene.input.KeyCode.D" :: KeyCode + pure native e "javafx.scene.input.KeyCode.E" :: KeyCode + pure native f "javafx.scene.input.KeyCode.F" :: KeyCode + pure native g "javafx.scene.input.KeyCode.G" :: KeyCode + pure native h "javafx.scene.input.KeyCode.H" :: KeyCode + pure native i "javafx.scene.input.KeyCode.I" :: KeyCode + pure native j "javafx.scene.input.KeyCode.J" :: KeyCode + pure native k "javafx.scene.input.KeyCode.K" :: KeyCode + pure native l "javafx.scene.input.KeyCode.L" :: KeyCode + pure native m "javafx.scene.input.KeyCode.M" :: KeyCode + pure native n "javafx.scene.input.KeyCode.N" :: KeyCode + pure native o "javafx.scene.input.KeyCode.O" :: KeyCode + pure native p "javafx.scene.input.KeyCode.P" :: KeyCode + pure native q "javafx.scene.input.KeyCode.Q" :: KeyCode + pure native r "javafx.scene.input.KeyCode.R" :: KeyCode + pure native s "javafx.scene.input.KeyCode.S" :: KeyCode + pure native t "javafx.scene.input.KeyCode.T" :: KeyCode + pure native u "javafx.scene.input.KeyCode.U" :: KeyCode + pure native v "javafx.scene.input.KeyCode.V" :: KeyCode + pure native w "javafx.scene.input.KeyCode.W" :: KeyCode + pure native x "javafx.scene.input.KeyCode.X" :: KeyCode + pure native y "javafx.scene.input.KeyCode.Y" :: KeyCode + pure native z "javafx.scene.input.KeyCode.Z" :: KeyCode + pure native open_bracket "javafx.scene.input.KeyCode.OPEN_BRACKET" :: KeyCode + pure native back_slash "javafx.scene.input.KeyCode.BACK_SLASH" :: KeyCode + pure native close_bracket "javafx.scene.input.KeyCode.CLOSE_BRACKET" :: KeyCode + pure native numpad0 "javafx.scene.input.KeyCode.NUMPAD0" :: KeyCode + pure native numpad1 "javafx.scene.input.KeyCode.NUMPAD1" :: KeyCode + pure native numpad2 "javafx.scene.input.KeyCode.NUMPAD2" :: KeyCode + pure native numpad3 "javafx.scene.input.KeyCode.NUMPAD3" :: KeyCode + pure native numpad4 "javafx.scene.input.KeyCode.NUMPAD4" :: KeyCode + pure native numpad5 "javafx.scene.input.KeyCode.NUMPAD5" :: KeyCode + pure native numpad6 "javafx.scene.input.KeyCode.NUMPAD6" :: KeyCode + pure native numpad7 "javafx.scene.input.KeyCode.NUMPAD7" :: KeyCode + pure native numpad8 "javafx.scene.input.KeyCode.NUMPAD8" :: KeyCode + pure native numpad9 "javafx.scene.input.KeyCode.NUMPAD9" :: KeyCode + pure native multiply "javafx.scene.input.KeyCode.MULTIPLY" :: KeyCode + pure native add "javafx.scene.input.KeyCode.ADD" :: KeyCode + pure native separator "javafx.scene.input.KeyCode.SEPARATOR" :: KeyCode + pure native subtract "javafx.scene.input.KeyCode.SUBTRACT" :: KeyCode + pure native decimal "javafx.scene.input.KeyCode.DECIMAL" :: KeyCode + pure native divide "javafx.scene.input.KeyCode.DIVIDE" :: KeyCode + pure native delete "javafx.scene.input.KeyCode.DELETE" :: KeyCode + pure native num_lock "javafx.scene.input.KeyCode.NUM_LOCK" :: KeyCode + pure native scroll_lock "javafx.scene.input.KeyCode.SCROLL_LOCK" :: KeyCode + pure native f1 "javafx.scene.input.KeyCode.F1" :: KeyCode + pure native f2 "javafx.scene.input.KeyCode.F2" :: KeyCode + pure native f3 "javafx.scene.input.KeyCode.F3" :: KeyCode + pure native f4 "javafx.scene.input.KeyCode.F4" :: KeyCode + pure native f5 "javafx.scene.input.KeyCode.F5" :: KeyCode + pure native f6 "javafx.scene.input.KeyCode.F6" :: KeyCode + pure native f7 "javafx.scene.input.KeyCode.F7" :: KeyCode + pure native f8 "javafx.scene.input.KeyCode.F8" :: KeyCode + pure native f9 "javafx.scene.input.KeyCode.F9" :: KeyCode + pure native f10 "javafx.scene.input.KeyCode.F10" :: KeyCode + pure native f11 "javafx.scene.input.KeyCode.F11" :: KeyCode + pure native f12 "javafx.scene.input.KeyCode.F12" :: KeyCode + pure native f13 "javafx.scene.input.KeyCode.F13" :: KeyCode + pure native f14 "javafx.scene.input.KeyCode.F14" :: KeyCode + pure native f15 "javafx.scene.input.KeyCode.F15" :: KeyCode + pure native f16 "javafx.scene.input.KeyCode.F16" :: KeyCode + pure native f17 "javafx.scene.input.KeyCode.F17" :: KeyCode + pure native f18 "javafx.scene.input.KeyCode.F18" :: KeyCode + pure native f19 "javafx.scene.input.KeyCode.F19" :: KeyCode + pure native f20 "javafx.scene.input.KeyCode.F20" :: KeyCode + pure native f21 "javafx.scene.input.KeyCode.F21" :: KeyCode + pure native f22 "javafx.scene.input.KeyCode.F22" :: KeyCode + pure native f23 "javafx.scene.input.KeyCode.F23" :: KeyCode + pure native f24 "javafx.scene.input.KeyCode.F24" :: KeyCode + pure native printscreen "javafx.scene.input.KeyCode.PRINTSCREEN" :: KeyCode + pure native insert "javafx.scene.input.KeyCode.INSERT" :: KeyCode + pure native help "javafx.scene.input.KeyCode.HELP" :: KeyCode + pure native meta "javafx.scene.input.KeyCode.META" :: KeyCode + pure native back_quote "javafx.scene.input.KeyCode.BACK_QUOTE" :: KeyCode + pure native quote "javafx.scene.input.KeyCode.QUOTE" :: KeyCode + pure native kp_up "javafx.scene.input.KeyCode.KP_UP" :: KeyCode + pure native kp_down "javafx.scene.input.KeyCode.KP_DOWN" :: KeyCode + pure native kp_left "javafx.scene.input.KeyCode.KP_LEFT" :: KeyCode + pure native kp_right "javafx.scene.input.KeyCode.KP_RIGHT" :: KeyCode + pure native dead_grave "javafx.scene.input.KeyCode.DEAD_GRAVE" :: KeyCode + pure native dead_acute "javafx.scene.input.KeyCode.DEAD_ACUTE" :: KeyCode + pure native dead_circumflex "javafx.scene.input.KeyCode.DEAD_CIRCUMFLEX" :: KeyCode + pure native dead_tilde "javafx.scene.input.KeyCode.DEAD_TILDE" :: KeyCode + pure native dead_macron "javafx.scene.input.KeyCode.DEAD_MACRON" :: KeyCode + pure native dead_breve "javafx.scene.input.KeyCode.DEAD_BREVE" :: KeyCode + pure native dead_abovedot "javafx.scene.input.KeyCode.DEAD_ABOVEDOT" :: KeyCode + pure native dead_diaeresis "javafx.scene.input.KeyCode.DEAD_DIAERESIS" :: KeyCode + pure native dead_abovering "javafx.scene.input.KeyCode.DEAD_ABOVERING" :: KeyCode + pure native dead_doubleacute "javafx.scene.input.KeyCode.DEAD_DOUBLEACUTE" :: KeyCode + pure native dead_caron "javafx.scene.input.KeyCode.DEAD_CARON" :: KeyCode + pure native dead_cedilla "javafx.scene.input.KeyCode.DEAD_CEDILLA" :: KeyCode + pure native dead_ogonek "javafx.scene.input.KeyCode.DEAD_OGONEK" :: KeyCode + pure native dead_iota "javafx.scene.input.KeyCode.DEAD_IOTA" :: KeyCode + pure native dead_voiced_sound "javafx.scene.input.KeyCode.DEAD_VOICED_SOUND" :: KeyCode + pure native dead_semivoiced_sound "javafx.scene.input.KeyCode.DEAD_SEMIVOICED_SOUND" :: KeyCode + pure native ampersand "javafx.scene.input.KeyCode.AMPERSAND" :: KeyCode + pure native asterisk "javafx.scene.input.KeyCode.ASTERISK" :: KeyCode + pure native quotedbl "javafx.scene.input.KeyCode.QUOTEDBL" :: KeyCode + pure native less "javafx.scene.input.KeyCode.LESS" :: KeyCode + pure native greater "javafx.scene.input.KeyCode.GREATER" :: KeyCode + pure native braceleft "javafx.scene.input.KeyCode.BRACELEFT" :: KeyCode + pure native braceright "javafx.scene.input.KeyCode.BRACERIGHT" :: KeyCode + pure native at "javafx.scene.input.KeyCode.AT" :: KeyCode + pure native colon "javafx.scene.input.KeyCode.COLON" :: KeyCode + pure native circumflex "javafx.scene.input.KeyCode.CIRCUMFLEX" :: KeyCode + pure native dollar "javafx.scene.input.KeyCode.DOLLAR" :: KeyCode + pure native euro_sign "javafx.scene.input.KeyCode.EURO_SIGN" :: KeyCode + pure native exclamation_mark "javafx.scene.input.KeyCode.EXCLAMATION_MARK" :: KeyCode + pure native inverted_exclamation_mark "javafx.scene.input.KeyCode.INVERTED_EXCLAMATION_MARK" :: KeyCode + pure native left_parenthesis "javafx.scene.input.KeyCode.LEFT_PARENTHESIS" :: KeyCode + pure native number_sign "javafx.scene.input.KeyCode.NUMBER_SIGN" :: KeyCode + pure native plus "javafx.scene.input.KeyCode.PLUS" :: KeyCode + pure native right_parenthesis "javafx.scene.input.KeyCode.RIGHT_PARENTHESIS" :: KeyCode + pure native underscore "javafx.scene.input.KeyCode.UNDERSCORE" :: KeyCode + pure native windows "javafx.scene.input.KeyCode.WINDOWS" :: KeyCode + pure native context_menu "javafx.scene.input.KeyCode.CONTEXT_MENU" :: KeyCode + pure native final "javafx.scene.input.KeyCode.FINAL" :: KeyCode + pure native convert "javafx.scene.input.KeyCode.CONVERT" :: KeyCode + pure native nonconvert "javafx.scene.input.KeyCode.NONCONVERT" :: KeyCode + pure native accept "javafx.scene.input.KeyCode.ACCEPT" :: KeyCode + pure native modechange "javafx.scene.input.KeyCode.MODECHANGE" :: KeyCode + pure native kana "javafx.scene.input.KeyCode.KANA" :: KeyCode + pure native kanji "javafx.scene.input.KeyCode.KANJI" :: KeyCode + pure native alphanumeric "javafx.scene.input.KeyCode.ALPHANUMERIC" :: KeyCode + pure native katakana "javafx.scene.input.KeyCode.KATAKANA" :: KeyCode + pure native hiragana "javafx.scene.input.KeyCode.HIRAGANA" :: KeyCode + pure native full_width "javafx.scene.input.KeyCode.FULL_WIDTH" :: KeyCode + pure native half_width "javafx.scene.input.KeyCode.HALF_WIDTH" :: KeyCode + pure native roman_characters "javafx.scene.input.KeyCode.ROMAN_CHARACTERS" :: KeyCode + pure native all_candidates "javafx.scene.input.KeyCode.ALL_CANDIDATES" :: KeyCode + pure native previous_candidate "javafx.scene.input.KeyCode.PREVIOUS_CANDIDATE" :: KeyCode + pure native code_input "javafx.scene.input.KeyCode.CODE_INPUT" :: KeyCode + pure native japanese_katakana "javafx.scene.input.KeyCode.JAPANESE_KATAKANA" :: KeyCode + pure native japanese_hiragana "javafx.scene.input.KeyCode.JAPANESE_HIRAGANA" :: KeyCode + pure native japanese_roman "javafx.scene.input.KeyCode.JAPANESE_ROMAN" :: KeyCode + pure native kana_lock "javafx.scene.input.KeyCode.KANA_LOCK" :: KeyCode + pure native input_method_on_off "javafx.scene.input.KeyCode.INPUT_METHOD_ON_OFF" :: KeyCode + pure native cut "javafx.scene.input.KeyCode.CUT" :: KeyCode + pure native copy "javafx.scene.input.KeyCode.COPY" :: KeyCode + pure native paste "javafx.scene.input.KeyCode.PASTE" :: KeyCode + pure native undo "javafx.scene.input.KeyCode.UNDO" :: KeyCode + pure native again "javafx.scene.input.KeyCode.AGAIN" :: KeyCode + pure native find "javafx.scene.input.KeyCode.FIND" :: KeyCode + pure native props "javafx.scene.input.KeyCode.PROPS" :: KeyCode + pure native stop "javafx.scene.input.KeyCode.STOP" :: KeyCode + pure native compose "javafx.scene.input.KeyCode.COMPOSE" :: KeyCode + pure native alt_graph "javafx.scene.input.KeyCode.ALT_GRAPH" :: KeyCode + pure native begin "javafx.scene.input.KeyCode.BEGIN" :: KeyCode + pure native undefined "javafx.scene.input.KeyCode.UNDEFINED" :: KeyCode + pure native softkey_0 "javafx.scene.input.KeyCode.SOFTKEY_0" :: KeyCode + pure native softkey_1 "javafx.scene.input.KeyCode.SOFTKEY_1" :: KeyCode + pure native softkey_2 "javafx.scene.input.KeyCode.SOFTKEY_2" :: KeyCode + pure native softkey_3 "javafx.scene.input.KeyCode.SOFTKEY_3" :: KeyCode + pure native softkey_4 "javafx.scene.input.KeyCode.SOFTKEY_4" :: KeyCode + pure native softkey_5 "javafx.scene.input.KeyCode.SOFTKEY_5" :: KeyCode + pure native softkey_6 "javafx.scene.input.KeyCode.SOFTKEY_6" :: KeyCode + pure native softkey_7 "javafx.scene.input.KeyCode.SOFTKEY_7" :: KeyCode + pure native softkey_8 "javafx.scene.input.KeyCode.SOFTKEY_8" :: KeyCode + pure native softkey_9 "javafx.scene.input.KeyCode.SOFTKEY_9" :: KeyCode + pure native game_a "javafx.scene.input.KeyCode.GAME_A" :: KeyCode + pure native game_b "javafx.scene.input.KeyCode.GAME_B" :: KeyCode + pure native game_c "javafx.scene.input.KeyCode.GAME_C" :: KeyCode + pure native game_d "javafx.scene.input.KeyCode.GAME_D" :: KeyCode + pure native star "javafx.scene.input.KeyCode.STAR" :: KeyCode + pure native pound "javafx.scene.input.KeyCode.POUND" :: KeyCode + pure native power "javafx.scene.input.KeyCode.POWER" :: KeyCode + pure native info "javafx.scene.input.KeyCode.INFO" :: KeyCode + pure native colored_key_0 "javafx.scene.input.KeyCode.COLORED_KEY_0" :: KeyCode + pure native colored_key_1 "javafx.scene.input.KeyCode.COLORED_KEY_1" :: KeyCode + pure native colored_key_2 "javafx.scene.input.KeyCode.COLORED_KEY_2" :: KeyCode + pure native colored_key_3 "javafx.scene.input.KeyCode.COLORED_KEY_3" :: KeyCode + pure native eject_toggle "javafx.scene.input.KeyCode.EJECT_TOGGLE" :: KeyCode + pure native play "javafx.scene.input.KeyCode.PLAY" :: KeyCode + pure native record "javafx.scene.input.KeyCode.RECORD" :: KeyCode + pure native fast_fwd "javafx.scene.input.KeyCode.FAST_FWD" :: KeyCode + pure native rewind "javafx.scene.input.KeyCode.REWIND" :: KeyCode + pure native track_prev "javafx.scene.input.KeyCode.TRACK_PREV" :: KeyCode + pure native track_next "javafx.scene.input.KeyCode.TRACK_NEXT" :: KeyCode + pure native channel_up "javafx.scene.input.KeyCode.CHANNEL_UP" :: KeyCode + pure native channel_down "javafx.scene.input.KeyCode.CHANNEL_DOWN" :: KeyCode + pure native volume_up "javafx.scene.input.KeyCode.VOLUME_UP" :: KeyCode + pure native volume_down "javafx.scene.input.KeyCode.VOLUME_DOWN" :: KeyCode + pure native mute "javafx.scene.input.KeyCode.MUTE" :: KeyCode + pure native command "javafx.scene.input.KeyCode.COMMAND" :: KeyCode + pure native shortcut "javafx.scene.input.KeyCode.SHORTCUT" :: KeyCode + pure native getKeyCode "javafx.scene.input.KeyCode.getKeyCode" :: String -> KeyCode + pure native getName :: KeyCode -> String + pure native isArrowKey :: KeyCode -> Bool + pure native isDigitKey :: KeyCode -> Bool + pure native isFunctionKey :: KeyCode -> Bool + pure native isKeypadKey :: KeyCode -> Bool + pure native isLetterKey :: KeyCode -> Bool + pure native isMediaKey :: KeyCode -> Bool + pure native isModifierKey :: KeyCode -> Bool + pure native isNavigationKey :: KeyCode -> Bool + pure native isWhitespaceKey :: KeyCode -> Bool + pure native valueOf "javafx.scene.input.KeyCode.valueOf" :: String -> IllegalArgumentException | KeyCode + pure native values "javafx.scene.input.KeyCode.values" :: () -> JArray KeyCode -- derive Serializable KeyCode -- data KeyCodeCombination = mutable native javafx.scene.input.KeyCodeCombination where @@ -8982,26 +8977,26 @@ data KeyCombination = mutable native javafx.scene.input.KeyCombination where native toString :: KeyCombination -> IO String native valueOf "javafx.scene.input.KeyCombination.valueOf" :: String -> IO KeyCombination -- -data KeyEvent = mutable native javafx.scene.input.KeyEvent where - native any "javafx.scene.input.KeyEvent.ANY" :: IO (EventType KeyEvent) - native key_pressed "javafx.scene.input.KeyEvent.KEY_PRESSED" :: IO (EventType KeyEvent) - native key_released "javafx.scene.input.KeyEvent.KEY_RELEASED" :: IO (EventType KeyEvent) - native key_typed "javafx.scene.input.KeyEvent.KEY_TYPED" :: IO (EventType KeyEvent) +data KeyEvent = pure native javafx.scene.input.KeyEvent where + pure native any "javafx.scene.input.KeyEvent.ANY" :: EventType KeyEvent + pure native key_pressed "javafx.scene.input.KeyEvent.KEY_PRESSED" :: EventType KeyEvent + pure native key_released "javafx.scene.input.KeyEvent.KEY_RELEASED" :: EventType KeyEvent + pure native key_typed "javafx.scene.input.KeyEvent.KEY_TYPED" :: EventType KeyEvent pure native char_undefined "javafx.scene.input.KeyEvent.CHAR_UNDEFINED" :: String native new :: Object -> EventTarget -> EventType KeyEvent -> String -> String -> KeyCode -> Bool -> Bool -> Bool -> Bool -> IO KeyEvent - | EventType KeyEvent -> String -> String -> KeyCode -> Bool -> Bool -> Bool -> Bool -> IO KeyEvent + | EventType KeyEvent -> String -> String -> KeyCode -> Bool -> Bool -> Bool -> Bool -> IO KeyEvent native copyFor :: KeyEvent -> Object -> EventTarget -> IO KeyEvent - | KeyEvent -> Object -> EventTarget -> EventType KeyEvent -> IO KeyEvent - native getCharacter :: KeyEvent -> IO String - native getCode :: KeyEvent -> IO KeyCode - native getEventType :: KeyEvent -> IO (EventType KeyEvent) - native getText :: KeyEvent -> IO String - native isAltDown :: KeyEvent -> IO Bool - native isControlDown :: KeyEvent -> IO Bool - native isMetaDown :: KeyEvent -> IO Bool - native isShiftDown :: KeyEvent -> IO Bool - native isShortcutDown :: KeyEvent -> IO Bool - native toString :: KeyEvent -> IO String + | KeyEvent -> Object -> EventTarget -> EventType KeyEvent -> IO KeyEvent + pure native getCharacter :: KeyEvent -> String + pure native getCode :: KeyEvent -> KeyCode + pure native getEventType :: KeyEvent -> EventType KeyEvent + pure native getText :: KeyEvent -> String + pure native isAltDown :: KeyEvent -> Bool + pure native isControlDown :: KeyEvent -> Bool + pure native isMetaDown :: KeyEvent -> Bool + pure native isShiftDown :: KeyEvent -> Bool + pure native isShortcutDown :: KeyEvent -> Bool + pure native toString :: KeyEvent -> String -- derive Serializable KeyEvent -- data Mnemonic = mutable native javafx.scene.input.Mnemonic where @@ -9260,15 +9255,15 @@ data EventHandler t = mutable native javafx.event.EventHandler --where data EventTarget = mutable native javafx.event.EventTarget where native buildEventDispatchChain :: EventTarget -> EventDispatchChain -> IO EventDispatchChain -- -data EventType t = mutable native javafx.event.EventType where - native root "javafx.event.EventType.ROOT" :: IO (EventType Event) - native new :: EventType t -> String -> IO (EventType t) - | EventType t -> IO (EventType t) - | String -> IO (EventType t) - | () -> IO (EventType t) - native getName :: EventType t -> IO String - native getSuperType :: EventType t -> IO (EventType t) - native toString :: EventType t -> IO String +data EventType t = pure native javafx.event.EventType where + pure native root "javafx.event.EventType.ROOT" :: EventType Event + pure native new :: EventType t -> String -> EventType t + | EventType t -> EventType t + | String -> EventType t + | () -> EventType t + pure native getName :: EventType t -> String + pure native getSuperType :: EventType t -> EventType t + pure native toString :: EventType t -> String -- derive Serializable (EventType t) -- data WeakEventHandler t = mutable native javafx.event.WeakEventHandler where @@ -10539,5 +10534,3 @@ data WorkerStateEvent = mutable native javafx.concurrent.WorkerStateEvent where -- native getSource :: WorkerStateEvent -> IO Worker -- derive Serializable WorkerStateEvent -- - -