Safe Haskell	None
Language	Haskell2010

Ghci.Websockets.Simple

Contents

Synopsis

Documentation

This module provides the Message data type, and various constructors for it. It is intended to be used together with the 'html/index.html' file.

Usage

Start a GHCi session and run initialiseDef
Open html/index.html in a browser (it's self-contained, no http server required)
Use broadcastText, broadcastHtml and broadcastPlot to show things in the browser window.

Show a string.

>>> broadcastText "hello"

Insert some HTML into the DOM.

>>> broadcastHtml "<h1>Hello</h1>"

Show a Plotly 2D line plot of the given points.

>>> broadcastPlot [(1, 2), (2, 5), (3, 4), (4, 3)]

>>> broadcastPlot $ fmap (\i -> let i' = (fromIntegral i / 10) in (i', sin i')) [1..100]

Constructors

MsgText Text	A string
MsgHtml Text	An HTML fragment
MsgPlotly [Value] Value	The 'data' and `layout` parameters used for `newPlot` (see https://plot.ly/javascript/plotlyjs-function-reference/#plotlynewplot). The first parameter is a list of Plotly traces (See https://plot.ly/javascript/reference/, "Trace types"), the second parameter is a Plotly layout value (see https://plot.ly/javascript/reference/, Layout)

Instances

ToJSON Message Source #
Instance details Defined in Ghci.Websockets.Simple Methods toJSON :: Message -> Value # toEncoding :: Message -> Encoding # toJSONList :: [Message] -> Value # toEncodingList :: [Message] -> Encoding #