mirror of
https://github.com/IHaskell/IHaskell.git
synced 2025-04-19 12:56:08 +00:00
Drop -Widget suffix wherever possible
This commit is contained in:
parent
4d55781be6
commit
26addb62a3
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Bool.CheckBox (
|
||||
-- * The CheckBox Widget
|
||||
CheckBoxWidget,
|
||||
CheckBox,
|
||||
-- * Constructor
|
||||
mkCheckBoxWidget) where
|
||||
mkCheckBox) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -26,12 +26,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | A 'CheckBoxWidget' represents a Checkbox widget from IPython.html.widgets.
|
||||
type CheckBoxWidget = IPythonWidget CheckBoxType
|
||||
-- | A 'CheckBox' represents a Checkbox widget from IPython.html.widgets.
|
||||
type CheckBox = IPythonWidget CheckBoxType
|
||||
|
||||
-- | Create a new output widget
|
||||
mkCheckBoxWidget :: IO CheckBoxWidget
|
||||
mkCheckBoxWidget = do
|
||||
mkCheckBox :: IO CheckBox
|
||||
mkCheckBox = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -49,12 +49,12 @@ mkCheckBoxWidget = do
|
||||
-- Return the image widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay CheckBoxWidget where
|
||||
instance IHaskellDisplay CheckBox where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget CheckBoxWidget where
|
||||
instance IHaskellWidget CheckBox where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Float.BoundedFloat.BoundedFloatText (
|
||||
-- * The BoundedFloatText Widget
|
||||
BoundedFloatTextWidget,
|
||||
BoundedFloatText,
|
||||
-- * Constructor
|
||||
mkBoundedFloatTextWidget) where
|
||||
mkBoundedFloatText) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'BoundedFloatTextWidget' represents an BoundedFloatText widget from IPython.html.widgets.
|
||||
type BoundedFloatTextWidget = IPythonWidget BoundedFloatTextType
|
||||
-- | 'BoundedFloatText' represents an BoundedFloatText widget from IPython.html.widgets.
|
||||
type BoundedFloatText = IPythonWidget BoundedFloatTextType
|
||||
|
||||
-- | Create a new widget
|
||||
mkBoundedFloatTextWidget :: IO BoundedFloatTextWidget
|
||||
mkBoundedFloatTextWidget = do
|
||||
mkBoundedFloatText :: IO BoundedFloatText
|
||||
mkBoundedFloatText = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -53,12 +53,12 @@ mkBoundedFloatTextWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay BoundedFloatTextWidget where
|
||||
instance IHaskellDisplay BoundedFloatText where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget BoundedFloatTextWidget where
|
||||
instance IHaskellWidget BoundedFloatText where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Float.BoundedFloat.FloatProgress (
|
||||
-- * The FloatProgress Widget
|
||||
FloatProgressWidget,
|
||||
FloatProgress,
|
||||
-- * Constructor
|
||||
mkFloatProgressWidget) where
|
||||
mkFloatProgress) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'FloatProgressWidget' represents an FloatProgress widget from IPython.html.widgets.
|
||||
type FloatProgressWidget = IPythonWidget FloatProgressType
|
||||
-- | 'FloatProgress' represents an FloatProgress widget from IPython.html.widgets.
|
||||
type FloatProgress = IPythonWidget FloatProgressType
|
||||
|
||||
-- | Create a new widget
|
||||
mkFloatProgressWidget :: IO FloatProgressWidget
|
||||
mkFloatProgressWidget = do
|
||||
mkFloatProgress :: IO FloatProgress
|
||||
mkFloatProgress = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -55,10 +55,10 @@ mkFloatProgressWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay FloatProgressWidget where
|
||||
instance IHaskellDisplay FloatProgress where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget FloatProgressWidget where
|
||||
instance IHaskellWidget FloatProgress where
|
||||
getCommUUID = uuid
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Float.BoundedFloat.FloatSlider (
|
||||
-- * The FloatSlider Widget
|
||||
FloatSliderWidget,
|
||||
FloatSlider,
|
||||
-- * Constructor
|
||||
mkFloatSliderWidget) where
|
||||
mkFloatSlider) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'FloatSliderWidget' represents an FloatSlider widget from IPython.html.widgets.
|
||||
type FloatSliderWidget = IPythonWidget FloatSliderType
|
||||
-- | 'FloatSlider' represents an FloatSlider widget from IPython.html.widgets.
|
||||
type FloatSlider = IPythonWidget FloatSliderType
|
||||
|
||||
-- | Create a new widget
|
||||
mkFloatSliderWidget :: IO FloatSliderWidget
|
||||
mkFloatSliderWidget = do
|
||||
mkFloatSlider :: IO FloatSlider
|
||||
mkFloatSlider = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -59,12 +59,12 @@ mkFloatSliderWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay FloatSliderWidget where
|
||||
instance IHaskellDisplay FloatSlider where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget FloatSliderWidget where
|
||||
instance IHaskellWidget FloatSlider where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Float.BoundedFloatRange.FloatRangeSlider (
|
||||
-- * The FloatRangeSlider Widget
|
||||
FloatRangeSliderWidget,
|
||||
FloatRangeSlider,
|
||||
-- * Constructor
|
||||
mkFloatRangeSliderWidget) where
|
||||
mkFloatRangeSlider) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -29,12 +29,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'FloatRangeSliderWidget' represents an FloatRangeSlider widget from IPython.html.widgets.
|
||||
type FloatRangeSliderWidget = IPythonWidget FloatRangeSliderType
|
||||
-- | 'FloatRangeSlider' represents an FloatRangeSlider widget from IPython.html.widgets.
|
||||
type FloatRangeSlider = IPythonWidget FloatRangeSliderType
|
||||
|
||||
-- | Create a new widget
|
||||
mkFloatRangeSliderWidget :: IO FloatRangeSliderWidget
|
||||
mkFloatRangeSliderWidget = do
|
||||
mkFloatRangeSlider :: IO FloatRangeSlider
|
||||
mkFloatRangeSlider = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -60,12 +60,12 @@ mkFloatRangeSliderWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay FloatRangeSliderWidget where
|
||||
instance IHaskellDisplay FloatRangeSlider where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget FloatRangeSliderWidget where
|
||||
instance IHaskellWidget FloatRangeSlider where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Float.FloatText (
|
||||
-- * The FloatText Widget
|
||||
FloatTextWidget,
|
||||
FloatText,
|
||||
-- * Constructor
|
||||
mkFloatTextWidget) where
|
||||
mkFloatText) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'FloatTextWidget' represents an FloatText widget from IPython.html.widgets.
|
||||
type FloatTextWidget = IPythonWidget FloatTextType
|
||||
-- | 'FloatText' represents an FloatText widget from IPython.html.widgets.
|
||||
type FloatText = IPythonWidget FloatTextType
|
||||
|
||||
-- | Create a new widget
|
||||
mkFloatTextWidget :: IO FloatTextWidget
|
||||
mkFloatTextWidget = do
|
||||
mkFloatText :: IO FloatText
|
||||
mkFloatText = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -50,12 +50,12 @@ mkFloatTextWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay FloatTextWidget where
|
||||
instance IHaskellDisplay FloatText where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget FloatTextWidget where
|
||||
instance IHaskellWidget FloatText where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Int.BoundedInt.BoundedIntText (
|
||||
-- * The BoundedIntText Widget
|
||||
BoundedIntTextWidget,
|
||||
BoundedIntText,
|
||||
-- * Constructor
|
||||
mkBoundedIntTextWidget) where
|
||||
mkBoundedIntText) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'BoundedIntTextWidget' represents an BoundedIntText widget from IPython.html.widgets.
|
||||
type BoundedIntTextWidget = IPythonWidget BoundedIntTextType
|
||||
-- | 'BoundedIntText' represents an BoundedIntText widget from IPython.html.widgets.
|
||||
type BoundedIntText = IPythonWidget BoundedIntTextType
|
||||
|
||||
-- | Create a new widget
|
||||
mkBoundedIntTextWidget :: IO BoundedIntTextWidget
|
||||
mkBoundedIntTextWidget = do
|
||||
mkBoundedIntText :: IO BoundedIntText
|
||||
mkBoundedIntText = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -53,12 +53,12 @@ mkBoundedIntTextWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay BoundedIntTextWidget where
|
||||
instance IHaskellDisplay BoundedIntText where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget BoundedIntTextWidget where
|
||||
instance IHaskellWidget BoundedIntText where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Int.BoundedInt.IntProgress (
|
||||
-- * The IntProgress Widget
|
||||
IntProgressWidget,
|
||||
IntProgress,
|
||||
-- * Constructor
|
||||
mkIntProgressWidget) where
|
||||
mkIntProgress) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'IntProgressWidget' represents an IntProgress widget from IPython.html.widgets.
|
||||
type IntProgressWidget = IPythonWidget IntProgressType
|
||||
-- | 'IntProgress' represents an IntProgress widget from IPython.html.widgets.
|
||||
type IntProgress = IPythonWidget IntProgressType
|
||||
|
||||
-- | Create a new widget
|
||||
mkIntProgressWidget :: IO IntProgressWidget
|
||||
mkIntProgressWidget = do
|
||||
mkIntProgress :: IO IntProgress
|
||||
mkIntProgress = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -55,10 +55,10 @@ mkIntProgressWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay IntProgressWidget where
|
||||
instance IHaskellDisplay IntProgress where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget IntProgressWidget where
|
||||
instance IHaskellWidget IntProgress where
|
||||
getCommUUID = uuid
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Int.BoundedInt.IntSlider (
|
||||
-- * The IntSlider Widget
|
||||
IntSliderWidget,
|
||||
IntSlider,
|
||||
-- * Constructor
|
||||
mkIntSliderWidget) where
|
||||
mkIntSlider) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'IntSliderWidget' represents an IntSlider widget from IPython.html.widgets.
|
||||
type IntSliderWidget = IPythonWidget IntSliderType
|
||||
-- | 'IntSlider' represents an IntSlider widget from IPython.html.widgets.
|
||||
type IntSlider = IPythonWidget IntSliderType
|
||||
|
||||
-- | Create a new widget
|
||||
mkIntSliderWidget :: IO IntSliderWidget
|
||||
mkIntSliderWidget = do
|
||||
mkIntSlider :: IO IntSlider
|
||||
mkIntSlider = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -59,12 +59,12 @@ mkIntSliderWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay IntSliderWidget where
|
||||
instance IHaskellDisplay IntSlider where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget IntSliderWidget where
|
||||
instance IHaskellWidget IntSlider where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Int.BoundedIntRange.IntRangeSlider (
|
||||
-- * The IntRangeSlider Widget
|
||||
IntRangeSliderWidget,
|
||||
IntRangeSlider,
|
||||
-- * Constructor
|
||||
mkIntRangeSliderWidget) where
|
||||
mkIntRangeSlider) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -29,12 +29,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'IntRangeSliderWidget' represents an IntRangeSlider widget from IPython.html.widgets.
|
||||
type IntRangeSliderWidget = IPythonWidget IntRangeSliderType
|
||||
-- | 'IntRangeSlider' represents an IntRangeSlider widget from IPython.html.widgets.
|
||||
type IntRangeSlider = IPythonWidget IntRangeSliderType
|
||||
|
||||
-- | Create a new widget
|
||||
mkIntRangeSliderWidget :: IO IntRangeSliderWidget
|
||||
mkIntRangeSliderWidget = do
|
||||
mkIntRangeSlider :: IO IntRangeSlider
|
||||
mkIntRangeSlider = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -60,12 +60,12 @@ mkIntRangeSliderWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay IntRangeSliderWidget where
|
||||
instance IHaskellDisplay IntRangeSlider where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget IntRangeSliderWidget where
|
||||
instance IHaskellWidget IntRangeSlider where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Int.IntText (
|
||||
-- * The IntText Widget
|
||||
IntTextWidget,
|
||||
IntText,
|
||||
-- * Constructor
|
||||
mkIntTextWidget) where
|
||||
mkIntText) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -28,12 +28,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | 'IntTextWidget' represents an IntText widget from IPython.html.widgets.
|
||||
type IntTextWidget = IPythonWidget IntTextType
|
||||
-- | 'IntText' represents an IntText widget from IPython.html.widgets.
|
||||
type IntText = IPythonWidget IntTextType
|
||||
|
||||
-- | Create a new widget
|
||||
mkIntTextWidget :: IO IntTextWidget
|
||||
mkIntTextWidget = do
|
||||
mkIntText :: IO IntText
|
||||
mkIntText = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
|
||||
@ -50,12 +50,12 @@ mkIntTextWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay IntTextWidget where
|
||||
instance IHaskellDisplay IntText where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget IntTextWidget where
|
||||
instance IHaskellWidget IntText where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Selection.Select (
|
||||
-- * The Select Widget
|
||||
SelectWidget,
|
||||
Select,
|
||||
-- * Constructor
|
||||
mkSelectWidget) where
|
||||
mkSelect) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -26,12 +26,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | A 'SelectWidget' represents a Select widget from IPython.html.widgets.
|
||||
type SelectWidget = IPythonWidget SelectType
|
||||
-- | A 'Select' represents a Select widget from IPython.html.widgets.
|
||||
type Select = IPythonWidget SelectType
|
||||
|
||||
-- | Create a new Select widget
|
||||
mkSelectWidget :: IO SelectWidget
|
||||
mkSelectWidget = do
|
||||
mkSelect :: IO Select
|
||||
mkSelect = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
let widgetState = WidgetState $ defaultSelectionWidget "SelectView"
|
||||
@ -48,15 +48,15 @@ mkSelectWidget = do
|
||||
return widget
|
||||
|
||||
-- | Artificially trigger a selection
|
||||
triggerSelection :: SelectWidget -> IO ()
|
||||
triggerSelection :: Select -> IO ()
|
||||
triggerSelection widget = join $ getField widget SSelectionHandler
|
||||
|
||||
instance IHaskellDisplay SelectWidget where
|
||||
instance IHaskellDisplay Select where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget SelectWidget where
|
||||
instance IHaskellWidget Select where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.Selection.SelectMultiple (
|
||||
-- * The SelectMultiple Widget
|
||||
SelectMultipleWidget,
|
||||
SelectMultiple,
|
||||
-- * Constructor
|
||||
mkSelectMultipleWidget) where
|
||||
mkSelectMultiple) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -27,12 +27,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
import IHaskell.Display.Widgets.Types
|
||||
import IHaskell.Display.Widgets.Common
|
||||
|
||||
-- | A 'SelectMultipleWidget' represents a SelectMultiple widget from IPython.html.widgets.
|
||||
type SelectMultipleWidget = IPythonWidget SelectMultipleType
|
||||
-- | A 'SelectMultiple' represents a SelectMultiple widget from IPython.html.widgets.
|
||||
type SelectMultiple = IPythonWidget SelectMultipleType
|
||||
|
||||
-- | Create a new SelectMultiple widget
|
||||
mkSelectMultipleWidget :: IO SelectMultipleWidget
|
||||
mkSelectMultipleWidget = do
|
||||
mkSelectMultiple :: IO SelectMultiple
|
||||
mkSelectMultiple = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
let widgetState = WidgetState $ defaultMultipleSelectionWidget "SelectMultipleView"
|
||||
@ -52,15 +52,15 @@ mkSelectMultipleWidget = do
|
||||
return widget
|
||||
|
||||
-- | Artificially trigger a selection
|
||||
triggerSelection :: SelectMultipleWidget -> IO ()
|
||||
triggerSelection :: SelectMultiple -> IO ()
|
||||
triggerSelection widget = join $ getField widget SSelectionHandler
|
||||
|
||||
instance IHaskellDisplay SelectMultipleWidget where
|
||||
instance IHaskellDisplay SelectMultiple where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget SelectMultipleWidget where
|
||||
instance IHaskellWidget SelectMultiple where
|
||||
getCommUUID = uuid
|
||||
comm widget (Object dict1) _ = do
|
||||
let key1 = "sync_data" :: Text
|
||||
|
@ -5,9 +5,9 @@
|
||||
|
||||
module IHaskell.Display.Widgets.String.TextArea (
|
||||
-- * The TextArea Widget
|
||||
TextAreaWidget,
|
||||
TextArea,
|
||||
-- * Constructor
|
||||
mkTextAreaWidget) where
|
||||
mkTextArea) where
|
||||
|
||||
-- To keep `cabal repl` happy when running from the ihaskell repo
|
||||
import Prelude
|
||||
@ -24,12 +24,12 @@ import IHaskell.IPython.Message.UUID as U
|
||||
|
||||
import IHaskell.Display.Widgets.Types
|
||||
|
||||
-- | A 'TextAreaWidget' represents a Textarea widget from IPython.html.widgets.
|
||||
type TextAreaWidget = IPythonWidget TextAreaType
|
||||
-- | A 'TextArea' represents a Textarea widget from IPython.html.widgets.
|
||||
type TextArea = IPythonWidget TextAreaType
|
||||
|
||||
-- | Create a new TextArea widget
|
||||
mkTextAreaWidget :: IO TextAreaWidget
|
||||
mkTextAreaWidget = do
|
||||
mkTextArea :: IO TextArea
|
||||
mkTextArea = do
|
||||
-- Default properties, with a random uuid
|
||||
uuid <- U.random
|
||||
let widgetState = WidgetState $ defaultStringWidget "TextareaView"
|
||||
@ -46,10 +46,10 @@ mkTextAreaWidget = do
|
||||
-- Return the widget
|
||||
return widget
|
||||
|
||||
instance IHaskellDisplay TextAreaWidget where
|
||||
instance IHaskellDisplay TextArea where
|
||||
display b = do
|
||||
widgetSendView b
|
||||
return $ Display []
|
||||
|
||||
instance IHaskellWidget TextAreaWidget where
|
||||
instance IHaskellWidget TextArea where
|
||||
getCommUUID = uuid
|
||||
|
Loading…
x
Reference in New Issue
Block a user