IHaskell.Display.Widgets

Documentation

data BoxStyleValue

Predefined styles for box widgets

Constructors

SuccessBox

InfoBox

WarningBox

DangerBox

DefaultBox

Instances

ToJSON BoxStyleValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: BoxStyleValue -> Value

toEncoding :: BoxStyleValue -> Encoding

toJSONList :: [BoxStyleValue] -> Value

toEncodingList :: [BoxStyleValue] -> Encoding

data OrientationValue

Orientation values.

Constructors

HorizontalOrientation

VerticalOrientation

Instances

ToJSON OrientationValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: OrientationValue -> Value

toEncoding :: OrientationValue -> Encoding

toJSONList :: [OrientationValue] -> Value

toEncodingList :: [OrientationValue] -> Encoding

data VideoFormatValue

Video formats for VideoWidget

Constructors

MP4

WEBM

VURL

Instances

ToJSON VideoFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: VideoFormatValue -> Value

toEncoding :: VideoFormatValue -> Encoding

toJSONList :: [VideoFormatValue] -> Value

toEncodingList :: [VideoFormatValue] -> Encoding

Show VideoFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

showsPrec :: Int -> VideoFormatValue -> ShowS

show :: VideoFormatValue -> String

showList :: [VideoFormatValue] -> ShowS

Eq VideoFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

(==) :: VideoFormatValue -> VideoFormatValue -> Bool

(/=) :: VideoFormatValue -> VideoFormatValue -> Bool

data ImageFormatValue

Image formats for ImageWidget

Constructors

PNG

SVG

JPG

IURL

Instances

ToJSON ImageFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: ImageFormatValue -> Value

toEncoding :: ImageFormatValue -> Encoding

toJSONList :: [ImageFormatValue] -> Value

toEncodingList :: [ImageFormatValue] -> Encoding

Show ImageFormatValue

Image formats for ImageWidget

Defined in IHaskell.Display.Widgets.Common

Methods

showsPrec :: Int -> ImageFormatValue -> ShowS

show :: ImageFormatValue -> String

showList :: [ImageFormatValue] -> ShowS

Eq ImageFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

(==) :: ImageFormatValue -> ImageFormatValue -> Bool

(/=) :: ImageFormatValue -> ImageFormatValue -> Bool

data AudioFormatValue

Audio formats for AudioWidget

Constructors

MP3

OGG

WAV

AURL

Instances

ToJSON AudioFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: AudioFormatValue -> Value

toEncoding :: AudioFormatValue -> Encoding

toJSONList :: [AudioFormatValue] -> Value

toEncodingList :: [AudioFormatValue] -> Encoding

Show AudioFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

showsPrec :: Int -> AudioFormatValue -> ShowS

show :: AudioFormatValue -> String

showList :: [AudioFormatValue] -> ShowS

Eq AudioFormatValue

Defined in IHaskell.Display.Widgets.Common

Methods

(==) :: AudioFormatValue -> AudioFormatValue -> Bool

(/=) :: AudioFormatValue -> AudioFormatValue -> Bool

data BarStyleValue

Pre-defined bar styles

Constructors

SuccessBar

InfoBar

WarningBar

DangerBar

DefaultBar

Instances

ToJSON BarStyleValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: BarStyleValue -> Value

toEncoding :: BarStyleValue -> Encoding

toJSONList :: [BarStyleValue] -> Value

toEncodingList :: [BarStyleValue] -> Encoding

data ButtonStyleValue

Pre-defined button styles

Constructors

PrimaryButton

SuccessButton

InfoButton

WarningButton

DangerButton

DefaultButton

Instances

ToJSON ButtonStyleValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: ButtonStyleValue -> Value

toEncoding :: ButtonStyleValue -> Encoding

toJSONList :: [ButtonStyleValue] -> Value

toEncodingList :: [ButtonStyleValue] -> Encoding

data FontWeightValue

Font weight values

Constructors

NormalWeight

BoldWeight

BolderWeight

LighterWeight

InheritWeight

InitialWeight

