Merge branch 'dev' into dev-ngrams-refactoring

src/Gargantext/Components/Forest/Tree.purs

@@ -24,8 +24,7 @@ import Gargantext.Sessions (OpenNodes, Session, mkNodeId)
 import Gargantext.Types as GT
 
 type CommonProps =
-  (
-      frontends :: Frontends
+  ( frontends     :: Frontends
   , mCurrentRoute :: Maybe AppRoute
   , openNodes     :: R.State OpenNodes
   , reload        :: R.State Reload
@@ -154,8 +153,7 @@ childNodes props@{ children } =
       el = R.hooksComponent "ChildNodeView" cpt
       cpt {tree, asyncTasks} _ = do
         tasks <- R.useState' asyncTasks
-        pure $ toHtml (Record.merge commonProps
-                                    { tasks, tree })
+        pure $ toHtml (Record.merge commonProps { tasks, tree })
 
 type PerformActionProps =
   ( openNodes :: R.State OpenNodes
@@ -192,9 +190,12 @@ performAction p@{ reload: (_ /\ setReload)
 
 performAction p@{ openNodes: (_ /\ setOpenNodes)
                 , reload:    (_ /\ setReload)
+                , tasks:     (_ /\ setAsyncTasks)
                 , session
                 , tree: (NTree (LNode {id}) _) } (CreateSubmit name nodeType) = do
-  void $ createNode session id $ CreateValue {name, nodeType}
+  -- task <- createNodeAsync session id $ CreateValue {name, nodeType}
+  task <- createNode session id $ CreateValue {name, nodeType}
+  -- liftEffect $ setAsyncTasks $ A.cons task
   liftEffect do
     setOpenNodes (Set.insert (mkNodeId session id))
   performAction p RefreshTree

src/Gargantext/Components/Forest/Tree/Node.purs

@@ -16,9 +16,12 @@ filterWithRights (show action if user can only)
 -}
 ------------------------------------------------------------------------
 ------------------------------------------------------------------------
+
+data Status a = IsBeta a | IsProd a
+
 data NodeAction = Documentation NodeType
                 | SearchBox
-                | Download | Upload | Refresh
+                | Download | Upload | Refresh | Config
                 | Move     | Clone  | Delete
                 | Share    | Link NodeType
                 | Add (Array NodeType)
@@ -38,6 +41,7 @@ instance eqNodeAction :: Eq NodeAction where
   eq (Link x) (Link y) = true && (x == y)
   eq (Add  x) (Add  y) = true && (x == y)
   eq CopyFromCorpus CopyFromCorpus = true
+  eq Config Config     = true
   eq _ _               = false
 
 instance showNodeAction :: Show NodeAction where
@@ -50,6 +54,7 @@ instance showNodeAction :: Show NodeAction where
   show Clone             = "Clone"
   show Delete            = "Delete"
   show Share             = "Share"
+  show Config            = "Config"
   show (Link x)          = "Link to " <> show x
   show (Add xs)          = foldl (\a b -> a <> show b) "Add " xs
   show CopyFromCorpus    = "Copy from corpus"
@@ -64,10 +69,11 @@ glyphiconNodeAction Upload            = "upload"
 glyphiconNodeAction (Link _)          = "transfer"
 glyphiconNodeAction Download          = "download"
 glyphiconNodeAction CopyFromCorpus    = "random"
+glyphiconNodeAction Refresh           = "refresh"
+glyphiconNodeAction Config            = "wrench"
 glyphiconNodeAction _                 = ""
 
 
-------------------------------------------------------------------------
 ------------------------------------------------------------------------
 data SettingsBox =
   SettingsBox { show    :: Boolean
@@ -79,14 +85,14 @@ data SettingsBox =
 
 settingsBox :: NodeType -> SettingsBox
 settingsBox NodeUser = SettingsBox {
-    show: true
+    show : true
   , edit : false
   , doc  : Documentation NodeUser
   , buttons : [ Delete ]
   }
 
 settingsBox FolderPrivate = SettingsBox {
-    show: true
+    show : true
   , edit : false
   , doc  : Documentation FolderPrivate
   , buttons : [ Add [ Corpus
@@ -97,7 +103,7 @@ settingsBox FolderPrivate = SettingsBox {
   }
 
 settingsBox Team = SettingsBox {
-    show: true
+    show : true
   , edit : true
   , doc  : Documentation Team
   , buttons : [ Add [ Corpus
@@ -108,7 +114,7 @@ settingsBox Team = SettingsBox {
   }
 
 settingsBox FolderShared = SettingsBox {
-    show: true
+    show : true
   , edit : true
   , doc  : Documentation FolderShared
   , buttons : [ Add [Team, FolderShared]
@@ -117,7 +123,7 @@ settingsBox FolderShared = SettingsBox {
   }
 
 settingsBox FolderPublic = SettingsBox {
-    show: true
+    show : true
   , edit : false
   , doc  : Documentation FolderPublic
   , buttons : [ Add [ Corpus
@@ -126,8 +132,8 @@ settingsBox FolderPublic = SettingsBox {
     ]
   }
 
-settingsBox Folder = SettingsBox {
-    show: true
+settingsBox Folder =
+  SettingsBox { show : true
               , edit : true
               , doc  : Documentation Folder
               , buttons : [ Add [ Corpus
@@ -138,8 +144,8 @@ settingsBox Folder = SettingsBox {
                           ]
               }
 
-settingsBox Corpus = SettingsBox {
-    show: true
+settingsBox Corpus =
+  SettingsBox { show : true
               , edit : true
               , doc  : Documentation Corpus
               , buttons : [ SearchBox
@@ -157,45 +163,50 @@ settingsBox Corpus = SettingsBox {
                           ]
               }
 
-settingsBox Texts = SettingsBox {
-    show: true
+settingsBox Texts =
+  SettingsBox { show : true
               , edit : false
               , doc  : Documentation Texts
-  , buttons : [ Upload
+              , buttons : [ Refresh
+                          , Upload
                           , Download
                           -- , Delete
                           ]
               }
 
-settingsBox Graph = SettingsBox {
-    show: true
+settingsBox Graph =
+  SettingsBox { show : true
               , edit : false
               , doc  : Documentation Graph
-  , buttons : [ Download -- TODO as GEXF or JSON
+              , buttons : [ Refresh
+                          , Config
+                          , Download -- TODO as GEXF or JSON
                           , Delete
                           ]
               }
 
-settingsBox NodeList = SettingsBox {
-    show: true
+settingsBox NodeList =
+  SettingsBox { show : true
               , edit : false
               , doc  : Documentation NodeList
-  , buttons : [ Upload
-              , CopyFromCorpus
+              , buttons : [ Refresh
+                          , Config
                           , Download
-              -- , Delete
+                          , Upload
+                          , CopyFromCorpus
+                          , Delete
                           ]
               }
 
-settingsBox Dashboard = SettingsBox {
-    show: true
+settingsBox Dashboard =
+  SettingsBox { show : true
               , edit : false
               , doc  : Documentation Dashboard
               , buttons : []
               }
 
-settingsBox Annuaire = SettingsBox {
-    show: true
+settingsBox Annuaire =
+  SettingsBox { show : true
               , edit : false
               , doc  : Documentation Annuaire
               , buttons : [ Upload
@@ -203,8 +214,8 @@ settingsBox Annuaire = SettingsBox {
                           ]
               }
 
-settingsBox _ = SettingsBox {
-    show: false
+settingsBox _ =
+  SettingsBox { show : false
               , edit : false
               , doc  : Documentation NodeUser
               , buttons : []

src/Gargantext/Components/Forest/Tree/Node/Action.purs

@@ -12,6 +12,7 @@ import Prelude hiding (div)
 import Gargantext.Components.Lang (Lang)
 import Gargantext.Routes (SessionRoute(..))
 import Gargantext.Sessions (Session, get, put, post, delete)
+import Gargantext.Routes as GR
 import Gargantext.Types  as GT
 
 data Action = CreateSubmit String GT.NodeType
@@ -61,6 +62,16 @@ type UploadFile = {
 createNode :: Session -> ID -> CreateValue -> Aff (Array ID)
 createNode session parentId = post session $ NodeAPI GT.Node (Just parentId) ""
 
+createNodeAsync :: Session
+                -> ID
+                -> CreateValue
+                -> Aff GT.AsyncTaskWithType
+createNodeAsync session parentId q = do
+  task <- post session p q
+  pure $ GT.AsyncTaskWithType {task, typ: GT.CreateNode}
+  where
+    p = GR.NodeAPI GT.Node (Just parentId) (GT.asyncTaskTypePath GT.CreateNode)
+
 renameNode :: Session -> ID -> RenameValue -> Aff (Array ID)
 renameNode session renameNodeId = put session $ NodeAPI GT.Node (Just renameNodeId) "rename"
 

src/Gargantext/Components/Forest/Tree/Node/Action/Add.purs

@@ -34,7 +34,7 @@ createNodeView p@{ dispatch, nodeType, nodeTypes } = R.createElement el p []
   where
     el = R.hooksComponent "CreateNodeView" cpt
     cpt {id, name} _ = do
-      nodeName <- R.useState' "Default Name"
+      nodeName <- R.useState' "Name"
       nodeType' <- R.useState' $ fromMaybe NodeUser $ head nodeTypes
       pure $ H.div {}
           [ panelBody   readNodeType nodeName nodeType'

src/Gargantext/Components/Forest/Tree/Node/Box.purs

@@ -2,51 +2,59 @@ module Gargantext.Components.Forest.Tree.Node.Box where
 
 import Gargantext.Prelude
 
+import DOM.Simple as DOM
 import Data.Maybe (Maybe(..))
 import Data.Nullable (null)
 import Data.Tuple (fst, Tuple(..))
 import Data.Tuple.Nested ((/\))
+import Data.Nullable (Nullable, null)
 import DOM.Simple as DOM
 import Effect (Effect)
 import Effect.Aff (Aff, launchAff, launchAff_)
 import Effect.Class (liftEffect)
 import Effect.Uncurried (mkEffectFn1)
-import React.SyntheticEvent as E
-import Reactix as R
-import Reactix.DOM.HTML as H
-import URI.Extra.QueryPairs as NQP
-import URI.Query as Query
-import Web.File.FileReader.Aff (readAsText)
-
-import Gargantext.Components.Lang (allLangs, Lang(EN))
 import Gargantext.Components.Forest.Tree.Node (NodeAction(..), SettingsBox(..), glyphiconNodeAction, settingsBox)
 import Gargantext.Components.Forest.Tree.Node.Action (Action(..), DroppedFile(..), FileType(..), ID, Name, UploadFileContents(..))
+
 import Gargantext.Components.Forest.Tree.Node.Action.Add (NodePopup(..), createNodeView)
 import Gargantext.Components.Forest.Tree.Node.Action.Rename (renameBox)
 import Gargantext.Components.Forest.Tree.Node.Action.Upload (uploadFileView, fileTypeView, uploadTermListView, copyFromCorpusView)
 import Gargantext.Components.Forest.Tree.Node.ProgressBar (asyncProgressBar, BarType(..))
-import Gargantext.Components.GraphExplorer.API as GEAPI
+import Gargantext.Components.GraphExplorer.API as GraphAPI
 import Gargantext.Components.NgramsTable.API as NTAPI
 import Gargantext.Components.Nodes.Corpus (loadCorpusWithChild)
+import Gargantext.Components.Lang (allLangs, Lang(EN))
 import Gargantext.Components.Search.SearchBar (searchBar)
-import Gargantext.Components.Search.SearchField (Search, defaultSearch, isIsTex)
+import Gargantext.Components.Search.SearchField (Search, defaultSearch, isIsTex_Advanced)
+import Gargantext.Components.Search.Types (DataField(..))
 import Gargantext.Ends (Frontends, url)
 import Gargantext.Hooks.Loader (useLoader)
 import Gargantext.Routes (AppRoute)
 import Gargantext.Routes as Routes
-import Gargantext.Sessions (Session, sessionId)
+import Gargantext.Sessions (Session, sessionId, post)
 import Gargantext.Types (NodeType(..))
 import Gargantext.Types as GT
+import Gargantext.Routes as GR
 import Gargantext.Utils (glyphicon, glyphiconActive)
 import Gargantext.Utils.Popover as Popover
 import Gargantext.Utils.Reactix as R2
+import React.SyntheticEvent as E
+import Reactix as R
+import Reactix.DOM.HTML as H
+import URI.Extra.QueryPairs as NQP
+import URI.Query as Query
+import Web.File.FileReader.Aff (readAsText)
 
+import DOM.Simple.Types
+import DOM.Simple.Window
+import DOM.Simple.EventListener
+import DOM.Simple.Event
+import Effect.Console
 
 type Dispatch = Action -> Aff Unit
 
 type CommonProps =
-  (
-      dispatch :: Dispatch
+  ( dispatch :: Dispatch
   , session :: Session
   )
 
@@ -89,8 +97,9 @@ nodeMainSpan p@{ dispatch, folderOpen, frontends, session } = R.createElement el
           else H.div {} []
         , H.a { href: (url frontends (GT.NodePath (sessionId session) nodeType (Just id)))
               }
-          [ nodeText { isSelected: (mCorpusId mCurrentRoute) == (Just id)
-                     , name: name' props } ]
+          [ nodeText { isSelected: mAppRouteId mCurrentRoute == Just id
+                     , name: name' props 
+                     } ]
         , nodeActions { id
                       , nodeType
                       , refreshTree: const $ dispatch RefreshTree
@@ -195,8 +204,7 @@ nodeTextCpt = R.hooksComponent "G.C.F.T.N.B.nodeText" cpt
 -- START nodeActions
 
 type NodeActionsProps =
-  (
-    id :: ID
+  ( id :: ID
   , nodeType :: GT.NodeType
   , refreshTree :: Unit -> Aff Unit
   , session :: Session
@@ -222,13 +230,12 @@ nodeActionsCpt = R.hooksComponent "G.C.F.T.N.B.nodeActions" cpt
     cpt _ _ = do
       pure $ H.div {} []
 
-    graphVersions session graphId = GEAPI.graphVersions { graphId, session }
+    graphVersions session graphId = GraphAPI.graphVersions { graphId, session }
     triggerRefresh refreshTree = refreshTree
 
 type NodeActionsGraphProps =
-  (
-    id :: ID
-  , graphVersions :: Record GEAPI.GraphVersions
+  ( id             :: ID
+  , graphVersions  :: Record GraphAPI.GraphVersions
   , session        :: Session
   , triggerRefresh :: Unit -> Aff Unit
   )
@@ -248,8 +255,7 @@ nodeActionsGraphCpt = R.hooksComponent "G.C.F.T.N.B.nodeActionsGraph" cpt
       ]
 
 type GraphUpdateButtonProps =
-  (
-    id :: ID
+  ( id :: ID
   , session :: Session
   , triggerRefresh :: Unit -> Aff Unit
   )
@@ -272,7 +278,7 @@ graphUpdateButtonCpt = R.hooksComponent "G.C.F.T.N.B.graphUpdateButton" cpt
         onClick (true /\ setEnabled) _ = do
           launchAff_ $ do
             liftEffect $ setEnabled $ const false
-            g <- GEAPI.updateGraphVersions { graphId: id, session }
+            g <- GraphAPI.updateGraphVersions { graphId: id, session }
             liftEffect $ setEnabled $ const true
             triggerRefresh unit
           pure unit
@@ -331,10 +337,23 @@ nodeListUpdateButtonCpt = R.hooksComponent "G.C.F.T.N.B.nodeListUpdateButton" cp
 
 -- END nodeActions
 
-mCorpusId :: Maybe AppRoute -> Maybe Int
-mCorpusId (Just (Routes.Corpus _ id)) = Just id
-mCorpusId (Just (Routes.CorpusDocument _ id _ _)) = Just id
-mCorpusId _ = Nothing
+mAppRouteId :: Maybe AppRoute -> Maybe Int
+mAppRouteId (Just (Routes.Folder         _ id)) = Just id
+mAppRouteId (Just (Routes.FolderPrivate  _ id)) = Just id
+mAppRouteId (Just (Routes.FolderPublic   _ id)) = Just id
+mAppRouteId (Just (Routes.FolderShared   _ id)) = Just id
+mAppRouteId (Just (Routes.Team           _ id)) = Just id
+mAppRouteId (Just (Routes.Corpus         _ id)) = Just id
+mAppRouteId (Just (Routes.PGraphExplorer _ id)) = Just id
+mAppRouteId (Just (Routes.Dashboard      _ id)) = Just id
+mAppRouteId (Just (Routes.Texts          _ id)) = Just id
+mAppRouteId (Just (Routes.Lists          _ id)) = Just id
+mAppRouteId (Just (Routes.Annuaire       _ id)) = Just id
+mAppRouteId (Just (Routes.UserPage       _ id)) = Just id
+mAppRouteId (Just (Routes.Document       _ id _ )) = Just id
+mAppRouteId (Just (Routes.ContactPage    _ id _ )) = Just id
+mAppRouteId (Just (Routes.CorpusDocument _ id _ _)) = Just id
+mAppRouteId _ = Nothing
 
 
 -- | START Popup View
@@ -354,7 +373,10 @@ type NodePopupS =
     , nodeType :: GT.NodeType
   )
 
-iconAStyle :: { color :: String, paddingTop :: String, paddingBottom :: String}
+iconAStyle :: { color      :: String
+              , paddingTop :: String
+              , paddingBottom :: String
+              }
 iconAStyle = { color         : "black"
              , paddingTop    : "6px"
              , paddingBottom : "6px"
@@ -368,14 +390,16 @@ nodePopupCpt = R.hooksComponent "G.C.F.T.N.B.nodePopupView" cpt
   where
     cpt p _ = do
       renameBoxOpen <- R.useState' false
+      iframeRef <- R.useRef null
       nodePopupState@(nodePopup /\ setNodePopup) <- R.useState' {action: Nothing, id: p.id, name: p.name, nodeType: p.nodeType}
       search        <- R.useState' $ defaultSearch { node_id = Just p.id }
       pure $ H.div tooltipProps $
         [ H.div { className: "popup-container" }
           [ H.div { className: "panel panel-default" }
             [ H.div {className: ""}
-              [ H.div { className : "col-md-11"}
+            [ H.div { className : "col-md-10 flex-between"}
                 [ H.h3 { className: GT.fldr p.nodeType true} [H.text $ show p.nodeType]
+               -- , H.div { className : "col-md-1" } []
                 , H.p {className: "text-primary center"} [H.text p.name]
                 ]
               ]
@@ -384,19 +408,15 @@ nodePopupCpt = R.hooksComponent "G.C.F.T.N.B.nodePopupView" cpt
             , mPanelAction nodePopupState p search
             ]
           , if nodePopup.action == Just SearchBox then
-              H.div {}
-                [
-                  searchIsTexIframe p search
-                ]
+              H.div {} [ searchIframes p search iframeRef ]
             else
               H.div {} []
           ]
         ]
       where
-        tooltipProps = {
-          className: ""
-          , id: "node-popup-tooltip"
-          , title: "Node settings"
+        tooltipProps = { className : ""
+                       , id        : "node-popup-tooltip"
+                       , title     : "Node settings"
                        , data: { toggle: "tooltip"
                                , placement: "right"}
                          --, style: { top: y - 65.0, left: x + 10.0 }
@@ -434,7 +454,9 @@ nodePopupCpt = R.hooksComponent "G.C.F.T.N.B.nodePopupView" cpt
               ]
             editIcon (true /\ _) = H.div {} []
 
-        panelBody :: R.State (Record ActionState) -> Record NodePopupProps -> R.Element
+        panelBody :: R.State (Record ActionState)
+                  -> Record NodePopupProps
+                  -> R.Element
         panelBody nodePopupState {dispatch: d, nodeType} =
           H.div {className: "panel-body flex-space-between"}
                 [ H.div {className: "flex-center"} [buttonClick {action: doc, state: nodePopupState}]
@@ -444,46 +466,25 @@ nodePopupCpt = R.hooksComponent "G.C.F.T.N.B.nodePopupView" cpt
           where
             SettingsBox {edit, doc, buttons} = settingsBox nodeType
 
-        mPanelAction :: R.State (Record NodePopupS) -> Record NodePopupProps -> R.State Search -> R.Element
+        mPanelAction :: R.State (Record NodePopupS)
+                     -> Record NodePopupProps
+                     -> R.State Search
+                     -> R.Element
         mPanelAction ({action: Nothing} /\ _) _ _ = H.div {} []
         mPanelAction ({action: Just action} /\ _) p search =
-            panelAction {
-                  action
-                , dispatch: p.dispatch
-                , id: p.id
-                , name: p.name
+            panelAction { action
+                        , dispatch : p.dispatch
+                        , id       : p.id
+                        , name     : p.name
                         , nodePopup: Just NodePopup
-                , nodeType: p.nodeType
+                        , nodeType : p.nodeType
                         , search
-                , session: p.session
+                        , session  : p.session
                         }
 
-        searchIsTexIframe {nodeType} search@(search' /\ _) =
-          if isIsTex search'.datafield then
-            H.div { className: "istex-search panel panel-default" }
-            [
-              H.h3 { className: GT.fldr nodeType true} []
-            , componentIsTex search
-            ]
-          else
-            H.div {} []
-
-        componentIsTex (search /\ setSearch) =
-          H.iframe { src: isTexTermUrl search.term , width: "100%", height: "100%"} []
-        isTexUrl = "https://istex.gargantext.org"
-        isTexLocalUrl = "http://localhost:8083"
-        isTexTermUrl term = isTexUrl <> query
-          where
-            query = Query.print $ NQP.print identity identity qp
-
-            qp = NQP.QueryPairs [
-              Tuple (NQP.keyFromString "query") (Just (NQP.valueFromString term))
-              ]
-
 
 type ActionState =
-  (
-    action :: Maybe NodeAction
+  ( action   :: Maybe NodeAction
   , id       :: ID
   , name     :: Name
   , nodeType :: GT.NodeType
@@ -491,12 +492,10 @@ type ActionState =
 
 
 type ButtonClickProps =
-  (
-    action :: NodeAction
+  ( action :: NodeAction
   , state  :: R.State (Record ActionState)
   )
 
-
 buttonClick :: Record ButtonClickProps -> R.Element
 buttonClick p = R.createElement buttonClickCpt p []
 
@@ -521,9 +520,7 @@ buttonClickCpt = R.hooksComponent "G.C.F.T.N.B.buttonClick" cpt
                       then Nothing
                       else (Just todo)
 
-
 -- END Popup View
-
 type NodeProps =
   ( id       :: ID
   , name     :: Name
@@ -549,64 +546,28 @@ panelAction p = R.createElement panelActionCpt p []
 panelActionCpt :: R.Component PanelActionProps
 panelActionCpt = R.hooksComponent "G.C.F.T.N.B.panelAction" cpt
   where
-    cpt {action: Documentation GT.NodeUser} _ = do
-      pure $ R.fragment [
-        H.div {style: {margin: "10px"}} [ infoTitle GT.NodeUser
-                                        , H.p {} [ H.text "This account is personal"]
-                                        , H.p {} [ H.text "See the instances terms of uses."]
-                                        ]
-        ]
-    cpt {action: Documentation GT.FolderPrivate} _ = do
-      pure $ fragmentPT "This folder and its children are private only!"
-    cpt {action: Documentation GT.FolderPublic} _ = do
-      pure $ fragmentPT "Soon, you will be able to build public folders to share your work with the world!"
-    cpt {action: Documentation GT.FolderShared} _ = do
-      pure $ fragmentPT "Soon, you will be able to build teams folders to share your work"
-    cpt {action: Documentation x, nodeType} _ = do
-      pure $ fragmentPT $ "More information on" <> show nodeType
-
-    cpt {action: Link _} _ = do
-      pure $ fragmentPT "Soon, you will be able to link the corpus with your Annuaire (and reciprocally)."
-    cpt {action: Upload, dispatch, id, nodeType: GT.NodeList, session} _ = do
-      pure $ uploadTermListView {dispatch, id, nodeType: GT.NodeList, session}
-    cpt {action: Upload, dispatch, id, nodeType, session} _ = do
-      pure $ uploadFileView {dispatch, id, nodeType, session}
-    cpt {action: Download, id, nodeType: NodeList, session} _ = do
-      let href = url session $ Routes.NodeAPI GT.NodeList (Just id) ""
-      pure $ R.fragment [
-        H.span { className: "row" }
-               [ H.a { className: "col-md-12"
-                     , href
-                     , target: "_blank" } [ H.text "Download file" ]
-               ]
-      ]
-    cpt {action: Download} _ = do
-      pure $ fragmentPT "Soon, you will be able to dowload your file here"
-    cpt props@{action: SearchBox, search, session} _ = do
-      pure $ R.fragment [
-          H.p {"style": {"margin" :"10px"}} [ H.text $ "Search and create a private corpus with the search query as corpus name." ]
-        , searchBar {langs: allLangs, onSearch: onSearch props, search, session}
-      ]
-    cpt {action: Delete, nodeType: GT.NodeUser} _ = do
-      pure $ R.fragment [
-        H.div {style: {margin: "10px"}} [H.text "Yes, we are RGPD compliant! But you can not delete User Node yet (we are still on development). Thanks for your comprehensin."]
-      ]
-    cpt {action: Delete, dispatch} _ = do
-      pure $ R.fragment [
-        H.div {style: {margin: "10px"}} (map (\t -> H.p {} [H.text t]) ["Are your sure you want to delete it ?", "If yes, click again below."])
-        , reallyDelete dispatch
-        ]
+    cpt {action: Documentation nodeType}          _ = actionDoc      nodeType
+    cpt {action: Download, id, nodeType, session} _ = actionDownload nodeType id session
+    cpt {action: Upload, dispatch, id, nodeType, session} _ = actionUpload nodeType id session dispatch
+    cpt {action: Delete, nodeType, dispatch} _ = actionDelete nodeType dispatch
+
     cpt {action: Add xs, dispatch, id, name, nodePopup: p, nodeType} _ = do
       pure $ createNodeView {dispatch, id, name, nodeType, nodeTypes: xs}
+
     cpt {action: CopyFromCorpus, dispatch, id, nodeType, session} _ = do
       pure $ copyFromCorpusView {dispatch, id, nodeType, session}
-    cpt _ _ = do
-      pure $ H.div {} []
 
-    fragmentPT text = H.div {style: {margin: "10px"}} [H.text text]
+    cpt {action: Link _} _ = pure $ fragmentPT "Soon, you will be able to link the corpus with your Annuaire (and reciprocally)."
 
-    onSearch :: Record PanelActionProps -> GT.AsyncTaskWithType -> Effect Unit
-    onSearch {dispatch, nodePopup: p} task = do
+
+    cpt props@{action: SearchBox, search, session} _ = do
+      pure $ R.fragment [ H.p {"style": {"margin" :"10px"}}
+                              [ H.text $ "Search and create a private corpus with the search query as corpus name." ]
+                        , searchBar {langs: allLangs, onSearch: searchOn props, search, session}
+                        ]
+        where
+          searchOn :: Record PanelActionProps -> GT.AsyncTaskWithType -> Effect Unit
+          searchOn {dispatch, nodePopup: p} task = do
             _ <- launchAff $ dispatch (SearchQuery task)
             -- close popup
             -- TODO
@@ -614,13 +575,46 @@ panelActionCpt = R.hooksComponent "G.C.F.T.N.B.panelAction" cpt
             pure unit
 
 
-infoTitle :: GT.NodeType -> R.Element
-infoTitle nt = H.div {style: {margin: "10px"}} [ H.h3 {} [H.text "Documentation about " ]
-                        , H.h3 {className: GT.fldr nt true} [ H.text $ show nt ]
+{-
+    cpt {action: Refresh, nodeType: GT.Graph, id, session} _ = do
+
+      pure $ H.div {className: "panel-footer"}
+            [ H.a { type: "button"
+                  , className: "btn glyphicon glyphicon-trash"
+                  , id: "delete"
+                  , title: "Delete"
+                  , on: {click: \_ -> post session (GR.GraphAPI id $ GT.asyncTaskTypePath GT.GraphT) {}
+                        -- TODO pure $ GT.AsyncTaskWithType { task, typ: GT.GraphT }
+                        }
+                  }
+              [H.text " Yes, delete!"]
+            ]
+--}
+
+    cpt _ _ = do
+      pure $ H.div {} []
+
+
+-- | Action : Delete
+actionDelete :: NodeType -> Dispatch -> R.Hooks R.Element
+actionDelete NodeUser _ = do
+  pure $ R.fragment [
+    H.div {style: {margin: "10px"}} 
+          [H.text $ "Yes, we are RGPD compliant!"
+                 <> " But you can not delete User Node yet."
+                 <> " We are still on development."
+                 <> " Thanks for your comprehensin."
+          ]
   ]
 
-reallyDelete :: Dispatch -> R.Element
-reallyDelete d = H.div {className: "panel-footer"}
+actionDelete _ dispatch = do
+  pure $ R.fragment [
+    H.div {style: {margin: "10px"}} (map (\t -> H.p {} [H.text t]) ["Are your sure you want to delete it ?", "If yes, click again below."])
+    , reallyDelete dispatch
+    ]
+  where
+    reallyDelete :: Dispatch -> R.Element
+    reallyDelete d = H.div {className: "panel-footer"}
                 [ H.a { type: "button"
                       , className: "btn glyphicon glyphicon-trash"
                       , id: "delete"
@@ -630,3 +624,143 @@ reallyDelete d = H.div {className: "panel-footer"}
                   [H.text " Yes, delete!"]
                 ]
 
+
+
+-- | Action : Upload
+actionUpload :: NodeType -> ID -> Session -> Dispatch -> R.Hooks R.Element
+actionUpload NodeList id session dispatch =
+  pure $ uploadTermListView {dispatch, id, nodeType: GT.NodeList, session}
+
+actionUpload Corpus id session dispatch =
+  pure $ uploadFileView {dispatch, id, nodeType: Corpus, session}
+
+actionUpload _ _ _ _ =
+  pure $ fragmentPT $ "Soon, upload for this NodeType."
+
+
+-- | Action : Download
+actionDownload :: NodeType -> ID -> Session -> R.Hooks R.Element
+actionDownload NodeList id session = downloadButton href label info
+    where
+      href  = url session $ Routes.NodeAPI GT.NodeList (Just id) ""
+      label = "Download List"
+      info  = "Info about the List as JSON format"
+
+actionDownload GT.Graph id session = downloadButton href label info
+    where
+      href  = url session $ Routes.NodeAPI GT.Graph (Just id) "gexf"
+      label = "Download Graph"
+      info  = "Info about the Graph as GEXF format"
+
+actionDownload GT.Corpus id session = downloadButton href label info
+    where
+      href  = url session $ Routes.NodeAPI GT.Corpus (Just id) "export"
+      label = "Download Corpus"
+      info  = "TODO: fix the backend route"
+
+actionDownload GT.Texts id session = downloadButton href label info
+    where
+      href  = url session $ Routes.NodeAPI GT.Texts (Just id) ""
+      label = "Download texts"
+      info  = "TODO: fix the backend route. What is the expected result ?"
+
+actionDownload _ _ _ = pure $ fragmentPT $ "Soon, you will be able to dowload your file here "
+
+
+type Href  = String
+type Label = String
+type Info  = String
+downloadButton :: Href -> Label -> Info -> R.Hooks R.Element
+downloadButton href label info = do
+  pure $ R.fragment [ H.div { className: "row"}
+                            [ H.div { className: "col-md-2"} []
+                            , H.div { className: "col-md-7 flex-center"}
+                                    [ H.p {} [H.text info] ]
+                            ]
+                    , H.span { className: "row" }
+                             [ H.div { className: "panel-footer"}
+                               [ H.div { className: "col-md-3"} []
+                                       , H.div { className: "col-md-3 flex-center"}
+                                               [ H.a { className: "btn btn-default"
+                                                     , href
+                                                     , target: "_blank" }
+                                                     [ H.text label ]
+                                               ]
+                                       ]
+                               ]
+                    ]
+
+
+-- | Action: Show Documentation
+actionDoc :: NodeType -> R.Hooks R.Element
+actionDoc nodeType =
+  pure $ R.fragment [ H.div { style: {margin: "10px"} }
+                            $ [ infoTitle nodeType ]
+                            <> (map (\info -> H.p {} [H.text info]) $ docOf nodeType)
+                    ]
+  where
+    infoTitle :: NodeType -> R.Element
+    infoTitle nt = H.div { style: {margin: "10px"}}
+                         [ H.h3 {} [H.text "Documentation about " ]
+                         , H.h3 {className: GT.fldr nt true} [ H.text $ show nt ]
+                         ]
+
+-- | TODO add documentation of all NodeType
+docOf :: NodeType -> Array String
+docOf GT.NodeUser = [ "This account is personal"
+                    , "See the instances terms of uses."
+                    ]
+docOf GT.FolderPrivate = ["This folder and its children are private only."]
+docOf GT.FolderPublic  = ["Soon, you will be able to build public folders to share your work with the world!"]
+docOf GT.FolderShared  = ["Soon, you will be able to build teams folders to share your work"]
+docOf nodeType         = ["More information on " <> show nodeType]
+
+
+fragmentPT text = H.div {style: {margin: "10px"}} [H.text text]
+
+--------------------
+-- | Iframes
+
+searchIframes {nodeType} search@(search' /\ _) iframeRef =
+  if isIsTex_Advanced search'.datafield then
+    H.div { className: "istex-search panel panel-default" }
+          [ H.h3 { className: GT.fldr nodeType true} []
+          , iframeWith "https://istex.gargantext.org" search iframeRef
+          ]
+  else
+    if Just Web == search'.datafield then
+      H.div { className: "istex-search panel panel-default" }
+            [ H.h3 { className: GT.fldr nodeType true} []
+            , iframeWith "https://searx.gargantext.org" search iframeRef
+            ]
+    else
+      H.div {} []
+
+iframeWith url (search /\ setSearch) iframeRef =
+  H.iframe { src: isTexTermUrl search.term
+            ,width: "100%"
+            ,height: "100%"
+            ,ref: iframeRef
+            ,on: {
+              load: \_ -> do
+                 addEventListener window "message" (changeSearchOnMessage url)
+                 R2.postMessage iframeRef search.term
+                 }
+           } []
+  where
+    changeSearchOnMessage :: String -> Callback MessageEvent
+    changeSearchOnMessage url = callback $ \m -> if R2.getMessageOrigin m == url
+                                             then do
+                                               let {url, term} = R2.getMessageData m
+                                               setSearch $ _ {url = url, term = term}
+                                             else
+                                               pure unit
+    isTexTermUrl term = url <> query
+      where
+        query = Query.print $ NQP.print identity identity qp
+
+        qp = NQP.QueryPairs [
+          Tuple (NQP.keyFromString "query") (Just (NQP.valueFromString term))
+          ]
+
+

src/Gargantext/Components/GraphExplorer/Sidebar.purs

@@ -69,11 +69,6 @@ sidebarCpt = R.hooksComponent "Sidebar" cpt
                   [ RH.div { className: "", role: "tabpanel" }
                     (Seq.toUnfoldable $ (Seq.map (badge props.selectedNodeIds) (badges props.graph props.selectedNodeIds)))
                   ]
-                , RH.div { className: "gexf" } [
-                   RH.a { className: "btn btn-default"
-                        , href: gexfHref props.session props.graphId
-                        , target: "_blank" } [ RH.text "Download GEXF" ]
-                  ]
                 , RH.div { className: "tab-content" }
                   [
                     removeButton "Remove candidate" CandidateTerm props nodesMap
@@ -138,9 +133,6 @@ sidebarCpt = R.hooksComponent "Sidebar" cpt
       snd props.removedNodeIds $ const $ fst props.selectedNodeIds
       snd props.selectedNodeIds $ const SigmaxT.emptyNodeIds
 
-    gexfHref :: Session -> Int -> String
-    gexfHref session graphId = url session $ Routes.NodeAPI GT.Graph (Just graphId) "gexf"
-
 
 badge :: R.State SigmaxT.NodeIds -> Record SigmaxT.Node -> R.Element
 badge (_ /\ setNodeIds) {id, label} =

src/Gargantext/Components/Login.purs

@@ -3,11 +3,12 @@
   -- Select a backend and log into it
 module Gargantext.Components.Login where
 
-import Prelude (Unit, bind, const, discard, pure, show, ($), (<>), (*>), (<$>), (>), map)
+import Prelude (Unit, bind, const, discard, pure, show, ($), (<>), (*>), (<$>), (>), map, (==), (/=), not, (&&))
 import Data.Array (head)
 import Data.Either (Either(..))
 import Data.Maybe (Maybe(..), fromMaybe)
 import Data.Tuple (fst, snd)
+import Data.Tuple.Nested ((/\))
 import Data.String as DST
 import DOM.Simple.Console (log)
 import Data.Sequence as DS
@@ -18,7 +19,7 @@ import Reactix as R
 import Reactix.DOM.HTML as H
 
 ------------------------------------------------------------------------
-import Gargantext.Components.Forms (clearfix, card, cardBlock, cardGroup, center, formGroup)
+import Gargantext.Components.Forms (clearfix, cardBlock, cardGroup, center, formGroup)
 import Gargantext.Components.Login.Types (AuthRequest(..))
 import Gargantext.Ends (Backend(..))
 import Gargantext.Sessions (Session, Sessions(..), postAuthRequest, unSessions)
@@ -32,7 +33,8 @@ import Gargantext.Utils.Reactix as R2
 type Props =
   ( backends :: Array Backend
   , sessions :: R2.Reductor Sessions Sessions.Action
-  , visible :: R.State Boolean )
+  , visible  :: R.State Boolean
+  )
 
 type ModalProps = ( visible :: R.State Boolean )
 
@@ -53,7 +55,6 @@ modalCpt = R.hooksComponent "G.C.Login.modal" cpt where
               [ H.div { className: "modal-header" }
                 [ closing
                 , logo
-                , H.h2 { className: "center modal-title" } [H.text "Instances manager"]
                 ]
               , H.div { className: "modal-body" } children ] ] ] ]
       modalClass s = "modal myModal" <> if s then "" else " fade"
@@ -97,8 +98,9 @@ chooserCpt :: R.Component ChooserProps
 chooserCpt = R.staticComponent "G.C.Login.chooser" cpt where
   cpt :: Record ChooserProps -> Array R.Element -> R.Element
   cpt {backend, backends, sessions} _ =
-    R.fragment $ active <> new <> search
+    R.fragment $ title <> active <> new <> search
       where
+        title =  [H.h2 { className: "center modal-title" } [H.text "Instances manager"]]
         active = if DS.length ss > 0 then [ H.h3 {} [H.text "Active connection(s)"]
                  , H.ul {} [ renderSessions sessions]
                  ] else [] where
@@ -147,7 +149,8 @@ renderBackend state backend@(Backend {name}) =
 type FormProps =
   ( backend :: Backend
   , sessions :: R2.Reductor Sessions Sessions.Action
-  , visible :: R.State Boolean )
+  , visible :: R.State Boolean
+  )
 
 form :: Record FormProps -> R.Element
 form props = R.createElement formCpt props []
@@ -159,15 +162,15 @@ formCpt = R.hooksComponent "G.C.Login.form" cpt where
     error    <- R.useState' ""
     username <- R.useState' ""
     password <- R.useState' ""
+    setBox@(checkBox /\ setCheckBox) <- R.useState' false
     pure $ R2.row
       [ cardGroup
-        [ card
         [ cardBlock
           [ center
-              [ H.h4 {className: "m-b-0"}
-                [ H.span {className: "icon-text"} [ H.text "Welcome :)" ] ]
-              , H.p {className: "text-muted"}
-                [ H.text $ "Login to your account or", requestAccessLink {} ] ]
+          [ H.h4 {}{-className: "text-muted"-}
+              [ H.text $ "Login to garg://" <> show backend]
+              , requestAccessLink {}
+              ]
           , H.div {}
             [ csrfTokenInput {}
             , formGroup [ H.p {} [ H.text (fst error) ], usernameInput username ]
@@ -175,9 +178,23 @@ formCpt = R.hooksComponent "G.C.Login.form" cpt where
             , center
                [ H.label {}
                  [ H.div {className: "checkbox"}
-                    [ termsCheckbox {}, H.text "I accept the terms of use ", termsLink {} ] ]
-                , loginSubmit $
-                    onClick props error username password ] ] ] ] ] ]
+                    [ termsCheckbox setBox
+                    , H.text "I hereby accept "
+                    , H.a { target: "_blank"
+                          , href: "http://gitlab.iscpif.fr/humanities/tofu/tree/master"
+                          } [ H.text "the terms of use" ]
+                    ]
+                  ]
+                ]
+            ]
+          , if checkBox == true
+               && fst username /= ""
+               && fst password /= ""
+               then H.div {} [center [loginSubmit $ onClick props error username password]]
+               else H.div {} []
+          ] 
+        ] 
+      ]
   onClick {backend, sessions, visible} error username password e =
     launchAff_ $ do
       let req = AuthRequest {username: fst username, password: fst password}
@@ -194,13 +211,18 @@ csrfTokenInput _ =
   H.input { type: "hidden", name: "csrfmiddlewaretoken"
           , value: csrfMiddlewareToken }-- TODO hard-coded CSRF token
 
-termsCheckbox :: {} -> R.Element
-termsCheckbox _ =
-  H.input { id: "terms-accept", type: "checkbox", value: "", className: "checkbox" }
+termsCheckbox :: R.State Boolean -> R.Element
+termsCheckbox setCheckBox =
+  H.input { id: "terms-accept"
+          , type: "checkbox"
+          , value: fst setCheckBox
+          , className: "checkbox"
+          , on: { click: \_ -> (snd setCheckBox) $ const $ not (fst setCheckBox)}
+          }
 
 termsLink :: {} -> R.Element
 termsLink _ =
-  H.a { target: "_blank", href: termsUrl } [ H.text " [ Read the terms of use ] " ]
+  H.a { target: "_blank", href: termsUrl } [ H.text "the terms of use" ]
   where termsUrl = "http://gitlab.iscpif.fr/humanities/tofu/tree/master"
 
 requestAccessLink :: {} -> R.Element

src/Gargantext/Components/Search/SearchBar.purs

@@ -3,6 +3,11 @@ module Gargantext.Components.Search.SearchBar
   ) where
 
 import Data.Tuple.Nested ((/\))
+import Data.Nullable (Nullable)
+import Reactix as R
+import Reactix.DOM.HTML as H
+
+import Gargantext.Components.Search.Types -- (Database, SearchQuery(..), defaultSearchQuery, performSearch, Lang(..))
 import Effect (Effect)
 import Gargantext.Components.Lang (Lang)
 import Gargantext.Components.Search.SearchField (Search, searchField)

src/Gargantext/Components/Search/SearchField.purs

 module Gargantext.Components.Search.SearchField
-  ( Search, Props, defaultSearch, searchField, searchFieldComponent, isIsTex) where
+  ( Search, Props, defaultSearch, searchField, searchFieldComponent, isIsTex, isIsTex_Advanced) where
 
-import Data.Maybe (Maybe(..), maybe, fromMaybe)
+import Data.Maybe (Maybe(..), maybe, fromMaybe, isJust)
 import Data.Newtype (over)
 import Data.String (length)
 import Data.Set as Set
 import Data.Tuple (fst)
 import Data.Tuple.Nested ((/\))
+import Data.Nullable (Nullable, toMaybe)
+import Effect.Console (logShow)
 import DOM.Simple.Console (log, log2)
-import Effect.Aff (launchAff_)
+import Effect.Aff (Aff, launchAff_)
 import Effect.Class (liftEffect)
 import Effect (Effect)
 import Reactix as R
@@ -32,6 +34,7 @@ select = R.createElement "select"
 
 type Search = { databases :: Database
               , datafield :: Maybe DataField
+              , url       :: String
               , lang      :: Maybe Lang
               , node_id   :: Maybe Int
               , term      :: String
@@ -50,6 +53,7 @@ defaultSearch = { databases: Empty
                 , node_id  : Nothing
                 , lang     : Nothing
                 , term     : ""
+                , url: ""
                 }
 
 type Props =
@@ -161,6 +165,17 @@ isIsTex ( Just
         ) = true
 isIsTex _ = false
 
+isIsTex_Advanced :: Maybe DataField -> Boolean
+isIsTex_Advanced ( Just
+          ( External
+            ( Just ( IsTex_Advanced)
+            )
+          )
+        ) = true
+isIsTex_Advanced _ = false
+
+
+
 isIMT :: Maybe DataField -> Boolean
 isIMT ( Just 
         ( External
@@ -364,6 +379,7 @@ searchInputComponent = R.hooksComponent "G.C.S.SearchInput" cpt
       pure $
         H.div { className : "" }
         [ H.input { defaultValue: search.term
+                  , value: search.term
                   , className: "form-control"
                   , type: "text"
                   , on: { change : onChange setSearch }

src/Gargantext/Components/Search/Types.purs

@@ -91,6 +91,7 @@ allDatabases = [ Empty
                , PubMed
                , HAL Nothing
                , IsTex
+               , IsTex_Advanced
                , Isidore
                --, Web
                --, News
@@ -102,6 +103,7 @@ data Database = All_Databases
               | PubMed
               | HAL (Maybe Org)
               | IsTex
+              | IsTex_Advanced
               | Isidore
 --              | News
 --              | SocialNetworks
@@ -111,6 +113,7 @@ instance showDatabase :: Show Database where
   show PubMed = "PubMed"
   show (HAL _)= "HAL"
   show IsTex  = "IsTex"
+  show IsTex_Advanced  = "IsTex_Advanced"
   show Isidore= "Isidore"
   show Empty  = "Empty"
 --  show News   = "News"
@@ -121,6 +124,7 @@ instance docDatabase :: Doc Database where
   doc PubMed      = "All Medical publications"
   doc (HAL _)     = "All open science (archives ouvertes)"
   doc IsTex       = "All Elsevier enriched by CNRS/INIST"
+  doc IsTex_Advanced = "IsTex advanced search"
   doc Isidore     = "All (French) Social Sciences"
   doc Empty       = "Empty"
 --  doc News        = "Web filtered by News"
@@ -130,8 +134,9 @@ readDatabase :: String -> Maybe Database
 readDatabase "All Databases" = Just All_Databases
 readDatabase "PubMed" = Just PubMed
 readDatabase "HAL"    = Just $ HAL Nothing
-readDatabase "IsTex"  = Just IsTex
 readDatabase "Isidore"= Just Isidore
+readDatabase "IsTex"  = Just IsTex
+readDatabase "IsTex_Advanced" = Just IsTex_Advanced
 -- readDatabase "Web"    = Just Web
 -- readDatabase "News"   = Just News
 -- readDatabase "Social Networks" = Just SocialNetworks

src/Gargantext/Types.purs

@@ -466,13 +466,14 @@ modeFromString _ = Nothing
 -- Async tasks
 
 -- corresponds to /add/form/async or /add/query/async
-data AsyncTaskType = Form | GraphT | Query
+data AsyncTaskType = Form | GraphT | Query | CreateNode
 derive instance genericAsyncTaskType :: Generic AsyncTaskType _
 
 asyncTaskTypePath :: AsyncTaskType -> String
 asyncTaskTypePath Form   = "add/form/async/"
 asyncTaskTypePath Query  = "query/"
 asyncTaskTypePath GraphT = "async/"
+asyncTaskTypePath CreateNode = "async/nobody/"
 
 type AsyncTaskID = String
 

src/Gargantext/BootstrapNative.purs → src/Gargantext/Utils/BootstrapNative.purs

-module Gargantext.BootstrapNative where
+module Gargantext.Utils.BootstrapNative where
 
 import Effect (Effect)
 

src/Gargantext/Utils/Reactix.js

@@ -15,6 +15,10 @@ function stringify(j, indent) {
   return JSON.stringify(j, null, indent);
 }
 
+function postMessage(obj, msg, src) {
+    obj.contentWindow.postMessage(msg, src);
+}
+
 function setCookie(c) {
   document.cookie = c;
 }
@@ -22,4 +26,5 @@ function setCookie(c) {
 exports._addRootElement = addRootElement;
 exports._getSelection = getSelection;
 exports._stringify = stringify;
+exports._postMessage = postMessage;
 exports._setCookie = setCookie;

src/Gargantext/Utils/Reactix.purs

@@ -13,15 +13,16 @@ import Data.Argonaut as Json
 import Data.Argonaut.Core (Json)
 import Data.Either (hush)
 import Data.Function.Uncurried (Fn2, runFn2)
-import Data.Maybe (Maybe(..), fromJust, fromMaybe)
+import Data.Maybe (Maybe(..), fromJust, fromMaybe, isJust)
 import Data.Nullable (Nullable, null, toMaybe)
 import Data.Tuple (Tuple(..))
 import Data.Tuple.Nested ((/\))
 import Effect (Effect)
+import Effect.Console (logShow)
 import Effect.Aff (Aff, launchAff, launchAff_, killFiber)
 import Effect.Class (liftEffect)
 import Effect.Exception (error)
-import Effect.Uncurried (EffectFn1, EffectFn2, mkEffectFn1, mkEffectFn2, runEffectFn1, runEffectFn2)
+import Effect.Uncurried (EffectFn1, EffectFn2, EffectFn3, mkEffectFn1, mkEffectFn2, runEffectFn1, runEffectFn2, runEffectFn3)
 import Effect.Unsafe (unsafePerformEffect)
 import FFI.Simple ((..), (...), (.=), defineProperty, delay, args2, args3)
 import Partial.Unsafe (unsafePartial)
@@ -296,6 +297,25 @@ useLocalStorageState key s = do
 
   pure (Tuple state setState)
 
+getMessageDataStr :: DE.MessageEvent -> String
+getMessageDataStr = getMessageData
+
+getMessageOrigin :: DE.MessageEvent -> String
+getMessageOrigin me = me .. "origin"
+
+getMessageData :: forall o. DE.MessageEvent -> o
+getMessageData me = me .. "data"
+
+foreign import _postMessage
+  :: forall r. EffectFn3 r String String Unit
+
+postMessage :: forall r. R.Ref (Nullable r) -> String -> Effect Unit
+postMessage ref msg = do
+  case (R.readNullableRef ref) of
+    (Just ifr) -> do
+      runEffectFn3 _postMessage ifr msg (ifr .. "src")
+    (Nothing) -> pure unit
+
 foreign import _setCookie :: EffectFn1 String Unit
 
 setCookie :: String -> Effect Unit