IHaskell.IPython.Types

This module contains all types used to create an IPython language kernel.

IPython kernel profile

data Profile

A kernel profile, specifying how the kernel communicates.

Constructors

Profile

Fields

• ip :: IP

  The IP on which to listen.

• transport :: Transport

  The transport mechanism.

• stdinPort :: Port

  The stdin channel port.

• controlPort :: Port

  The control channel port.

• hbPort :: Port

  The heartbeat channel port.

• shellPort :: Port

  The shell command port.

• iopubPort :: Port

  The IOPub port.

• signatureKey :: ByteString

  The HMAC encryption key.

Instances

FromJSON Profile

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser Profile

parseJSONList :: Value -> Parser [Profile]

ToJSON Profile

Defined in IHaskell.IPython.Types

Methods

toJSON :: Profile -> Value

toEncoding :: Profile -> Encoding

toJSONList :: [Profile] -> Value

toEncodingList :: [Profile] -> Encoding

Read Profile

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS Profile

readList :: ReadS [Profile]

readPrec :: ReadPrec Profile

readListPrec :: ReadPrec [Profile]

Show Profile

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> Profile -> ShowS

show :: Profile -> String

showList :: [Profile] -> ShowS

data Transport

The transport mechanism used to communicate with the IPython frontend.

Constructors

TCP

Default transport mechanism via TCP.

Instances

FromJSON Transport

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser Transport

parseJSONList :: Value -> Parser [Transport]

ToJSON Transport

Defined in IHaskell.IPython.Types

Methods

toJSON :: Transport -> Value

toEncoding :: Transport -> Encoding

toJSONList :: [Transport] -> Value

toEncodingList :: [Transport] -> Encoding

Read Transport

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS Transport

readList :: ReadS [Transport]

readPrec :: ReadPrec Transport

readListPrec :: ReadPrec [Transport]

Show Transport

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> Transport -> ShowS

show :: Transport -> String

showList :: [Transport] -> ShowS

type Port = Int

A TCP port.

type IP = String

An IP address.

IPython kernelspecs

data KernelSpec

Constructors

KernelSpec

Fields

• kernelDisplayName :: String

  Name shown to users to describe this kernel (e.g. Haskell)

• kernelLanguage :: String

  Name for the kernel; unique kernel identifier (e.g. "haskell")

• kernelCommand :: [String]

  Command to run to start the kernel. One of the strings maybe "{connection_file}", which will be replaced by the path to a kernel profile file (see Profile) when the command is run.

Instances

ToJSON KernelSpec

Defined in IHaskell.IPython.Types

Methods

toJSON :: KernelSpec -> Value

toEncoding :: KernelSpec -> Encoding

toJSONList :: [KernelSpec] -> Value

toEncodingList :: [KernelSpec] -> Encoding

Show KernelSpec

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> KernelSpec -> ShowS

show :: KernelSpec -> String

showList :: [KernelSpec] -> ShowS

Eq KernelSpec

Defined in IHaskell.IPython.Types

Methods

(==) :: KernelSpec -> KernelSpec -> Bool

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

IPython messaging protocol

data Message

A message used to communicate with the IPython frontend.

See https://jupyter-client.readthedocs.io/en/stable/messaging.html

Constructors

KernelInfoRequest

A request from a frontend for information about the kernel.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

KernelInfoReply

A response to a KernelInfoRequest.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• protocolVersion :: String

  current protocol version, major and minor

• banner :: String

  Kernel information description e.g. (IHaskell 0.8.3.0 GHC 7.10.2)

• implementation :: String

  e.g. IHaskell

• implementationVersion :: String

  The version of the implementation

• languageInfo :: LanguageInfo
• status :: ExecuteReplyStatus

  The status of the output.

CommInfoRequest

A request from a frontend for information about the comms.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

CommInfoReply

A response to a CommInfoRequest.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• commInfo :: Map String String

  A dictionary of the comms, indexed by uuids.

ExecuteInput

A request from a frontend to execute some code.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• getCode :: Text

  The code string.

• executionCounter :: Int

  The execution count, i.e. which output this is.

ExecuteRequest