DefaultWeight

Instances

ToJSON FontWeightValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: FontWeightValue -> Value

toEncoding :: FontWeightValue -> Encoding

toJSONList :: [FontWeightValue] -> Value

toEncodingList :: [FontWeightValue] -> Encoding

data FontStyleValue

Font style values

Constructors

NormalFont

ItalicFont

ObliqueFont

InitialFont

InheritFont

DefaultFont

Instances

ToJSON FontStyleValue

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: FontStyleValue -> Value

toEncoding :: FontStyleValue -> Encoding

toJSONList :: [FontStyleValue] -> Value

toEncodingList :: [FontStyleValue] -> Encoding

newtype PixCount

Transforms the Integer to a String of pixels

Constructors

PixCount Integer

Instances

ToJSON PixCount

Defined in IHaskell.Display.Widgets.Common

Methods

toJSON :: PixCount -> Value

toEncoding :: PixCount -> Encoding

toJSONList :: [PixCount] -> Value

toEncodingList :: [PixCount] -> Encoding

Enum PixCount

Defined in IHaskell.Display.Widgets.Common

Methods

succ :: PixCount -> PixCount

pred :: PixCount -> PixCount

toEnum :: Int -> PixCount

fromEnum :: PixCount -> Int

enumFrom :: PixCount -> [PixCount]

enumFromThen :: PixCount -> PixCount -> [PixCount]

enumFromTo :: PixCount -> PixCount -> [PixCount]

enumFromThenTo :: PixCount -> PixCount -> PixCount -> [PixCount]

Num PixCount

Defined in IHaskell.Display.Widgets.Common

Methods

(+) :: PixCount -> PixCount -> PixCount

(-) :: PixCount -> PixCount -> PixCount

(*) :: PixCount -> PixCount -> PixCount

negate :: PixCount -> PixCount

abs :: PixCount -> PixCount

signum :: PixCount -> PixCount

fromInteger :: Integer -> PixCount

Eq PixCount

Defined in IHaskell.Display.Widgets.Common

Methods

(==) :: PixCount -> PixCount -> Bool

(/=) :: PixCount -> PixCount -> Bool

Ord PixCount

Defined in IHaskell.Display.Widgets.Common

Methods

compare :: PixCount -> PixCount -> Ordering

(<) :: PixCount -> PixCount -> Bool

(<=) :: PixCount -> PixCount -> Bool

(>) :: PixCount -> PixCount -> Bool

(>=) :: PixCount -> PixCount -> Bool

max :: PixCount -> PixCount -> PixCount

min :: PixCount -> PixCount -> PixCount

pattern Style :: () => a ~ 'Style => SField a

Reference to a Style widget with styling customizations

pattern Outputs :: () => a ~ 'Outputs => SField a

The output messages synced from the frontend

pattern MsgID :: () => a ~ 'MsgID => SField a

Parent message id of messages to capture

pattern Source :: () => a ~ 'Source => SField a

The source (widget,field) pair

pattern Target :: () => a ~ 'Target => SField a

The target (widget,field) pair

pattern ButtonWidth :: () => a ~ 'ButtonWidth => SField a

The width of each button

pattern HandleColor :: () => a ~ 'HandleColor => SField a

Color of the slider handle

pattern BarColor :: () => a ~ 'BarColor => SField a

Color of the progress bar

pattern DescriptionWidth :: () => a ~ 'DescriptionWidth => SField a

Width of the description to the side of the control

pattern FontWeight :: () => a ~ 'FontWeight => SField a

The font weight of the text

pattern ButtonColor :: () => a ~ 'ButtonColor => SField a

Color of the button

pattern Axes :: () => a ~ 'Axes => SField a

The axes on the gamepad

pattern Buttons :: () => a ~ 'Buttons => SField a

The button widgets on the gamepad

pattern Timestamp :: () => a ~ 'Timestamp => SField a

The last time the data from this gamepad was updated

pattern Connected :: () => a ~ 'Connected => SField a

Whether the gamepad is connected

pattern Mapping :: () => a ~ 'Mapping => SField a

The name of the control mapping

pattern Name :: () => a ~ 'Name => SField a

The name of the controller

pattern Pressed :: () => a ~ 'Pressed => SField a

Whether the button is pressed

pattern DateValue :: () => a ~ 'DateValue => SField a

The value of the widget in date format

pattern Concise :: () => a ~ 'Concise => SField a

Display the short version of the selector

pattern ShowRepeat :: () => a ~ 'ShowRepeat => SField a

Show the repeat toggle button on the widget

pattern Interval :: () => a ~ 'Interval => SField a

The maximum interval for the play control

pattern Repeat :: () => a ~ 'Repeat => SField a

Whether the control will repeat in a continuous loop

pattern Playing :: () => a ~ 'Playing => SField a

Whether the control is currently playing

pattern EnsureOption :: () => a ~ 'EnsureOption => SField a

If set, ensure the value is in options

pattern Options :: () => a ~ 'Options => SField a

Dropdown options for the combobox

pattern Controls :: () => a ~ 'Controls => SField a

Specifies that video controls should be displayed

pattern Loop :: () => a ~ 'Loop => SField a

When true, the video starts from the beginning after finishing

pattern AutoPlay :: () => a ~ 'AutoPlay => SField a

When true, the video starts on display

pattern VideoFormat :: () => a ~ 'VideoFormat => SField a

The format of the image

pattern AudioFormat :: () => a ~ 'AudioFormat => SField a

The format of the audio

pattern Rows :: () => a ~ 'Rows => SField a

The number of rows to display

pattern ContinuousUpdate :: () => a ~ 'ContinuousUpdate => SField a

Update the value as the user types. If false, update on submission.

pattern Indent :: () => a ~ 'Indent => SField a

Indent the control to align with other controls with a description

pattern ReadOutMsg :: () => a ~ 'ReadOutMsg => SField a

Message displayed when the value is false

pattern SelectedIndex :: () => a ~ 'SelectedIndex => SField a

The index of the selected page. Is nothing if no widgets are selected.

pattern Titles :: () => a ~ 'Titles => SField a

Titles of the pages

pattern BoxStyle :: () => a ~ 'BoxStyle => SField a

Use a predefined styling for the box

pattern Children :: () => a ~ 'Children => SField a

List of widget children

pattern ChangeHandler :: () => a ~ 'ChangeHandler => SField a

A method called when the value changes in the fronted

pattern BarStyle :: () => a ~ 'BarStyle => SField a

Use a predefined styling for the bar

pattern ReadOutFormat :: () => a ~ 'ReadOutFormat => SField a

The format of the readout

pattern ReadOut :: () => a ~ 'ReadOut => SField a

Whether to display the current value of the widget next to it

pattern BaseFloat :: () => a ~ 'BaseFloat => SField a

The logarithmic base of the widget

pattern Orientation :: () => a ~ 'Orientation => SField a

Orientation of the widget

pattern UpperFloat :: () => a ~ 'UpperFloat => SField a

Max value of a range widget

pattern LowerFloat :: () => a ~ 'LowerFloat => SField a

Min value of a range widget

pattern FloatPairValue :: () => a ~ 'FloatPairValue => SField a

Value of the widget as a float pair

pattern MinFloat :: () => a ~ 'MinFloat => SField a

Min value

pattern MaxFloat :: () => a ~ 'MaxFloat => SField a

Max value

pattern StepFloat :: () => a ~ 'StepFloat => SField a

Minimum step to increment the value

pattern FloatValue :: () => a ~ 'FloatValue => SField a

Value of the widget (float)

pattern UpperInt :: () => a ~ 'UpperInt => SField a

Max value on a range widget

pattern LowerInt :: () => a ~ 'LowerInt => SField a

Min value on a range widget

pattern IntPairValue :: () => a ~ 'IntPairValue => SField a

The value of the widget as an int pair

pattern MinInt :: () => a ~ 'MinInt => SField a

Min value

pattern MaxInt :: () => a ~ 'MaxInt => SField a

Max value

pattern StepInt :: () => a ~ 'StepInt => SField a

Minimum step to increment the value

pattern IntValue :: () => a ~ 'IntValue => SField a

The value of the widget of type int

pattern Indices :: () => a ~ 'Indices => SField a

Selected indices

pattern Icons :: () => a ~ 'Icons => SField a

Icons names for each button (FontAwesome names without the fa- prefix)

pattern Tooltips :: () => a ~ 'Tooltips => SField a

Tooltips for each button

pattern SelectionHandler :: () => a ~ 'SelectionHandler => SField a

Method to be called when something is chosen

pattern Index :: () => a ~ 'Index => SField a

The index of the controller

pattern OptionalIndex :: () => a ~ 'OptionalIndex => SField a

Selected index, can be Nothing

pattern OptionsLabels :: () => a ~ 'OptionsLabels => SField a

The labels for the options

pattern BoolValue :: () => a ~ 'BoolValue => SField a

The value of the widget of type bool

pattern ImageFormat :: () => a ~ 'ImageFormat => SField a

The format of the image

pattern BSValue :: () => a ~ 'BSValue => SField a

Value of the widget of type bytestring

pattern ButtonStyle :: () => a ~ 'ButtonStyle => SField a

Predefined styling for the button

pattern Icon :: () => a ~ 'Icon => SField a

The font-awesome icon without the fa-

pattern Tooltip :: () => a ~ 'Tooltip => SField a

Tooltip for the description

pattern Placeholder :: () => a ~ 'Placeholder => SField a

Placeholder text to display if nothing has been typed yet

pattern StringValue :: () => a ~ 'StringValue => SField a

The value of the widget, of type string

pattern Disabled :: () => a ~ 'Disabled => SField a

Whether the widget appears as disabled on the frontend

pattern SubmitHandler :: () => a ~ 'SubmitHandler => SField a

Method to be called on submit

pattern ClickHandler :: () => a ~ 'ClickHandler => SField a

Method to be called on click

pattern Description :: () => a ~ 'Description => SField a

Description of the control

pattern Height :: () => a ~ 'Height => SField a

Height of the video/image in pixels

pattern Width :: () => a ~ 'Width => SField a

Width of the video/image in pixels

pattern Layout :: () => a ~ 'Layout => SField a

Reference to a Layout widget

pattern DOMClasses :: () => a ~ 'DOMClasses => SField a

CSS classes applied to widget DOM element

pattern DisplayHandler :: () => a ~ 'DisplayHandler => SField a

A method to be called on display

pattern ModelName :: () => a ~ 'ModelName => SField a

The model name

pattern ModelModuleVersion :: () => a ~ 'ModelModuleVersion => SField a

The model module version

pattern ModelModule :: () => a ~ 'ModelModule => SField a

The model module string

pattern ViewName :: () => a ~ 'ViewName => SField a

The view name

pattern ViewModuleVersion :: () => a ~ 'ViewModuleVersion => SField a

The view module version

pattern ViewModule :: () => a ~ 'ViewModule => SField a

The view module string

closeWidget :: IHaskellWidget w => w -> IO ()

Close a widget's comm

nestedObjectLookup :: Value -> [Text] -> Maybe Value

Makes a lookup on a value given a path of strings to follow

data OutputMsg

Constructors

OutputStream StreamType Text

OutputData Display

Instances

ToJSON OutputMsg

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: OutputMsg -> Value

toEncoding :: OutputMsg -> Encoding

toJSONList :: [OutputMsg] -> Value

toEncodingList :: [OutputMsg] -> Encoding

Show OutputMsg

Defined in IHaskell.Display.Widgets.Types

Methods

showsPrec :: Int -> OutputMsg -> ShowS

show :: OutputMsg -> String

showList :: [OutputMsg] -> ShowS

data Date

The date class from IPython

Constructors

NullDate

No date specified. used by default

Date Integer Integer Integer

Date year month day

Instances

FromJSON Date

Defined in IHaskell.Display.Widgets.Types

Methods

parseJSON :: Value -> Parser Date

