Safe Haskell | None |
---|
- data Message
- = KernelInfoRequest { }
- | KernelInfoReply {
- header :: MessageHeader
- versionList :: [Int]
- language :: String
- | ExecuteRequest {
- header :: MessageHeader
- getCode :: Text
- getSilent :: Bool
- getStoreHistory :: Bool
- getAllowStdin :: Bool
- getUserVariables :: [Text]
- getUserExpressions :: [Text]
- | ExecuteReply { }
- | PublishStatus { }
- | PublishStream { }
- | PublishDisplayData {
- header :: MessageHeader
- source :: String
- displayData :: [DisplayData]
- | PublishOutput { }
- | PublishInput {
- header :: MessageHeader
- inCode :: String
- executionCount :: Int
- | CompleteRequest {
- header :: MessageHeader
- getCode :: Text
- getCodeLine :: Text
- getCursorPos :: Int
- | CompleteReply { }
- | ObjectInfoRequest {
- header :: MessageHeader
- objectName :: Text
- detailLevel :: Int
- | ObjectInfoReply { }
- | ShutdownRequest { }
- | ShutdownReply { }
- | ClearOutput {
- header :: MessageHeader
- wait :: Bool
- | RequestInput { }
- | InputReply { }
- | CommOpen {
- header :: MessageHeader
- commTargetName :: String
- commUuid :: UUID
- commData :: Value
- | CommData { }
- | CommClose { }
- | SendNothing
- data MessageHeader = MessageHeader {}
- data MessageType
- = KernelInfoReplyMessage
- | KernelInfoRequestMessage
- | ExecuteReplyMessage
- | ExecuteRequestMessage
- | StatusMessage
- | StreamMessage
- | DisplayDataMessage
- | OutputMessage
- | InputMessage
- | CompleteRequestMessage
- | CompleteReplyMessage
- | ObjectInfoRequestMessage
- | ObjectInfoReplyMessage
- | ShutdownRequestMessage
- | ShutdownReplyMessage
- | ClearOutputMessage
- | InputRequestMessage
- | InputReplyMessage
- | CommOpenMessage
- | CommDataMessage
- | CommCloseMessage
- type Username = Text
- type Metadata = Map Text Text
- replyType :: MessageType -> Maybe MessageType
- data ExecutionState
- data StreamType
- data MimeType
- data DisplayData = DisplayData MimeType Text
- data EvaluationResult
- = IntermediateResult { }
- | FinalResult { }
- data ExecuteReplyStatus
- data InitInfo = InitInfo {
- extensions :: [String]
- initCells :: [String]
- initDir :: String
- frontend :: FrontendType
- data KernelState = KernelState {}
- data LintStatus
- type Width = Int
- type Height = Int
- data FrontendType
- data ViewFormat
- data Display
- = Display [DisplayData]
- | ManyDisplay [Display]
- defaultKernelState :: KernelState
- extractPlain :: [DisplayData] -> String
- kernelOpts :: [KernelOpt]
- data KernelOpt = KernelOpt {
- getOptionName :: [String]
- getSetName :: [String]
- getUpdateKernelState :: KernelState -> KernelState
- class IHaskellDisplay a where
- class IHaskellDisplay a => IHaskellWidget a where
- data Widget = forall a . IHaskellWidget a => Widget a
- data CommInfo = CommInfo Widget UUID String
Documentation
A message used to communicate with the IPython frontend.
KernelInfoRequest | A request from a frontend for information about the kernel. |
KernelInfoReply | A response to a KernelInfoRequest. |
| |
ExecuteRequest | A request from a frontend to execute some code. |
| |
ExecuteReply | A reply to an execute request. |
| |
PublishStatus | |
| |
PublishStream | |
| |
PublishDisplayData | |
| |
PublishOutput | |
| |
PublishInput | |
| |
CompleteRequest | |
| |
CompleteReply | |
| |
ObjectInfoRequest | |
| |
ObjectInfoReply | |
| |
ShutdownRequest | |
| |
ShutdownReply | |
| |
ClearOutput | |
| |
RequestInput | |
| |
InputReply | |
| |
CommOpen | |
| |
CommData | |
CommClose | |
SendNothing |
data MessageHeader Source
A message header with some metadata.
MessageHeader | |
|
data MessageType Source
The type of a message, corresponding to IPython message types.
replyType :: MessageType -> Maybe MessageTypeSource
Get the reply message type for a request message type.
data ExecutionState Source
The execution state of the kernel.
data DisplayData Source
Data for display: a string with associated MIME type.
data EvaluationResult Source
Output of evaluation.
IntermediateResult | An intermediate result which communicates what has been printed thus far. |
FinalResult | |
data ExecuteReplyStatus Source
Possible statuses in the execution reply messages.
Initialization information for the kernel.
InitInfo | |
|
data KernelState Source
All state stored in the kernel between executions.
KernelState | |
|
data FrontendType Source
Wrapper for ipython-kernel's DisplayData which allows sending multiple results from the same expression.
extractPlain :: [DisplayData] -> StringSource
Kernel options to be set via `:set` and `:option`.
KernelOpt | |
|
class IHaskellDisplay a whereSource
A class for displayable Haskell types.
IHaskell's displaying of results behaves as if these two overlapping/undecidable instances also existed:
instance (Show a) => IHaskellDisplay a instance Show a where shows _ = id
IHaskellDisplay DisplayData | |
IHaskellDisplay Display | |
IHaskellDisplay Widget | |
IHaskellDisplay a => IHaskellDisplay [a] | |
IHaskellDisplay a => IHaskellDisplay (IO a) | these instances cause the image, html etc. which look like: Display [Display] IO [Display] IO (IO Display) be run the IO and get rendered (if the frontend allows it) in the pretty form. |
class IHaskellDisplay a => IHaskellWidget a whereSource
Display as an interactive widget.
targetName :: a -> StringSource
Output target name for this widget. The actual input parameter should be ignored.
Called when the comm is opened. Allows additional messages to be sent after comm open.
:: a | Widget which is being communicated with. |
-> Value | Sent data. |
-> (Value -> IO ()) | Way to respond to the message. |
-> IO () |
Respond to a comm data message.
Close the comm, releasing any resources we might need to.
forall a . IHaskellWidget a => Widget a |