A request from a frontend to execute some code.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• getCode :: Text

  The code string.

• getSilent :: Bool

  Whether this should be silently executed.

• getStoreHistory :: Bool

  Whether to store this in history.

• getAllowStdin :: Bool

  Whether this code can use stdin.

• getUserVariables :: [Text]

  Unused.

• getUserExpressions :: [Text]

  Unused.

ExecuteReply

A reply to an execute request.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• status :: ExecuteReplyStatus

  The status of the output.

• pagerOutput :: [DisplayData]

  The mimebundles to display in the pager.

• executionCounter :: Int

  The execution count, i.e. which output this is.

ExecuteResult

A reply to an execute request.

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• dataResult :: [DisplayData]

  Key/value pairs (keys are MIME types)

• metadataResult :: Map String String

  Any metadata that describes the data

• executionCounter :: Int

  The execution count, i.e. which output this is.

ExecuteError

An error reply to an execute request

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• traceback :: [Text]
• ename :: Text
• evalue :: Text

PublishStatus

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• executionState :: ExecutionState

  The execution state of the kernel.

PublishStream

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• streamType :: StreamType

  Which stream to publish to.

• streamContent :: String

  What to publish.

PublishDisplayData

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• displayData :: [DisplayData]

  A list of data representations.

• transient :: Maybe Transient

PublishUpdateDisplayData

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• displayData :: [DisplayData]

  A list of data representations.

• transient :: Maybe Transient

PublishOutput

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• reprText :: String

  Printed output text.

• executionCount :: Int

  Which output this is for.

PublishInput

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inCode :: String

  Submitted input code.

• executionCount :: Int

  Which output this is for.

Input

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• getCode :: Text

  The code string.

• executionCount :: Int

  Which output this is for.

Output

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• getText :: [DisplayData]
• executionCount :: Int

  Which output this is for.

IsCompleteRequest

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inputToReview :: String

  The code entered in the repl.

IsCompleteReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• reviewResult :: CodeReview

  The result of reviewing the code.

CompleteRequest

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• getCode :: Text

  The code string.

• getCursorPos :: Int

  Position of the cursor in unicode characters. json field cursor_pos

CompleteReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• completionMatches :: [Text]
• completionCursorStart :: Int
• completionCursorEnd :: Int
• completionMetadata :: Metadata
• completionStatus :: Bool

InspectRequest

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inspectCode :: Text

  The code context in which introspection is requested

• inspectCursorPos :: Int

  Position of the cursor in unicode characters. json field cursor_pos

• detailLevel :: Int

  Level of detail desired (defaults to 0). 0 is equivalent to foo?, 1 is equivalent to foo??.

InspectReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inspectStatus :: Bool

  whether the request succeeded or failed

• inspectData :: [DisplayData]

  inspectData can be empty if nothing is found

ShutdownRequest

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• restartPending :: Bool

  Whether this shutdown precedes a restart.

ShutdownReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• restartPending :: Bool

  Whether this shutdown precedes a restart.

ClearOutput

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• wait :: Bool

  Whether to wait to redraw until there is more output.

RequestInput

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inputPrompt :: String

InputReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• inputValue :: String

CommOpen

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• commTargetName :: String
• commTargetModule :: String
• commUuid :: UUID
• commData :: Value

CommData

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• commUuid :: UUID
• commData :: Value

CommClose

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• commUuid :: UUID
• commData :: Value

HistoryRequest

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• historyGetOutput :: Bool

  If True, also return output history in the resulting dict.

• historyRaw :: Bool

  If True, return the raw input history, else the transformed input.

• historyAccessType :: HistoryAccessType

  What history is being requested.

HistoryReply

Fields

• header :: MessageHeader

  Unused field retained for backwards compatibility.

• historyReply :: [HistoryReplyElement]

SendNothing

Instances

ToJSON Message

Defined in IHaskell.IPython.Types

Methods

toJSON :: Message -> Value

toEncoding :: Message -> Encoding

toJSONList :: [Message] -> Value

toEncodingList :: [Message] -> Encoding

Show Message

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

data MessageHeader

A message header with some metadata.

Constructors