parseJSONList :: Value -> Parser [Date]

ToJSON Date

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: Date -> Value

toEncoding :: Date -> Encoding

toJSONList :: [Date] -> Value

toEncodingList :: [Date] -> Encoding

Show Date

Defined in IHaskell.Display.Widgets.Types

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

Eq Date

Defined in IHaskell.Display.Widgets.Types

Methods

(==) :: Date -> Date -> Bool

(/=) :: Date -> Date -> Bool

Ord Date

Defined in IHaskell.Display.Widgets.Types

Methods

compare :: Date -> Date -> Ordering

(<) :: Date -> Date -> Bool

(<=) :: Date -> Date -> Bool

(>) :: Date -> Date -> Bool

(>=) :: Date -> Date -> Bool

max :: Date -> Date -> Date

min :: Date -> Date -> Date

newtype JSONByteString

Constructors

JSONByteString ByteString

Instances

ToJSON JSONByteString

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: JSONByteString -> Value

toEncoding :: JSONByteString -> Encoding

toJSONList :: [JSONByteString] -> Value

toEncodingList :: [JSONByteString] -> Encoding

IsString JSONByteString

Defined in IHaskell.Display.Widgets.Types

Methods

fromString :: String -> JSONByteString

Eq JSONByteString

Defined in IHaskell.Display.Widgets.Types

Methods

(==) :: JSONByteString -> JSONByteString -> Bool

(/=) :: JSONByteString -> JSONByteString -> Bool

Ord JSONByteString

Defined in IHaskell.Display.Widgets.Types

Methods

compare :: JSONByteString -> JSONByteString -> Ordering

(<) :: JSONByteString -> JSONByteString -> Bool

(<=) :: JSONByteString -> JSONByteString -> Bool

(>) :: JSONByteString -> JSONByteString -> Bool

(>=) :: JSONByteString -> JSONByteString -> Bool

max :: JSONByteString -> JSONByteString -> JSONByteString

min :: JSONByteString -> JSONByteString -> JSONByteString

data WidgetFieldPair

This type only fits if the field is among the widget's fields, and it has a key

Constructors

