| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
IHaskell.Eval.Widgets
Synopsis
- widgetSendOpen :: IHaskellWidget a => a -> Value -> IO ()
- widgetSendView :: IHaskellWidget a => a -> IO ()
- widgetSendUpdate :: IHaskellWidget a => a -> Value -> IO ()
- widgetSendCustom :: IHaskellWidget a => a -> Value -> IO ()
- widgetSendClose :: IHaskellWidget a => a -> Value -> IO ()
- widgetSendValue :: IHaskellWidget a => a -> Value -> IO ()
- widgetPublishDisplay :: (IHaskellWidget a, IHaskellDisplay b) => a -> b -> IO ()
- widgetClearOutput :: Bool -> IO ()
- relayWidgetMessages :: IO [WidgetMsg]
- widgetHandler :: (Message -> IO ()) -> MessageHeader -> KernelState -> [WidgetMsg] -> IO KernelState
Documentation
widgetSendOpen :: IHaskellWidget a => a -> Value -> IO () Source #
Send a message to open a comm
widgetSendView :: IHaskellWidget a => a -> IO () Source #
Send a [method .= display] comm_msg
widgetSendUpdate :: IHaskellWidget a => a -> Value -> IO () Source #
Send a state update message
widgetSendCustom :: IHaskellWidget a => a -> Value -> IO () Source #
Send a [method .= custom, content .= value] comm_msg
widgetSendClose :: IHaskellWidget a => a -> Value -> IO () Source #
Send a comm_close
widgetSendValue :: IHaskellWidget a => a -> Value -> IO () Source #
Send a custom Value
widgetPublishDisplay :: (IHaskellWidget a, IHaskellDisplay b) => a -> b -> IO () Source #
Send a display_data message as a [method .= custom] message
widgetClearOutput :: Bool -> IO () Source #
Send a clear_output message
relayWidgetMessages :: IO [WidgetMsg] Source #
Return all pending comm_close messages
widgetHandler :: (Message -> IO ()) -> MessageHeader -> KernelState -> [WidgetMsg] -> IO KernelState Source #