MessageHeader

Fields

• mhIdentifiers :: [ByteString]

  The identifiers sent with the message.

• mhParentHeader :: Maybe MessageHeader

  The parent header, if present.

• mhMetadata :: Metadata

  A dict of metadata.

• mhMessageId :: UUID

  A unique message UUID.

• mhSessionId :: UUID

  A unique session UUID.

• mhUsername :: Username

  The user who sent this message.

• mhMsgType :: MessageType

  The message type.

• mhBuffers :: [ByteString]

  Extra raw data buffer(s)

Instances

ToJSON MessageHeader

Defined in IHaskell.IPython.Types

Methods

toJSON :: MessageHeader -> Value

toEncoding :: MessageHeader -> Encoding

toJSONList :: [MessageHeader] -> Value

toEncodingList :: [MessageHeader] -> Encoding

Read MessageHeader

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS MessageHeader

readList :: ReadS [MessageHeader]

readPrec :: ReadPrec MessageHeader

readListPrec :: ReadPrec [MessageHeader]

Show MessageHeader

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> MessageHeader -> ShowS

show :: MessageHeader -> String

showList :: [MessageHeader] -> ShowS

type Username = Text

A username for the source of a message.

newtype Transient

Constructors

Transient

Fields

• transientDisplayId :: UUID

Instances

ToJSON Transient

Defined in IHaskell.IPython.Types

Methods

toJSON :: Transient -> Value

toEncoding :: Transient -> Encoding

toJSONList :: [Transient] -> Value

toEncodingList :: [Transient] -> Encoding

Show Transient

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> Transient -> ShowS

show :: Transient -> String

showList :: [Transient] -> ShowS

Eq Transient

Defined in IHaskell.IPython.Types

Methods

(==) :: Transient -> Transient -> Bool

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

data MessageType

The type of a message, corresponding to IPython message types.

Constructors

KernelInfoReplyMessage

KernelInfoRequestMessage

ExecuteInputMessage

ExecuteReplyMessage

ExecuteErrorMessage

ExecuteRequestMessage

ExecuteResultMessage

StatusMessage

StreamMessage

DisplayDataMessage

UpdateDisplayDataMessage

OutputMessage

InputMessage

IsCompleteRequestMessage

IsCompleteReplyMessage

CompleteRequestMessage

CompleteReplyMessage

InspectRequestMessage

InspectReplyMessage

ShutdownRequestMessage

ShutdownReplyMessage

ClearOutputMessage

InputRequestMessage

InputReplyMessage

CommOpenMessage

CommDataMessage

CommInfoRequestMessage

CommInfoReplyMessage

CommCloseMessage

HistoryRequestMessage

HistoryReplyMessage

Instances

FromJSON MessageType

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser MessageType

parseJSONList :: Value -> Parser [MessageType]

Read MessageType

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS MessageType

readList :: ReadS [MessageType]

readPrec :: ReadPrec MessageType

readListPrec :: ReadPrec [MessageType]

Show MessageType

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> MessageType -> ShowS

show :: MessageType -> String

showList :: [MessageType] -> ShowS

Eq MessageType

Defined in IHaskell.IPython.Types

Methods

(==) :: MessageType -> MessageType -> Bool

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

data CodeReview

Constructors

CodeComplete

CodeIncomplete String

String to be used to indent next line of input

CodeInvalid

CodeUnknown

Instances

Show CodeReview

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> CodeReview -> ShowS

show :: CodeReview -> String

showList :: [CodeReview] -> ShowS

type Width = Int

Possible MIME types for the display data.

type Height = Int

data StreamType

Input and output streams.

Constructors

Stdin

Stdout

Stderr

Instances

FromJSON StreamType

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser StreamType

parseJSONList :: Value -> Parser [StreamType]

ToJSON StreamType

Print a stream as "stdin" or "stdout" strings.

Defined in IHaskell.IPython.Types

Methods

toJSON :: StreamType -> Value

toEncoding :: StreamType -> Encoding

toJSONList :: [StreamType] -> Value

toEncodingList :: [StreamType] -> Encoding

Show StreamType

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> StreamType -> ShowS