forall w f.(f ∈ WidgetFields w, HasKey f ~ 'True, RecAll Attr (WidgetFields w) ToPairs) => WidgetFieldPair (IPythonWidget w) (SField f)

EmptyWT

Instances

ToJSON WidgetFieldPair

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: WidgetFieldPair -> Value

toEncoding :: WidgetFieldPair -> Encoding

toJSONList :: [WidgetFieldPair] -> Value

toEncodingList :: [WidgetFieldPair] -> Encoding

data StyleWidget

Can be used to put different styles in a same FieldType.

Constructors

forall w.RecAll Attr (WidgetFields w) ToPairs => StyleWidget (IPythonWidget w)

Instances

ToJSON StyleWidget

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: StyleWidget -> Value

toEncoding :: StyleWidget -> Encoding

toJSONList :: [StyleWidget] -> Value

toEncodingList :: [StyleWidget] -> Encoding

data ChildWidget

Can be used to put different widgets in a list. Useful for dealing with children widgets.

Constructors

forall w.RecAll Attr (WidgetFields w) ToPairs => ChildWidget (IPythonWidget w)

Instances

ToJSON ChildWidget

Defined in IHaskell.Display.Widgets.Types

Methods

toJSON :: ChildWidget -> Value

toEncoding :: ChildWidget -> Encoding

toJSONList :: [ChildWidget] -> Value

toEncodingList :: [ChildWidget] -> Encoding

setField :: (f ∈ WidgetFields w, IHaskellWidget (IPythonWidget w), ToPairs (Attr f)) => IPythonWidget w -> SField f -> FieldType f -> IO ()

Change the value for a field, and notify the frontend about it. Doesn't work if the field is read only.

getField :: f ∈ WidgetFields w => IPythonWidget w -> SField f -> IO (FieldType f)

Get the value of a field.

properties :: IPythonWidget w -> IO ()

Displays on stdout the properties (and its types) of a given widget

triggerChange :: 'ChangeHandler ∈ WidgetFields w => IPythonWidget w -> IO ()

Called when the value of an attribute is changed on the front-end

triggerClick :: 'ClickHandler ∈ WidgetFields w => IPythonWidget w -> IO ()

Called when the button is clicked

triggerSelection :: 'SelectionHandler ∈ WidgetFields w => IPythonWidget w -> IO ()

Called when a selection is made in a selection widget

triggerSubmit :: 'SubmitHandler ∈ WidgetFields w => IPythonWidget w -> IO ()

Called when the text is submited in a text widget (or combobox/password)

triggerDisplay :: 'DisplayHandler ∈ WidgetFields w => IPythonWidget w -> IO ()

Called when the widget is displayed on the notebook

unlink :: ('Source ∈ WidgetFields w, 'Target ∈ WidgetFields w, IHaskellWidget (IPythonWidget w)) => IPythonWidget w -> IO (IPythonWidget w)

Allows you to unlink a jslink

type ToggleButtonsStyle = IPythonWidget 'ToggleButtonsStyleType

A ToggleButtonsStyle represents a Button Style from IPython.html.widgets.

mkToggleButtonsStyle :: IO ToggleButtonsStyle

Create a new button style

type SliderStyle = IPythonWidget 'SliderStyleType

A SliderStyle represents a Button Style from IPython.html.widgets.

mkSliderStyle :: IO SliderStyle

Create a new button style

type ProgressStyle = IPythonWidget 'ProgressStyleType

A ProgressStyle represents a Button Style from IPython.html.widgets.

mkProgressStyle :: IO ProgressStyle

Create a new button style

type DescriptionStyle = IPythonWidget 'DescriptionStyleType

A DescriptionStyle represents a Button Style from IPython.html.widgets.

mkDescriptionStyle :: IO DescriptionStyle

Create a new button style

type ButtonStyle = IPythonWidget 'ButtonStyleType

A ButtonStyle represents a Button Style from IPython.html.widgets.

mkButtonStyle :: IO ButtonStyle

Create a new button style

type Link = IPythonWidget 'LinkType

An Link represents a Link widget from IPython.html.widgets.

mkLink :: IO Link

Create a new link widget

jslink :: WidgetFieldPair -> WidgetFieldPair -> IO Link

An easier constructor that links two widgets

type DirectionalLink = IPythonWidget 'DirectionalLinkType

An DirectionalLink represents a DirectionalLink widget from IPython.html.widgets.

mkDirectionalLink :: IO DirectionalLink

Create a new DirectionalLink widget

jsdlink :: WidgetFieldPair -> WidgetFieldPair -> IO DirectionalLink

An easier constructor that links two widgets

type TextArea = IPythonWidget 'TextAreaType

A TextArea represents a Textarea widget from IPython.html.widgets.

mkTextArea :: IO TextArea

Create a new TextArea widget

type TextWidget = IPythonWidget 'TextType

A TextWidget represents a Text widget from IPython.html.widgets.

mkText :: IO TextWidget

Create a new Text widget

type PasswordWidget = IPythonWidget 'PasswordType

A PasswordWidget represents a Password widget from IPython.html.widgets.

mkPassword :: IO PasswordWidget

Create a new Password widget

type LabelWidget = IPythonWidget 'LabelType

A LabelWidget represents a Label widget from IPython.html.widgets.

mkLabel :: IO LabelWidget

Create a new Label widget

type HTMLMathWidget = IPythonWidget 'HTMLMathType

A HTMLMathWidget represents a HTML Math widget from IPython.html.widgets.

mkHTMLMath :: IO HTMLMathWidget

Create a new HTML widget

type HTMLWidget = IPythonWidget 'HTMLType

A HTMLWidget represents a HTML widget from IPython.html.widgets.

mkHTML :: IO HTMLWidget

Create a new HTML widget

type ComboboxWidget = IPythonWidget 'ComboboxType

A ComboboxWidget represents a Combobox widget from IPython.html.widgets.

mkCombobox :: IO ComboboxWidget

Create a new Combobox widget

type ToggleButtons = IPythonWidget 'ToggleButtonsType

A ToggleButtons represents a ToggleButtons widget from IPython.html.widgets.

mkToggleButtons :: IO ToggleButtons

Create a new ToggleButtons widget

type SelectionSlider = IPythonWidget 'SelectionSliderType

A SelectionSlider represents a SelectionSlider widget from IPyhon.widgets

mkSelectionSlider :: IO SelectionSlider

Create a new SelectionSLider widget

type SelectionRangeSlider = IPythonWidget 'SelectionRangeSliderType

A SelectionRangeSlider represents a SelectionSlider widget from IPyhon.widgets

mkSelectionRangeSlider :: IO SelectionRangeSlider

Create a new SelectionRangeSlider widget

type SelectMultiple = IPythonWidget 'SelectMultipleType

A SelectMultiple represents a SelectMultiple widget from IPython.html.widgets.

mkSelectMultiple :: IO SelectMultiple

Create a new SelectMultiple widget

type Select = IPythonWidget 'SelectType

A Select represents a Select widget from IPython.html.widgets.

mkSelect :: IO Select

Create a new Select widget

type RadioButtons = IPythonWidget 'RadioButtonsType

A RadioButtons represents a RadioButtons widget from IPython.html.widgets.

mkRadioButtons :: IO RadioButtons

Create a new RadioButtons widget

type Dropdown = IPythonWidget 'DropdownType

A Dropdown represents a Dropdown widget from IPython.html.widgets.

mkDropdown :: IO Dropdown

Create a new Dropdown widget

type OutputWidget = IPythonWidget 'OutputType

An OutputWidget represents a Output widget from IPython.html.widgets.

mkOutput :: IO OutputWidget

Create a new output widget

appendStdout :: OutputWidget -> Text -> IO ()

Appends text to the stdout of an output widget

appendStderr :: OutputWidget -> Text -> IO ()

Appends text to the stderr of an output widget

appendDisplay :: IHaskellDisplay a => OutputWidget -> a -> IO ()

Appends anything displayable to an output widget

clearOutput :: OutputWidget -> IO ()

Clear the output widget immediately

clearOutput_ :: OutputWidget -> IO ()

Clear the output widget on next append

replaceOutput :: IHaskellDisplay a => OutputWidget -> a -> IO ()

Replace the currently displayed output for output widget

type VideoWidget = IPythonWidget 'VideoType

An VideoWidget represents a video widget from IPython.html.widgets.

mkVideo :: IO VideoWidget

Create a new video widget

type ImageWidget = IPythonWidget 'ImageType

An ImageWidget represents a Image widget from IPython.html.widgets.

mkImage :: IO ImageWidget

Create a new image widget

type AudioWidget = IPythonWidget 'AudioType

An AudioWidget represents a Audio widget from IPython.html.widgets.

mkAudio :: IO AudioWidget

Create a new audio widget

type IntText = IPythonWidget 'IntTextType

IntText represents an IntText widget from IPython.html.widgets.

mkIntText :: IO IntText

Create a new widget

type IntRangeSlider = IPythonWidget 'IntRangeSliderType

IntRangeSlider represents an IntRangeSlider widget from IPython.html.widgets.

mkIntRangeSlider :: IO IntRangeSlider

Create a new widget

type Play = IPythonWidget 'PlayType

Play represents an Play widget from IPython.html.widgets.

mkPlay :: IO Play

Create a new widget

type IntSlider = IPythonWidget 'IntSliderType

IntSlider represents an IntSlider widget from IPython.html.widgets.

mkIntSlider :: IO IntSlider

Create a new widget

type IntProgress = IPythonWidget 'IntProgressType

IntProgress represents an IntProgress widget from IPython.html.widgets.

mkIntProgress :: IO IntProgress

Create a new widget

type BoundedIntText = IPythonWidget 'BoundedIntTextType

BoundedIntText represents an BoundedIntText widget from IPython.html.widgets.

mkBoundedIntText :: IO BoundedIntText

Create a new widget

type FloatText = IPythonWidget 'FloatTextType

FloatText represents an FloatText widget from IPython.html.widgets.

mkFloatText :: IO FloatText

Create a new widget

type FloatRangeSlider = IPythonWidget 'FloatRangeSliderType

FloatRangeSlider represents an FloatRangeSlider widget from IPython.html.widgets.

mkFloatRangeSlider :: IO FloatRangeSlider

Create a new widget

type FloatSlider = IPythonWidget 'FloatSliderType

FloatSlider represents an FloatSlider widget from IPython.html.widgets.

mkFloatSlider :: IO FloatSlider

Create a new widget

type FloatProgress = IPythonWidget 'FloatProgressType

FloatProgress represents an FloatProgress widget from IPython.html.widgets.

mkFloatProgress :: IO FloatProgress

Create a new widget

type FloatLogSlider = IPythonWidget 'FloatLogSliderType

FloatLogSlider represents an FloatLogSlider widget from IPython.html.widgets.

mkFloatLogSlider :: IO FloatLogSlider

Create a new widget

type BoundedFloatText = IPythonWidget 'BoundedFloatTextType

BoundedFloatText represents an BoundedFloatText widget from IPython.html.widgets.

mkBoundedFloatText :: IO BoundedFloatText

Create a new widget

type DatePicker = IPythonWidget 'DatePickerType

A DatePicker represents a DatePicker from IPython.html.widgets.

mkDatePicker :: IO DatePicker

Create a new DatePicker

type ControllerButton = IPythonWidget 'ControllerButtonType

ControllerButton represents an ControllerButton widget from IPython.html.widgets.

mkControllerButton :: IO ControllerButton

Create a new widget

type ControllerAxis = IPythonWidget 'ControllerAxisType

ControllerAxis represents an ControllerAxis widget from IPython.html.widgets.

mkControllerAxis :: IO ControllerAxis

Create a new widget

type Controller = IPythonWidget 'ControllerType

Controller represents an Controller widget from IPython.html.widgets.

mkController :: IO Controller

Create a new widget

type ColorPicker = IPythonWidget 'ColorPickerType

A ColorPicker represents a ColorPicker from IPython.html.widgets.

mkColorPicker :: IO ColorPicker

Create a new ColorPicker

type Button = IPythonWidget 'ButtonType

A Button represents a Button from IPython.html.widgets.

mkButton :: IO Button

Create a new button

type VBox = IPythonWidget 'VBoxType

A VBox represents a VBox widget from IPython.html.widgets.

mkVBox :: IO VBox

Create a new VBox

type TabWidget = IPythonWidget 'TabType

A TabWidget represents a Tab widget from IPython.html.widgets.

mkTab :: IO TabWidget

Create a new box

type Accordion = IPythonWidget 'AccordionType

A Accordion represents a Accordion widget from IPython.html.widgets.

mkAccordion :: IO Accordion

Create a new box

type HBox = IPythonWidget 'HBoxType

A HBox represents a HBox widget from IPython.html.widgets.

mkHBox :: IO HBox

Create a new HBox

type GridBox = IPythonWidget 'GridBoxType

A GridBox represents a GridBox widget from IPython.html.widgets.

mkGridBox :: IO GridBox

Create a new GridBox

type Box = IPythonWidget 'BoxType

A Box represents a Box widget from IPython.html.widgets.

mkBox :: IO Box

Create a new box

type ValidWidget = IPythonWidget 'ValidType

A ValidWidget represents a Valid widget from IPython.html.widgets.

mkValid :: IO ValidWidget

Create a new output widget

type ToggleButton = IPythonWidget 'ToggleButtonType

A ToggleButton represents a ToggleButton widget from IPython.html.widgets.

mkToggleButton :: IO ToggleButton

Create a new output widget

type CheckBox = IPythonWidget 'CheckBoxType

A CheckBox represents a Checkbox widget from IPython.html.widgets.

mkCheckBox :: IO CheckBox

Create a new output widget