id package:ihaskell

id :: a -> a
ihaskell IHaskellPrelude
Identity function. 
id x = x
Identifier :: String -> CompletionType
ihaskell IHaskell.Eval.Completion
Idle :: ExecutionState
ihaskell IHaskell.Types
class IHaskellDisplay a => IHaskellWidget a
ihaskell IHaskell.Display IHaskell.Types
Display as an interactive widget.
data Widget
ihaskell IHaskell.Display IHaskell.Types
Widget :: a -> Widget
ihaskell IHaskell.Display IHaskell.Types
type Width = Int
ihaskell IHaskell.Display
Possible MIME types for the display data.
getCommUUID :: IHaskellWidget a => a -> UUID
ihaskell IHaskell.Display
Get the uuid for comm associated with this widget. The widget is responsible for storing the UUID during initialization.
widgetdisplay :: String -> DisplayData
ihaskell IHaskell.Display
Generate a Widget display given the uuid and the view version
flushWidgetMessages :: KernelState -> [WidgetMsg] -> (KernelState -> [WidgetMsg] -> IO KernelState) -> Interpreter KernelState
ihaskell IHaskell.Eval.Evaluate
module IHaskell.Eval.Widgets
ihaskell
relayWidgetMessages :: IO [WidgetMsg]
ihaskell IHaskell.Eval.Widgets
Return all pending comm_close messages
widgetClearOutput :: Bool -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a clear_output message
widgetHandler :: (Message -> IO ()) -> MessageHeader -> KernelState -> [WidgetMsg] -> IO KernelState
ihaskell IHaskell.Eval.Widgets
widgetPublishDisplay :: (IHaskellWidget a, IHaskellDisplay b) => a -> b -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a display_data message as a [method .= custom] message
widgetSendClose :: IHaskellWidget a => a -> Value -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a comm_close
widgetSendCustom :: IHaskellWidget a => a -> Value -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a [method .= custom, content .= value] comm_msg
widgetSendOpen :: IHaskellWidget a => a -> Value -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a message to open a comm
widgetSendUpdate :: IHaskellWidget a => a -> Value -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a state update message
widgetSendValue :: IHaskellWidget a => a -> Value -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a custom Value
widgetSendView :: IHaskellWidget a => a -> IO ()
ihaskell IHaskell.Eval.Widgets
Send a [method .= display] comm_msg
DisplayWidget :: WidgetMethod
ihaskell IHaskell.Types
MimeWidget :: MimeType
ihaskell IHaskell.Types
data WidgetMethod
ihaskell IHaskell.Types
data WidgetMsg
ihaskell IHaskell.Types
Send JSON objects with specific formats