show :: StreamType -> String

showList :: [StreamType] -> ShowS

data ExecutionState

The execution state of the kernel.

Constructors

Busy

Idle

Starting

Instances

FromJSON ExecutionState

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser ExecutionState

parseJSONList :: Value -> Parser [ExecutionState]

ToJSON ExecutionState

Print an execution state as "busy", "idle", or "starting".

Defined in IHaskell.IPython.Types

Methods

toJSON :: ExecutionState -> Value

toEncoding :: ExecutionState -> Encoding

toJSONList :: [ExecutionState] -> Value

toEncodingList :: [ExecutionState] -> Encoding

Show ExecutionState

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> ExecutionState -> ShowS

show :: ExecutionState -> String

showList :: [ExecutionState] -> ShowS

data ExecuteReplyStatus

Possible statuses in the execution reply messages.

Constructors

Ok

Err

Abort

Instances

FromJSON ExecuteReplyStatus

Defined in IHaskell.IPython.Types

Methods

parseJSON :: Value -> Parser ExecuteReplyStatus

parseJSONList :: Value -> Parser [ExecuteReplyStatus]

Show ExecuteReplyStatus

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> ExecuteReplyStatus -> ShowS

show :: ExecuteReplyStatus -> String

showList :: [ExecuteReplyStatus] -> ShowS

data HistoryAccessType

Ways in which the frontend can request history. TODO: Implement fields as described in messaging spec.

Constructors

HistoryRange

HistoryTail

HistorySearch

Instances

Show HistoryAccessType

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> HistoryAccessType -> ShowS

show :: HistoryAccessType -> String

showList :: [HistoryAccessType] -> ShowS

Eq HistoryAccessType

Defined in IHaskell.IPython.Types

Methods

(==) :: HistoryAccessType -> HistoryAccessType -> Bool

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

data HistoryReplyElement

Reply to history requests.

Constructors

HistoryReplyElement

Fields

• historyReplySession :: Int
• historyReplyLineNumber :: Int
• historyReplyContent :: Either String (String, String)

Instances

Show HistoryReplyElement

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> HistoryReplyElement -> ShowS

show :: HistoryReplyElement -> String

showList :: [HistoryReplyElement] -> ShowS

Eq HistoryReplyElement

Defined in IHaskell.IPython.Types

Methods

(==) :: HistoryReplyElement -> HistoryReplyElement -> Bool

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

data LanguageInfo

Kernel language info, see

• https://jupyter-client.readthedocs.io/en/stable/messaging.html#kernel-info
• https://jupyter-client.readthedocs.io/en/stable/wrapperkernels.html#MyKernel.language_info

Constructors

LanguageInfo

Fields

• languageName :: String

  The language name, e.g. "haskell"

• languageVersion :: String

  GHC 7.6.3

• languageFileExtension :: String

  .hs

• languageCodeMirrorMode :: String

  ihaskell. can be null

• languagePygmentsLexer :: String
• languageMimeType :: String

Instances

ToJSON LanguageInfo

Defined in IHaskell.IPython.Types

Methods

toJSON :: LanguageInfo -> Value

toEncoding :: LanguageInfo -> Encoding

toJSONList :: [LanguageInfo] -> Value

toEncodingList :: [LanguageInfo] -> Encoding

Show LanguageInfo

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> LanguageInfo -> ShowS

show :: LanguageInfo -> String

showList :: [LanguageInfo] -> ShowS

Eq LanguageInfo

Defined in IHaskell.IPython.Types

Methods

(==) :: LanguageInfo -> LanguageInfo -> Bool

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

newtype Metadata

A metadata dictionary.

Constructors

Metadata Object

Instances

ToJSON Metadata

Defined in IHaskell.IPython.Types

Methods

toJSON :: Metadata -> Value

toEncoding :: Metadata -> Encoding

toJSONList :: [Metadata] -> Value

toEncodingList :: [Metadata] -> Encoding

Monoid Metadata

Defined in IHaskell.IPython.Types

Methods

mempty :: Metadata

mappend :: Metadata -> Metadata -> Metadata

mconcat :: [Metadata] -> Metadata

