Commit 6de64e14 authored by Sumit Sahrawat's avatar Sumit Sahrawat

Add closeWidget for closing widgets

parent 44b39799
...@@ -10,10 +10,18 @@ ...@@ -10,10 +10,18 @@
module IHaskell.Display.Widgets.Common where module IHaskell.Display.Widgets.Common where
import Data.Aeson import Data.Aeson
import Data.Aeson.Types (emptyObject)
import Data.Text (pack, Text) import Data.Text (pack, Text)
import Data.Singletons.TH import Data.Singletons.TH
import IHaskell.Display (IHaskellWidget)
import IHaskell.Eval.Widgets (widgetSendClose)
-- | Close a widget's comm
closeWidget :: IHaskellWidget w => w -> IO ()
closeWidget w = widgetSendClose w emptyObject
-- Widget properties -- Widget properties
singletons [d| singletons [d|
data Field = ViewModule data Field = ViewModule
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment