mirrors/IHaskell
1
0
Fork 0
mirror of https://github.com/IHaskell/IHaskell.git synced 2025-04-16 11:26:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix formatting issues

Browse Source
This commit is contained in:
Sumit Sahrawat 2015-06-27 03:24:05 +05:30
parent 0c6172d664
commit f19c76ae2f
4 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Dropdown.hs
View File

@ -71,9 +71,7 @@ mkDropdownWidget = do
}
let initData = object
[ "model_name" .= str "WidgetModel"
, "widget_class" .= str "IPython.Dropdown"
]
["model_name" .= str "WidgetModel", "widget_class" .= str "IPython.Dropdown"]
-- Open a comm for this widget, and store it in the kernel state
widgetSendOpen b initData $ toJSON b

6
ihaskell-display/ihaskell-widgets/src/IHaskell/Display/Widgets/Output.hs
View File

@ -37,9 +37,7 @@ import IHaskell.Types (WidgetMethod(..))
import IHaskell.Display.Widgets.Common
data OutputWidget = OutputWidget { uuid :: U.UUID
, width :: IORef PosInt
}
data OutputWidget = OutputWidget { uuid :: U.UUID, width :: IORef PosInt }
mkOutputWidget :: IO OutputWidget
mkOutputWidget = do
@ -50,7 +48,7 @@ mkOutputWidget = do
let b = OutputWidget { uuid = commUUID, width = wdt }
let initData = object [ "model_name" .= str "WidgetModel" ]
let initData = object ["model_name" .= str "WidgetModel"]
-- Open a comm for this widget, and store it in the kernel state
widgetSendOpen b initData (toJSON b)

2
ipython-kernel/src/IHaskell/IPython/Types.hs
View File

@ -115,7 +115,7 @@ instance ToJSON Transport where
-------------------- IPython Kernelspec Types ----------------------
data KernelSpec =
KernelSpec
{
{
-- | Name shown to users to describe this kernel (e.g. "Haskell")
kernelDisplayName :: String
-- | Name for the kernel; unique kernel identifier (e.g. "haskell")

2
src/IHaskell/Types.hs
View File

@ -208,8 +208,8 @@ data WidgetMsg = Open Widget Value Value
|
-- ^ A json object that is sent to the widget without modifications.
DispMsg Widget Display
-- ^ A 'display_data' message, sent as a [method .= custom] comm_msg
|
-- ^ A 'display_data' message, sent as a [method .= custom] comm_msg
ClrOutput Widget Bool
-- ^ A 'clear_output' message, sent as a [method .= custom] comm_msg
deriving (Show, Typeable)