Semigroup Metadata

Defined in IHaskell.IPython.Types

Methods

(<>) :: Metadata -> Metadata -> Metadata

sconcat :: NonEmpty Metadata -> Metadata

stimes :: Integral b => b -> Metadata -> Metadata

Read Metadata

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS Metadata

readList :: ReadS [Metadata]

readPrec :: ReadPrec Metadata

readListPrec :: ReadPrec [Metadata]

Show Metadata

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> Metadata -> ShowS

show :: Metadata -> String

showList :: [Metadata] -> ShowS

replyType :: MessageType -> Maybe MessageType

Get the reply message type for a request message type.

showMessageType :: MessageType -> String

IPython display data message

data DisplayData

Data for display: a string with associated MIME type.

Constructors

DisplayData MimeType Text

Instances

Generic DisplayData

Defined in IHaskell.IPython.Types

Associated Types

type Rep DisplayData :: Type -> Type

Methods

from :: DisplayData -> Rep DisplayData x

to :: Rep DisplayData x -> DisplayData

Show DisplayData

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> DisplayData -> ShowS

show :: DisplayData -> String

showList :: [DisplayData] -> ShowS

Binary DisplayData

Defined in IHaskell.IPython.Types

Methods

put :: DisplayData -> Put

get :: Get DisplayData

putList :: [DisplayData] -> Put

Eq DisplayData

Defined in IHaskell.IPython.Types

Methods

(==) :: DisplayData -> DisplayData -> Bool

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

type Rep DisplayData

Defined in IHaskell.IPython.Types

type Rep DisplayData = D1 ('MetaData "DisplayData" "IHaskell.IPython.Types" "ipython-kernel-0.11.0.0-GlmZ6swXw3x3fGdtSywazY" 'False) (C1 ('MetaCons "DisplayData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MimeType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data MimeType

Constructors

PlainText

MimeHtml

MimeBmp Width Height

MimePng Width Height

MimeJpg Width Height

MimeGif Width Height

MimeSvg

MimeLatex

MimeMarkdown

MimeJavascript

MimeJson

MimeVega

MimeVegalite

MimeVdom

MimeWidget

MimeCustom Text

Instances

Generic MimeType

Defined in IHaskell.IPython.Types

Associated Types

type Rep MimeType :: Type -> Type

Methods

from :: MimeType -> Rep MimeType x

to :: Rep MimeType x -> MimeType

Read MimeType

Defined in IHaskell.IPython.Types

Methods

readsPrec :: Int -> ReadS MimeType

readList :: ReadS [MimeType]

readPrec :: ReadPrec MimeType

readListPrec :: ReadPrec [MimeType]

Show MimeType

Defined in IHaskell.IPython.Types

Methods

showsPrec :: Int -> MimeType -> ShowS

show :: MimeType -> String

showList :: [MimeType] -> ShowS

Binary MimeType

Defined in IHaskell.IPython.Types

Methods

put :: MimeType -> Put

get :: Get MimeType

putList :: [MimeType] -> Put

Eq MimeType

Defined in IHaskell.IPython.Types

Methods

(==) :: MimeType -> MimeType -> Bool

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

type Rep MimeType

Defined in IHaskell.IPython.Types

type Rep MimeType = D1 ('MetaData "MimeType" "IHaskell.IPython.Types" "ipython-kernel-0.11.0.0-GlmZ6swXw3x3fGdtSywazY" 'False) ((((C1 ('MetaCons "PlainText" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeHtml" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MimeBmp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Width) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Height)) :+: C1 ('MetaCons "MimePng" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Width) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Height)))) :+: ((C1 ('MetaCons "MimeJpg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Width) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Height)) :+: C1 ('MetaCons "MimeGif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Width) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Height))) :+: (C1 ('MetaCons "MimeSvg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeLatex" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "MimeMarkdown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeJavascript" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MimeJson" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeVega" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MimeVegalite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeVdom" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MimeWidget" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MimeCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))))

extractPlain :: [DisplayData] -> String

displayDataToJson :: DisplayData -> (Key, Value)

Convert a MIME type and value into a JSON dictionary pair.