check it out

.psc-package/local/.set/packages.json

@@ -945,7 +945,7 @@
       "prelude",
       "unsafe-coerce"
     ],
-    "repo": "https://github.com/irresponsible/purescript-dom-simple",
+    "repo": "https://github.com/poorscript/purescript-dom-simple",
     "version": "v0.2.7"
   },
   "dotenv": {
@@ -1138,7 +1138,7 @@
       "nullable",
       "unsafe-coerce"
     ],
-    "repo": "https://github.com/irresponsible/purescript-ffi-simple",
+    "repo": "https://github.com/poorscript/purescript-ffi-simple",
     "version": "v0.2.10"
   },
   "filterable": {
@@ -1329,6 +1329,16 @@
     "repo": "https://github.com/slamdata/purescript-formatters.git",
     "version": "v4.0.1"
   },
+  "formula": {
+    "dependencies": [
+      "prelude",
+      "reactix",
+      "toestand",
+      "typisch"
+    ],
+    "repo": "https://github.com/poorscript/purescript-formula",
+    "version": "v0.2.1"
+  },
   "free": {
     "dependencies": [
       "catenable-lists",
@@ -3596,10 +3606,11 @@
       "functions",
       "nullable",
       "prelude",
+      "tuples",
       "unsafe-coerce"
     ],
-    "repo": "https://github.com/irresponsible/purescript-reactix",
-    "version": "v0.4.6"
+    "repo": "https://github.com/poorscript/purescript-reactix",
+    "version": "v0.4.11"
   },
   "read": {
     "dependencies": [
@@ -4431,14 +4442,12 @@
     "dependencies": [
       "aff",
       "coroutines",
-      "web-dom",
       "freet",
       "profunctor-lenses",
-      "react",
-      "react-dom"
+      "react"
     ],
-    "repo": "https://github.com/poorscript/purescript-thermite.git",
-    "version": "hide-2020-03-04"
+    "repo": "https://github.com/paf31/purescript-thermite.git",
+    "version": "v6.3.1"
   },
   "thermite-dom": {
     "dependencies": [
@@ -4458,6 +4467,19 @@
     "repo": "https://github.com/purescript-contrib/purescript-these.git",
     "version": "v4.0.0"
   },
+  "toestand": {
+    "dependencies": [
+      "prelude",
+      "effect",
+      "foldable-traversable",
+      "reactix",
+      "record",
+      "tuples",
+      "typelevel-prelude"
+    ],
+    "repo": "https://github.com/poorscript/purescript-toestand",
+    "version": "v0.5.0"
+  },
   "tolerant-argonaut": {
     "dependencies": [
       "argonaut-codecs",
@@ -4642,6 +4664,13 @@
     "repo": "https://github.com/mwalkerwells/purescript-typelevel-rowlist-limits.git",
     "version": "v0.0.6"
   },
+  "typisch": {
+    "dependencies": [
+      "prelude"
+    ],
+    "repo": "https://github.com/poorscript/purescript-typisch",
+    "version": "v0.2.1"
+  },
   "uint": {
     "dependencies": [
       "maybe",

.yarnrc

+# THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY.
+# yarn lockfile v1
+
+
+lastUpdateCheck 1611671086951

CONTRIBUTING.md

@@ -4,13 +4,12 @@
 
 ### Social contract
 
-1. Use and promote welcoming behavior to respect the [Code of Conduct](https://gitlab.iscpif.fr/humanities/gargantext/blob/master/CODE_OF_CONDUCT.md)
+1. Be nice, welcome and treat others with respect: [Code of Conduct](https://gitlab.iscpif.fr/humanities/gargantext/blob/master/CODE_OF_CONDUCT.md)
 
-2. We are a team as whole: here to help each others
+2. We are a team as whole: here to help each other
   - knowing the unknown is a value but ignoring the unknown is a failure
     - do not ask to ask: just ask
-    - there is no stupid question(s)
-    - there is no unique solution(s)
+    - there are no stupid questions
 
 3. Watch deadlines individually and collectively
   - at 0% of the time of the task, agree on the /estimate of time to fix the issue.
@@ -82,30 +81,38 @@ Main branches are:
 
 ## Technicals
 
+Please configure your editor accordingly (ask for tips if needed or put your tips here)
 
-### Code main guidelines
+### Code guidelines
 
-#### Code Design
+#### Basics
 
-Please configure your editor accordingly (ask for tips if needed or put your tips here)
+Line length:
+
+* Good lines of code are no more than 80 characters long.
+* Acceptable lines of code are no more than 100
+* Bad lines of code are no more than 120.
+
+Whitespace:
+
+* 2 spaces per indentation stop, or more if needed by the compiler
+* Do not use tab characters.
+* Remove trailing whitespace from lines. Includes blank lines.
+
+#### Layout
 
-##### Line length
-* all line length should be < 120 chars
 
-##### Identation
-* 2 spaces or more if needed by the compiler
-    * i.e. Tab character is avoided
-    * avoid trailing spaces, mostly spaces at the end of lines (remove it)
 
 * HTML nodes:
 
 ```
-  div []
-  [ div []
-    [ a [] [...]
-    , a [] [...]
-    ]
-  , div []
+  div {...}
+  [ div {...} [ a {} [...], a {...} [...] ]
+  , div {...}
+  , div
+    { ...
+    , ...
+    }
     [ ...
     , ...
     ]

package.json

@@ -30,7 +30,9 @@
         "echarts": "^4.1.0",
         "echarts-for-react": "^2.0.14",
         "highlightjs": "^9.16.2",
-        "prop-types": "15.6.2",
+        "immer": "^8.0.1",
+        "prop-types": "^15.6.2",
+        "pullstate": "^1.20.6",
         "react": "^16.10",
         "react-awesome-popover": "^6.1.1",
         "react-dom": "^16.10",

packages.dhall

@@ -2,20 +2,7 @@ let upstream =
   https://github.com/purescript/package-sets/releases/download/psc-0.13.8-20201021/packages.dhall
 
 let overrides =
-      { thermite =
-          { dependencies =
-              [ "aff"
-              , "coroutines"
-              , "web-dom"
-              , "freet"
-              , "profunctor-lenses"
-              , "react"
-              , "react-dom"
-              ]
-          , repo = "https://github.com/poorscript/purescript-thermite.git"
-          , version = "hide-2020-03-04"
-          }
-      , globals =
+      { globals =
           { dependencies = [ "functions", "maybe" ]
           , repo = "https://github.com/purescript/purescript-globals"
           , version = "v4.1.0"
@@ -23,33 +10,25 @@ let overrides =
       }
 
 let additions =
-      { sequences =
+      { dom-simple =
           { dependencies =
-            [ "prelude"
+            [ "arrays"
+            , "console"
+            , "effect"
+            , "ffi-simple"
+            , "functions"
+            , "nullable"
+            , "prelude"
             , "unsafe-coerce"
-            , "partial"
-            , "unfoldable"
-            , "lazy"
-            , "arrays"
-            , "profunctor"
-            , "maybe"
-            , "tuples"
-            , "newtype"
             ]
-          , repo = "https://github.com/hdgarrood/purescript-sequences.git"
-          , version = "v2.1.0"
-          }
-      , spec-discovery =
-          { dependencies =
-            [ "prelude", "effect", "arrays", "spec", "node-fs" ]
-          , repo = "https://github.com/purescript-spec/purescript-spec-discovery"
-          , version = "v4.0.0"
+          , repo = "https://github.com/poorscript/purescript-dom-simple"
+          , version = "v0.2.7"
           }
-      , spec-quickcheck =
+      , dom-filereader =
           { dependencies =
-            [ "prelude", "aff", "random", "quickcheck", "spec" ]
-          , repo = "https://github.com/purescript-spec/purescript-spec-quickcheck"
-          , version = "v3.1.0"
+            [ "aff", "arraybuffer-types", "web-file", "web-html" ]
+          , repo = "https://github.com/nwolverson/purescript-dom-filereader"
+          , version = "v5.0.0"
           }
       , ffi-simple =
           { dependencies =
@@ -60,28 +39,14 @@ let additions =
             , "nullable"
             , "unsafe-coerce"
             ]
-          , repo = "https://github.com/irresponsible/purescript-ffi-simple"
+          , repo = "https://github.com/poorscript/purescript-ffi-simple"
           , version = "v0.2.10"
           }
-      , dom-simple =
+      , formula =
           { dependencies =
-            [ "arrays"
-            , "console"
-            , "effect"
-            , "ffi-simple"
-            , "functions"
-            , "nullable"
-            , "prelude"
-            , "unsafe-coerce"
-            ]
-          , repo = "https://github.com/irresponsible/purescript-dom-simple"
-          , version = "v0.2.7"
-          }
-      , dom-filereader =
-          { dependencies =
-            [ "aff", "arraybuffer-types", "web-file", "web-html" ]
-          , repo = "https://github.com/nwolverson/purescript-dom-filereader"
-          , version = "v5.0.0"
+            [ "prelude", "reactix", "toestand", "typisch" ]
+          , repo = "https://github.com/poorscript/purescript-formula"
+          , version = "v0.2.1"
           }
       , markdown =
           { dependencies =
@@ -110,10 +75,63 @@ let additions =
             , "functions"
             , "nullable"
             , "prelude"
+            , "tuples"
             , "unsafe-coerce"
             ]
-          , repo = "https://github.com/irresponsible/purescript-reactix"
-          , version = "v0.4.6"
+          , repo = "https://github.com/poorscript/purescript-reactix"
+          , version = "v0.4.11"
+          }
+      , read =
+          { dependencies =
+            [ "prelude", "maybe", "strings" ]
+          , repo = "https://github.com/truqu/purescript-read"
+          , version = "v1.0.1"
+          }
+      , sequences =
+          { dependencies =
+            [ "prelude"
+            , "unsafe-coerce"
+            , "partial"
+            , "unfoldable"
+            , "lazy"
+            , "arrays"
+            , "profunctor"
+            , "maybe"
+            , "tuples"
+            , "newtype"
+            ]
+          , repo = "https://github.com/hdgarrood/purescript-sequences.git"
+          , version = "v2.1.0"
+          }
+      , simplecrypto =
+          { dependencies =
+            [ "prelude", "maybe", "node-buffer"]
+          , repo = "https://github.com/alpacaaa/purescript-simplecrypto"
+          , version = "v1.0.1"
+          }
+      , spec-discovery =
+          { dependencies =
+            [ "prelude", "effect", "arrays", "spec", "node-fs" ]
+          , repo = "https://github.com/purescript-spec/purescript-spec-discovery"
+          , version = "v4.0.0"
+          }
+      , spec-quickcheck =
+          { dependencies =
+            [ "prelude", "aff", "random", "quickcheck", "spec" ]
+          , repo = "https://github.com/purescript-spec/purescript-spec-quickcheck"
+          , version = "v3.1.0"
+          }
+      , toestand =
+          { dependencies =
+            [ "prelude", "effect", "foldable-traversable", "reactix"
+            , "record", "tuples", "typelevel-prelude" ]
+          , repo = "https://github.com/poorscript/purescript-toestand"
+          , version = "v0.5.0"
+          }
+      , typisch =
+          { dependencies = [ "prelude" ]
+          , repo = "https://github.com/poorscript/purescript-typisch"
+          , version = "v0.2.1"
           }
       , tuples-native =
           { dependencies =
@@ -141,24 +159,12 @@ let additions =
           , repo = "https://github.com/slamdata/purescript-uri"
           , version = "v7.0.0"
           }
-      , read =
-          { dependencies =
-            [ "prelude", "maybe", "strings" ]
-          , repo = "https://github.com/truqu/purescript-read"
-          , version = "v1.0.1"
-          }
       , versions =
           { dependencies =
             [ "prelude" ]
           , repo = "https://github.com/hdgarrood/purescript-versions.git"
           , version = "v5.0.1"
           }
-      , simplecrypto =
-          { dependencies =
-            [ "prelude", "maybe", "node-buffer"]
-          , repo = "https://github.com/alpacaaa/purescript-simplecrypto"
-          , version = "v1.0.1"
-          }
       }
 
 in  upstream ⫽ overrides ⫽ additions

psc-package.json

@@ -15,6 +15,7 @@
     "effect",
     "foreign-generic",
     "foreign-object",
+    "formula",
     "generics-rep",
     "globals",
     "integers",
@@ -29,6 +30,7 @@
     "prelude",
     "psci-support",
     "random",
+    "react",
     "reactix",
     "read",
     "record-extra",
@@ -41,8 +43,9 @@
     "string-parsers",
     "strings",
     "stringutils",
-    "thermite",
+    "toestand",
     "tuples-native",
+    "typisch",
     "uint",
     "uri",
     "versions",

src/Gargantext/AsyncTasks.purs

@@ -17,7 +17,7 @@ import Gargantext.Types as GT
 import Gargantext.Utils as GU
 import Gargantext.Utils.Reactix as R2
 import Gargantext.Utils.Reload as GUR
-
+import Gargantext.Utils.Toestand
 
 localStorageKey :: String
 localStorageKey = "garg-async-tasks"
@@ -49,8 +49,8 @@ removeTaskFromList ts (GT.AsyncTaskWithType { task: GT.AsyncTask { id: id' } })
   A.filter (\(GT.AsyncTaskWithType { task: GT.AsyncTask { id: id'' } }) -> id' /= id'') ts
 
 type ReductorProps = (
-    appReload  :: GUR.ReloadS
-  , treeReload :: GUR.ReloadS
+    reloadRoot   :: GUR.ReloadS
+  , reloadForest :: GUR.ReloadS
   , storage      :: Storage
   )
 
@@ -58,13 +58,13 @@ type Reductor = R2.Reductor (Record ReductorProps) Action
 type ReductorAction = Action -> Effect Unit
 
 useTasks :: GUR.ReloadS -> GUR.ReloadS -> R.Hooks Reductor
-useTasks appReload treeReload = R2.useReductor act initializer unit
+useTasks reloadRoot reloadForest = R2.useReductor act initializer unit
   where
     act :: R2.Actor (Record ReductorProps) Action
     act a s = action s a
     initializer _ = do
       storage <- getAsyncTasks
-      pure { appReload, treeReload, storage }
+      pure { reloadRoot, reloadForest, storage }
 
 data Action =
     Insert GT.NodeID GT.AsyncTaskWithType
@@ -72,19 +72,19 @@ data Action =
   | Remove GT.NodeID GT.AsyncTaskWithType
 
 action :: Record ReductorProps -> Action -> Effect (Record ReductorProps)
-action p@{ treeReload, storage } (Insert nodeId t) = do
-  _ <- GUR.bump treeReload
+action p@{ reloadForest, storage } (Insert nodeId t) = do
+  _ <- GUR.bump reloadForest
   let newStorage = Map.alter (maybe (Just [t]) (\ts -> Just $ A.cons t ts)) nodeId storage
   pure $ p { storage = newStorage }
 action p (Finish nodeId t) = do
   action p (Remove nodeId t)
-action p@{ appReload, treeReload, storage } (Remove nodeId t@(GT.AsyncTaskWithType { typ })) = do
+action p@{ reloadRoot, reloadForest, storage } (Remove nodeId t@(GT.AsyncTaskWithType { typ })) = do
   _ <- if GT.asyncTaskTriggersAppReload typ then
-    GUR.bump appReload
+    GUR.bump reloadRoot
   else
     pure unit
   _ <- if GT.asyncTaskTriggersTreeReload typ then
-    GUR.bump treeReload
+    GUR.bump reloadForest
   else
     pure unit
   let newStorage = Map.alter (maybe Nothing $ (\ts -> Just $ removeTaskFromList ts t)) nodeId storage

src/Gargantext/Classes.purs

+module Gargantext.Classes where
+
+textCenter = "text-center"
+
+formControl = "formControl"

src/Gargantext/Components/App.purs

-module Gargantext.Components.App where
+module Gargantext.Components.App (app) where
 
-import Data.Array (fromFoldable)
-import Data.Maybe (Maybe(..), maybe')
-import Data.Tuple (fst, snd)
-import Reactix as R
-
-import Gargantext.Prelude
-
-import Gargantext.Components.Footer (footer)
-import Gargantext.Components.Forest (forestLayout, forestLayoutWithTopBar)
-import Gargantext.Components.GraphExplorer (explorerLayout)
-import Gargantext.Components.Lang (LandingLang(..))
-import Gargantext.Components.Login (login)
-import Gargantext.Components.Nodes.Annuaire (annuaireLayout)
-import Gargantext.Components.Nodes.Annuaire.User (userLayout)
-import Gargantext.Components.Nodes.Annuaire.User.Contact (contactLayout)
-import Gargantext.Components.Nodes.Corpus (corpusLayout)
-import Gargantext.Components.Nodes.Corpus.Dashboard (dashboardLayout)
-import Gargantext.Components.Nodes.Corpus.Document (documentMainLayout)
-import Gargantext.Components.Nodes.File (fileLayout)
-import Gargantext.Components.Nodes.Frame  (frameLayout)
-import Gargantext.Components.Nodes.Home (homeLayout)
-import Gargantext.Components.Nodes.Lists as Lists
-import Gargantext.Components.Nodes.Texts as Texts
-import Gargantext.Components.SimpleLayout (simpleLayout)
-import Gargantext.Config (defaultFrontends, defaultBackends, publicBackend)
-import Gargantext.Hooks.Router (useHashRouter)
-import Gargantext.Router (router)
-import Gargantext.Routes (AppRoute(..))
-import Gargantext.Sessions (useSessions)
+import Prelude
+import Gargantext.Components.App.Data (emptyApp)
+import Gargantext.Components.Router (router)
+import Gargantext.Hooks (useHashRouter)
+import Gargantext.Router as Router
 import Gargantext.Sessions as Sessions
-import Gargantext.Types as GT
-import Gargantext.Utils.Reload as GUR
+import Reactix as R
+import Toestand as T
 
 thisModule :: String
 thisModule = "Gargantext.Components.App"
 
--- TODO (what does this mean?)
--- tree changes endConfig state => trigger endConfig change in outerLayout, layoutFooter etc
-
-app :: {} -> R.Element
-app props = R.createElement appCpt props []
+app :: R.Element
+app = R.createElement appCpt {} []
 
 appCpt :: R.Component ()
 appCpt = R.hooksComponentWithModule thisModule "app" cpt where
-  frontends = defaultFrontends
   cpt _ _ = do
-    sessions   <- useSessions
-    route      <- useHashRouter router Home
-
-    asyncTasksRef <- R.useRef Nothing
-    treeReloadRef <- GUR.newI
-
-    showLogin  <- R.useState' false
-    backend    <- R.useState' Nothing
-
-    appReload  <- GUR.new
-
-    showCorpus <- R.useState' false
-
-    handed <- R.useState' GT.RightHanded
-
-    let backends          = fromFoldable defaultBackends
-    let ff f session      = R.fragment [ f session, footer { session } ]
-    let forested = forestLayout { appReload
-                                , asyncTasksRef
-                                , backend
-                                , currentRoute: fst route
-                                , frontends
-                                , handed
-                                , sessions: fst sessions
-                                , showLogin: snd showLogin
-                                , treeReloadRef
-                                }
-    let forestedTB = forestLayoutWithTopBar { appReload
-                                            , asyncTasksRef
-                                            , backend
-                                            , currentRoute: fst route
-                                            , frontends
-                                            , handed
-                                            , sessions: fst sessions
-                                            , showLogin: snd showLogin
-                                            , treeReloadRef
-                                            }
-    let defaultView _ = forested [
-          homeLayout { backend
-                     , lang: LL_EN
-                     , publicBackend
-                     , sessions
-                     , visible: showLogin
-                     }
-          ]
-    let withSession sid f = maybe' defaultView (ff f) (Sessions.lookup sid (fst sessions))
-
-    let sessionUpdate s = snd sessions $ Sessions.Update s
-
-    pure $ case fst showLogin of
-      true -> forested [ login { backend, backends, sessions, visible: showLogin } ]
-      false ->
-        case fst route of
-          Annuaire sid nodeId        -> withSession sid $ \session -> forested [
-            annuaireLayout { frontends, nodeId, session }
-          ]
-          Corpus sid nodeId        -> withSession sid $ \session -> forested [
-            corpusLayout { nodeId, session }
-          ]
-          CorpusDocument sid corpusId listId nodeId -> withSession sid $ \session -> forested [
-            documentMainLayout { listId, mCorpusId: Just corpusId,  nodeId, session } []
-          ]
-          Dashboard sid nodeId       -> withSession sid $ \session -> forested [
-            dashboardLayout { nodeId, session } []
-          ]
-          Document sid listId nodeId ->
-            withSession sid $
-              \session -> forested [
-                documentMainLayout { listId, mCorpusId: Nothing, nodeId, session } []
-              ]
-          Folder sid nodeId -> withSession sid $ \session -> forested [ corpusLayout { nodeId, session } ]
-          FolderPrivate sid nodeId -> withSession sid $ \session -> forested [ corpusLayout { nodeId, session } ]
-          FolderPublic sid nodeId  -> withSession sid $ \session -> forested [ corpusLayout { nodeId, session } ]
-          FolderShared sid nodeId  -> withSession sid $ \session -> forested [ corpusLayout { nodeId, session } ]
-          Home  -> forested [
-            homeLayout { backend, lang: LL_EN, publicBackend, sessions, visible: showLogin }
-          ]
-          Lists sid nodeId         -> withSession sid $
-            \session -> Lists.listsWithForest {
-                  forestProps: {
-                      appReload
-                    , asyncTasksRef
-                    , backend
-                    , currentRoute: fst route
-                    , frontends
-                    , handed
-                    , sessions: fst sessions
-                    , showLogin: snd showLogin
-                    , treeReloadRef
-                  }
-                , listsProps: {
-                      appReload
-                    , asyncTasksRef
-                    , nodeId
-                    , session
-                    , sessionUpdate
-                    , treeReloadRef
-                }
-              } []
-          Login -> login { backend, backends, sessions, visible: showLogin }
-          PGraphExplorer sid graphId ->
-            withSession sid $
-              \session ->
-                simpleLayout { handed } [
-                  explorerLayout { asyncTasksRef
-                                 , backend
-                                 , currentRoute: fst route
-                                 , frontends
-                                 , graphId
-                                 , handed: fst handed
-                                 , session
-                                 , sessions: (fst sessions)
-                                 , showLogin
-                                 }
-                ]
-          RouteFile sid nodeId -> withSession sid $ \session -> forested [ fileLayout { nodeId, session } ]
-          RouteFrameCalc  sid nodeId -> withSession sid $ \session -> forested [
-            frameLayout { nodeId, nodeType: GT.NodeFrameCalc, session     }
-          ]
-          RouteFrameCode  sid nodeId -> withSession sid $ \session -> forested [
-            frameLayout { nodeId, nodeType: GT.NodeFrameNotebook, session }
-          ]
-          RouteFrameWrite sid nodeId -> withSession sid $ \session -> forested [
-            frameLayout { nodeId, nodeType: GT.NodeFrameWrite, session    }
-          ]
-          Team sid nodeId  -> withSession sid $ \session -> forested [
-            corpusLayout { nodeId, session }
-          ]
-          Texts sid nodeId         -> withSession sid $
-            \session -> Texts.textsWithForest {
-                  forestProps: {
-                      appReload
-                    , asyncTasksRef
-                    , backend
-                    , currentRoute: fst route
-                    , frontends
-                    , handed
-                    , sessions: fst sessions
-                    , showLogin: snd showLogin
-                    , treeReloadRef
-                  }
-                , textsProps: {
-                      frontends
-                    , nodeId
-                    , session
-                    , sessionUpdate
-                }
-              } []
-----------------------------------------------------------------------------------------
--- | TODO refact UserPage and ContactPage
-          UserPage sid nodeId        -> withSession sid $ \session -> forested [
-            userLayout {
-                appReload
-              , asyncTasksRef
-              , frontends
-              , nodeId
-              , session
-              , treeReloadRef
-              }
-            ]
-
-          ContactPage sid aId nodeId                -> withSession sid $ \session -> forested [
-            contactLayout {
-                annuaireId: aId
-              , appReload
-              , asyncTasksRef
-              , frontends
-              , nodeId
-              , session
-              , treeReloadRef
-              }
-            ]
-
-
+    cell    <- T.useCell emptyApp     -- global data
+    views   <- T.useFieldViews cell   -- read-only access for children
+    cursors <- T.useFieldCursors cell -- read-write access for children
+    tasks   <- R.useRef Nothing       -- storage for asynchronous tasks
+    useHashRouter Router.router cursors.route -- Install router to window
+    pure $ router { views, cursors, tasks }   -- Render router component

src/Gargantext/Components/App/Data.purs

+module Gargantext.Components.App.Data (App, Cursors, emptyApp) where
+
+import Data.Set as Set
+import Data.Maybe (Maybe(..))
+import Toestand as T
+
+import Gargantext.Sessions as Sessions
+import Gargantext.Sessions (OpenNodes, Sessions)
+import Gargantext.Routes (AppRoute(Home))
+import Gargantext.Types (Handed(RightHanded))
+import Gargantext.Utils.Toestand as T2
+
+type App =
+  { handed       :: Handed
+  , forestOpen   :: OpenNodes
+  , reloadRoot   :: Int
+  , reloadForest :: Int
+  , route        :: AppRoute
+  , sessions     :: Sessions
+  , showCorpus   :: Boolean
+  , showLogin    :: Boolean
+  }
+
+emptyApp :: App
+emptyApp =
+  { handed:       RightHanded
+  , route:        Home
+  , forestOpen:   Set.empty
+  , reloadRoot:   T2.newReload
+  , reloadForest: T2.newReload
+  , sessions:     Sessions.empty
+  , showCorpus:   false
+  , showLogin:    false
+  }
+
+type Cursors =
+  { handed       :: T.Cursor Handed
+  , forestOpen   :: T.Cursor OpenNodes
+  , reloadRoot   :: T.Cursor Int
+  , reloadForest :: T.Cursor Int
+  , route        :: T.Cursor AppRoute
+  , sessions     :: T.Cursor Sessions
+  , showCorpus   :: T.Cursor Boolean
+  , showLogin    :: T.Cursor Boolean
+  }
+

src/Gargantext/Components/DocsTable.purs

@@ -22,7 +22,8 @@ import Effect.Aff (Aff)
 import Effect.Class (liftEffect)
 import Reactix as R
 import Reactix.DOM.HTML as H
-------------------------------------------------------------------------
+import Toestand as T
+
 import Gargantext.Prelude
 import Gargantext.Components.Category (caroussel, rating)
 import Gargantext.Components.Category.Types (Category(..), decodeCategory, Star(..), decodeStar)
@@ -42,6 +43,7 @@ import Gargantext.Utils.CacheAPI as GUC
 import Gargantext.Utils.QueryString (joinQueryStrings, mQueryParamS, queryParam, queryParamS)
 import Gargantext.Utils.Reactix as R2
 import Gargantext.Utils.Reload as GUR
+import Gargantext.Utils.Toestand as T2
 
 thisModule :: String
 thisModule = "Gargantext.Components.DocsTable"
@@ -49,16 +51,16 @@ thisModule = "Gargantext.Components.DocsTable"
 
 type TotalRecords = Int
 
-type Path a = (
-    corpusId :: Int
+type Path a =
+  ( corpusId  :: Int
   , listId    :: Int
   , frontends :: Frontends
   , session   :: Session
   , tabType   :: TabSubType a
   )
 
-type LayoutProps = (
-    cacheState      :: R.State NT.CacheState
+type LayoutProps =
+  ( cacheState      :: R.State NT.CacheState
   , frontends       :: Frontends
   , chart           :: R.Element
   , listId          :: Int
@@ -74,8 +76,8 @@ type LayoutProps = (
   , totalRecords    :: Int
   )
 
-type PageLayoutProps = (
-    cacheState        :: R.State NT.CacheState
+type PageLayoutProps =
+  ( cacheState        :: R.State NT.CacheState
   , frontends         :: Frontends
   , key               :: String  -- NOTE Necessary to clear the component when cache state changes
   , listId            :: Int

src/Gargantext/Components/Footer.purs

 module Gargantext.Components.Footer where
 
-import Reactix as R
-import Reactix.DOM.HTML as H
-
 import Gargantext.Prelude
-
 import Gargantext.Sessions as Sessions
+import Reactix as R
+import Reactix.DOM.HTML as H
+import Toestand as T
 
 thisModule :: String
 thisModule = "Gargantext.Components.Footer"
 
 ---------------------------------------------------------------------------
-type FooterProps =
-  (
-    session :: Sessions.Session
-  )
+type FooterProps s = ( session :: s )
 
-footer :: Record FooterProps -> R.Element
+footer :: forall cell c. T.Read cell c => Record (FooterProps cell) -> R.Element
 footer props = R.createElement footerCpt props []
 
-footerCpt :: R.Component FooterProps
-footerCpt = R.hooksComponentWithModule thisModule "footer" cpt
-  where
-    cpt { session } _ = do
-      pure $ H.div
-              { className: "container" }
-              [ H.hr {}
-              , H.footer {} []
-              ]
+footerCpt :: forall cell c. T.Read cell c => R.Component (FooterProps cell)
+footerCpt = R.hooksComponentWithModule thisModule "footer" cpt where
+  cpt { session } _ =
+    pure $ H.div { className: "container" } [ H.hr {}, H.footer {} [] ]

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

 module Gargantext.Components.Forest.Tree.Node where
 
+import Gargantext.Prelude
 import Data.Array (reverse)
 import Data.Maybe (Maybe(..))
 import Data.Nullable (null)
-import Data.Tuple (snd)
+import Data.Symbol (SProxy(..))
 import Data.Tuple.Nested ((/\))
 import Effect (Effect)
 import Effect.Aff (Aff, launchAff)
@@ -11,8 +12,8 @@ import Effect.Class (liftEffect)
 import React.SyntheticEvent as E
 import Reactix as R
 import Reactix.DOM.HTML as H
-
-import Gargantext.Prelude
+import Record as Record
+import Toestand as T
 
 import Gargantext.AsyncTasks as GAT
 import Gargantext.Components.Forest.Tree.Node.Settings (SettingsBox(..), settingsBox)
@@ -32,21 +33,21 @@ import Gargantext.Hooks.Loader (useLoader)
 import Gargantext.Routes as Routes
 import Gargantext.Version as GV
 import Gargantext.Sessions (Session, sessionId)
-import Gargantext.Types (Name, ID)
+import Gargantext.Types (Name, ID, reverseHanded)
 import Gargantext.Types as GT
 import Gargantext.Utils.Popover as Popover
 import Gargantext.Utils.Reactix as R2
-import Gargantext.Utils.Reload as GUR
+import Gargantext.Utils.Toestand as T2
 
-thisModule :: String
-thisModule = "Gargantext.Components.Forest.Tree.Node"
+here :: R2.Here
+here = R2.here "Gargantext.Components.Forest.Tree.Node"
 
 -- Main Node
-type NodeMainSpanProps = (
-    appReload     :: GUR.ReloadS
-  , asyncTasks    :: GAT.Reductor
-  , currentRoute  :: Routes.AppRoute
-  , folderOpen    :: R.State Boolean
+type NodeMainSpanProps =
+  ( reloadRoot    :: T.Cursor T2.Reload
+  , tasks         :: GAT.Reductor
+  , route         :: Routes.AppRoute
+  , folderOpen    :: T.Cursor Boolean
   , frontends     :: Frontends
   , id            :: ID
   , isLeaf        :: IsLeaf
@@ -62,7 +63,7 @@ nodeSpan :: R2.Component NodeMainSpanProps
 nodeSpan = R.createElement nodeSpanCpt
 
 nodeSpanCpt :: R.Component NodeMainSpanProps
-nodeSpanCpt = R.hooksComponentWithModule thisModule "nodeSpan" cpt
+nodeSpanCpt = here.component "nodeSpan" cpt
   where
     cpt props children = do
       pure $ H.div {} ([ nodeMainSpan props [] ] <> children)
@@ -71,11 +72,11 @@ nodeMainSpan :: R2.Component NodeMainSpanProps
 nodeMainSpan = R.createElement nodeMainSpanCpt
 
 nodeMainSpanCpt :: R.Component NodeMainSpanProps
-nodeMainSpanCpt = R.hooksComponentWithModule thisModule "nodeMainSpan" cpt
+nodeMainSpanCpt = here.component "nodeMainSpan" cpt
   where
-    cpt props@{ appReload
-              , asyncTasks: (asyncTasks /\ dispatchAsyncTasks)
-              , currentRoute
+    cpt props@{ reloadRoot
+              , tasks: (tasks /\ dispatchAsyncTasks)
+              , route
               , dispatch
               , folderOpen
               , frontends
@@ -90,32 +91,17 @@ nodeMainSpanCpt = R.hooksComponentWithModule thisModule "nodeMainSpan" cpt
       -- only 1 popup at a time is allowed to be opened
       droppedFile   <- R.useState' (Nothing :: Maybe DroppedFile)
       isDragOver    <- R.useState' false
-
       popoverRef    <- R.useRef null
-
       R.useEffect' $ do
         R.setRef setPopoverRef $ Just $ Popover.setOpen popoverRef
-
-      let ordering =
-            case handed of
-              GT.LeftHanded  -> reverse
-              GT.RightHanded -> identity
-
-      let isSelected = Just currentRoute == Routes.nodeTypeAppRoute nodeType (sessionId session) id
+      let isSelected = Just route == Routes.nodeTypeAppRoute nodeType (sessionId session) id
 
       pure $ H.span (dropProps droppedFile isDragOver)
-                $ ordering
+        $ switchHanded
         [ folderIcon  nodeType folderOpen
         , chevronIcon isLeaf handed nodeType folderOpen
-                , nodeLink { frontends
-                           , handed
-                           , folderOpen
-                           , id
-                           , isSelected
-                           , name: name' props
-                           , nodeType
-                           , session
-                           } []
+        , nodeLink { frontends, handed, folderOpen, id, isSelected
+                   , name: name' props, nodeType, session } []
 
                 , fileTypeView { dispatch, droppedFile, id, isDragOver, nodeType }
                 , H.div {} (map (\t -> asyncProgressBar { asyncTask: t
@@ -124,7 +110,7 @@ nodeMainSpanCpt = R.hooksComponentWithModule thisModule "nodeMainSpan" cpt
                                                        , onFinish: onTaskFinish id t
                                                        , session
                                                        }
-                                ) $ GAT.getTasks asyncTasks id
+                                ) $ GAT.getTasks tasks id
                            )
                 , if nodeType == GT.NodeUser
                         then GV.versionView {session}
@@ -146,13 +132,11 @@ nodeMainSpanCpt = R.hooksComponentWithModule thisModule "nodeMainSpan" cpt
                               , session
                               , triggerRefresh: const $ dispatch RefreshTree
                               }
-
-
-                ]
+                ] handed
         where
           onTaskFinish id t _ = do
             dispatchAsyncTasks $ GAT.Finish id t
-            GUR.bump appReload
+            T2.reload reloadRoot
 
           SettingsBox {show: showBox} = settingsBox nodeType
           onPopoverClose popoverRef _ = Popover.setOpen popoverRef false
@@ -182,17 +166,12 @@ nodeMainSpanCpt = R.hooksComponentWithModule thisModule "nodeMainSpan" cpt
                 } [] ]
 
     folderIcon nodeType (open /\ setOpen) =
-      H.a { className: "folder-icon"
-          , on: { click: \_ -> setOpen $ not }
-          } [
-              H.i {className: GT.fldr nodeType open} []
-            ]
-
-    popOverIcon = H.a { className: "settings fa fa-cog" 
+      H.a { className: "folder-icon", on: { click: \_ -> setOpen $ not } }
+      [ H.i {className: GT.fldr nodeType open} [] ]
+    popOverIcon =
+      H.a { className: "settings fa fa-cog" 
           , title : "Each node of the Tree can perform some actions.\n"
-                             <> "Click here to execute one of them."
-                      } []
-
+            <> "Click here to execute one of them." } []
     dropProps droppedFile isDragOver =
       { className: "leaf " <> (dropClass droppedFile isDragOver)
       , on: { drop: dropHandler droppedFile
@@ -240,49 +219,44 @@ fldr nt open = if open
 
 -- START nodeActions
 
-type NodeActionsProps =
+type NodeActionsCommon =
   ( id       :: ID
-  , nodeType    :: GT.NodeType
   , session  :: Session
-  , triggerRefresh :: Unit -> Aff Unit
+  , refresh  :: Unit -> Aff Unit
   )
 
+type NodeActionsProps = ( nodeType :: GT.NodeType | NodeActionsCommon )
+
 nodeActions :: Record NodeActionsProps -> R.Element
 nodeActions p = R.createElement nodeActionsCpt p []
 
 nodeActionsCpt :: R.Component NodeActionsProps
-nodeActionsCpt = R.hooksComponentWithModule thisModule "nodeActions" cpt
-  where
-    cpt { id
-        , nodeType: GT.Graph
-        , session
-        , triggerRefresh
-        } _ = do
-
+nodeActionsCpt = here.component "nodeActions" cpt where
+  cpt props _ = pure (child props.nodeType) where
+    nodeActionsP = SProxy :: SProxy "nodeType"
+    childProps = Record.delete nodeActionsP props
+    child GT.NodeList = listNodeActions childProps
+    child GT.Graph = graphNodeActions childProps
+    child _ = H.div {} []
+
+graphNodeActions :: R2.Leaf NodeActionsCommon
+graphNodeActions props = R.createElement graphNodeActionsCpt props []
+
+graphNodeActionsCpt :: R.Component NodeActionsCommon
+graphNodeActionsCpt = here.component "graphNodeActions" cpt where
+  cpt { id, session, refresh } _ =
     useLoader id (graphVersions session) $ \gv ->
-        nodeActionsGraph { id
-                         , graphVersions: gv
-                         , session
-                         , triggerRefresh
-                         }
-
-    cpt { id
-        , nodeType: GT.NodeList
-        , session
-        , triggerRefresh
-        } _ = do
-      useLoader { nodeId: id, session } loadCorpusWithChild $
-        \{ corpusId } ->
-          nodeActionsNodeList { listId: id
-                              , nodeId: corpusId
-                              , nodeType: GT.TabNgramType GT.CTabTerms
-                              , session
-                              , triggerRefresh
-                              }
-    cpt _ _ = do
-      pure $ H.div {} []
-
+      nodeActionsGraph { graphVersions: gv, session, id, refresh }
   graphVersions session graphId = GraphAPI.graphVersions { graphId, session }
 
+listNodeActions :: R2.Leaf NodeActionsCommon
+listNodeActions props = R.createElement listNodeActionsCpt props []
+
+listNodeActionsCpt :: R.Component NodeActionsCommon
+listNodeActionsCpt = here.component "listNodeActions" cpt where
+  cpt { id, session, refresh } _ =
+    useLoader { nodeId: id, session } loadCorpusWithChild $ \{ corpusId } ->
+      nodeActionsNodeList
+      { listId: id, nodeId: corpusId, session, refresh: refresh
+      , nodeType: GT.TabNgramType GT.CTabTerms }
 
--- END nodeActions

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

 module Gargantext.Components.Forest.Tree.Node.Action.Contact where
 
+import Prelude
 import Data.Maybe (Maybe(..))
 import Data.Tuple.Nested ((/\))
 import Effect.Aff (Aff, launchAff)
 import Effect.Uncurried (mkEffectFn1)
-import Prelude (($))
+import Formula as F
 import Reactix as R
 import Reactix.DOM.HTML as H
+import Toestand as T
 
 import Gargantext.Components.Forest.Tree.Node.Action (Action)
 import Gargantext.Components.Forest.Tree.Node.Action.Contact.Types (AddContactParams(..))
@@ -18,71 +20,61 @@ import Gargantext.Types (ID)
 import Gargantext.Types as GT
 import Gargantext.Utils.Reactix as R2
 
-thisModule = "Gargantext.Components.Forest.Tree.Node.Action.Contact"
+here :: R2.Here
+here = R2.here "Gargantext.Components.Forest.Tree.Node.Action.Contact"
 
-------------------------------------------------------------------------
 contactReq :: Session -> ID -> AddContactParams -> Aff ID
 contactReq session nodeId =
   post session $ GR.NodeAPI GT.Annuaire (Just nodeId) "contact"
 
-------------------------------------------------------------------------
 type TextInputBoxProps =
   ( id        :: ID
   , dispatch  :: Action -> Aff Unit
   , params    :: Record AddContactProps
-  , isOpen    :: R.State Boolean
+  , isOpen    :: T.Cursor Boolean
   , boxName   :: String
   , boxAction :: AddContactParams -> Action
   )
 
 type AddContactProps = ( firstname :: String, lastname :: String)
 
-textInputBox :: Record TextInputBoxProps -> R.Element
-textInputBox p@{ boxName, boxAction, dispatch, isOpen: (true /\ setIsOpen), params } = R.createElement el p []
+textInputBox :: R2.Leaf TextInputBoxProps
+textInputBox props = R.createElement textInputBoxCpt props []
+
+textInputBoxCpt :: R.Component TextInputBoxProps
+textInputBoxCpt = here.component "textInputBox" cpt where
+  cpt p@{ boxName, boxAction, dispatch, isOpen
+        , params: { firstname, lastname } } _ =
+    content <$> T.useLive T.unequal isOpen
+            <*> T.useCell firstname <*> T.useCell lastname
     where
-    {firstname, lastname} = params
-    el = R.hooksComponentWithModule thisModule (boxName <> "Box") cpt
-    cpt {id, params:params'} _ = do
-      let {firstname, lastname} = params'
-      stateFirstname <- R.useState' firstname
-      stateLastname  <- R.useState'  lastname
-      pure $ H.div {className: "from-group row"}
-        [ textInput stateFirstname firstname
-        , textInput stateLastname  lastname
-        , submitBtn stateFirstname stateLastname
+      content false _ _ = H.div {} []
+      content true firstName lastName =
+        H.div { className: "from-group row" }
+        [ textInput firstName
+        , textInput lastName
+        , submitBtn firstName lastName
         , cancelBtn
-        ]
-      where
-        textInput (_ /\ set) default =
+        ] where
+          textInput value =
             H.div {className: "col-md-8"}
-          [ H.input { className: "form-control"
-                    , defaultValue: default
-                    , on: { input: set
-                                   <<< const
-                                   <<< R.unsafeEventValue }
-                    , placeholder: (boxName <> " Node")
-                    , type: "text"
-                    }
-          ]
-        submitBtn (val1 /\ _) (val2 /\ _) =
-          H.a {className: "btn glyphitem fa fa-ok col-md-2 pull-left"
-              , type: "button"
-              , on: { click: \_ -> do
-                    setIsOpen $ const false
-                    launchAff $ dispatch ( boxAction (AddContactParams {firstname:val1, lastname:val2} ))
-                    }
-              , title: "Submit"
-              } []
+            [ F.bindInput
+              { value, className: "form-control", type: "text"
+              , placeholder: (boxName <> " Node") } ]
+          submitBtn first last =
+            H.a
+            { className: "btn glyphitem fa fa-ok col-md-2 pull-left"
+            , type: "button", on: { click }, title:"Submit"
+            } [] where
+              click _ = do
+                firstname <- T.read first
+                lastname  <- T.read last
+                _ <- T.write false isOpen
+                launchAff $
+                  dispatch (boxAction $ AddContactParams { firstname, lastname })
           cancelBtn =
-          H.a {className: "btn text-danger glyphitem fa fa-remove col-md-2 pull-left"
-              , on: { click: \_ -> setIsOpen $ const false }
-              , title: "Cancel"
-              , type: "button"
-              } []
-textInputBox p@{ boxName, isOpen: (false /\ _) } = R.createElement el p []
-  where
-    el = R.hooksComponentWithModule thisModule (boxName <> "Box") cpt
-    cpt {} _ = pure $ H.div {} []
-
-
-
+            H.a
+            { className: "btn text-danger glyphitem fa fa-remove col-md-2 pull-left"
+            , on: { click }, title: "Cancel", type: "button"
+            } [] where
+              click _ = void $ T.write false isOpen

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

@@ -13,13 +13,18 @@ type Name = String
 type FTree = NTree LNode
 data NTree a = NTree a (Array (NTree a))
 type Tree = { tree       :: FTree
-            , asyncTasks :: Array GT.AsyncTaskWithType
+            , tasks :: Array GT.AsyncTaskWithType
             }
 
+fTreeID :: FTree -> ID
+fTreeID (NTree (LNode { id }) _) = id
+
 instance ntreeFunctor :: Functor NTree where
   map f (NTree x ary) = NTree (f x) (map (map f) ary)
 
-newtype LNode = LNode { id :: ID
+newtype LNode =
+  LNode
+  { id        :: ID
   , name      :: Name
   , nodeType  :: GT.NodeType
   , parent_id :: Maybe ID

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

@@ -23,7 +23,7 @@ type NodeActionsGraphProps =
   ( id             :: GT.ID
   , graphVersions  :: Record GraphAPI.GraphVersions
   , session        :: Session
-  , triggerRefresh :: Unit -> Aff Unit
+  , refresh :: Unit -> Aff Unit
   )
 
 nodeActionsGraph :: Record NodeActionsGraphProps -> R.Element
@@ -32,18 +32,18 @@ nodeActionsGraph p = R.createElement nodeActionsGraphCpt p []
 nodeActionsGraphCpt :: R.Component NodeActionsGraphProps
 nodeActionsGraphCpt = R.hooksComponentWithModule thisModule "nodeActionsGraph" cpt
   where
-    cpt { id, graphVersions, session, triggerRefresh } _ = do
+    cpt { id, graphVersions, session, refresh } _ = do
       pure $ H.div { className: "node-actions" } [
         if graphVersions.gv_graph == Just graphVersions.gv_repo then
           H.div {} []
         else
-          graphUpdateButton { id, session, triggerRefresh }
+          graphUpdateButton { id, session, refresh }
       ]
 
 type GraphUpdateButtonProps =
   ( id :: GT.ID
   , session :: Session
-  , triggerRefresh :: Unit -> Aff Unit
+  , refresh :: Unit -> Aff Unit
   )
 
 graphUpdateButton :: Record GraphUpdateButtonProps -> R.Element
@@ -52,7 +52,7 @@ graphUpdateButton p = R.createElement graphUpdateButtonCpt p []
 graphUpdateButtonCpt :: R.Component GraphUpdateButtonProps
 graphUpdateButtonCpt = R.hooksComponentWithModule thisModule "graphUpdateButton" cpt
   where
-    cpt { id, session, triggerRefresh } _ = do
+    cpt { id, session, refresh } _ = do
       enabled <- R.useState' true
 
       pure $ H.div { className: "update-button "
@@ -69,7 +69,7 @@ graphUpdateButtonCpt = R.hooksComponentWithModule thisModule "graphUpdateButton"
             liftEffect $ setEnabled $ const false
             g <- GraphAPI.updateGraphVersions { graphId: id, session }
             liftEffect $ setEnabled $ const true
-            triggerRefresh unit
+            refresh unit
           pure unit
 
 -- | Sync Node (List)
@@ -79,7 +79,7 @@ type NodeActionsNodeListProps =
   , nodeId :: GT.ID
   , nodeType :: GT.TabSubType GT.CTabNgramType
   , session :: Session
-  , triggerRefresh :: Unit -> Aff Unit
+  , refresh :: Unit -> Aff Unit
   )
 
 nodeActionsNodeList :: Record NodeActionsNodeListProps -> R.Element
@@ -98,7 +98,7 @@ type NodeListUpdateButtonProps =
   , nodeId :: GT.ID
   , nodeType :: GT.TabSubType GT.CTabNgramType
   , session :: Session
-  , triggerRefresh :: Unit -> Aff Unit
+  , refresh :: Unit -> Aff Unit
   )
 
 nodeListUpdateButton :: Record NodeListUpdateButtonProps -> R.Element
@@ -107,7 +107,7 @@ nodeListUpdateButton p = R.createElement nodeListUpdateButtonCpt p []
 nodeListUpdateButtonCpt :: R.Component NodeListUpdateButtonProps
 nodeListUpdateButtonCpt = R.hooksComponentWithModule thisModule "nodeListUpdateButton" cpt
   where
-    cpt { listId, nodeId, nodeType, session, triggerRefresh } _ = do
+    cpt { listId, nodeId, nodeType, session, refresh } _ = do
       enabled <- R.useState' true
 
       pure $ H.div {} [] {- { className: "update-button " 
@@ -122,6 +122,6 @@ nodeListUpdateButtonCpt = R.hooksComponentWithModule thisModule "nodeListUpdateB
             liftEffect $ setEnabled $ const false
             _ <- NTAPI.updateNodeList { listId, nodeId, nodeType, session }
             liftEffect $ setEnabled $ const true
-            triggerRefresh unit
+            refresh unit
           pure unit
       -}

src/Gargantext/Components/Forms.purs

 module Gargantext.Components.Forms where
 
+import Record as Record
 import Reactix as R
 import Reactix.DOM.HTML as H
+import Gargantext.Utils.Reactix as R2
 
-clearfix :: {} -> R.Element
-clearfix _ = H.div {className: "clearfix"} []
+clearfix :: R.Element
+clearfix = H.div { className: "clearfix" } []
 
 formGroup :: Array R.Element -> R.Element
-formGroup = H.div {className: "form-group"}
+formGroup = H.div { className: "form-group" }
 
 center :: Array R.Element -> R.Element
-center = H.div {className: "center"}
+center = H.div { className: "center" }
 
 card :: Array R.Element -> R.Element
-card = H.div {className: "card"}
+card = H.div { className: "card" }
 
 cardBlock :: Array R.Element -> R.Element
-cardBlock = H.div {className: "card-block"}
+cardBlock = H.div { className: "card-block" }
 
 cardGroup :: Array R.Element -> R.Element
-cardGroup = H.div {className: "card-group"}
+cardGroup = H.div { className: "card-group" }

src/Gargantext/Components/GraphExplorer.purs

@@ -43,9 +43,9 @@ thisModule :: String
 thisModule = "Gargantext.Components.GraphExplorer"
 
 type LayoutProps = (
-    asyncTasksRef :: R.Ref (Maybe GAT.Reductor)
+    tasks :: R.Ref (Maybe GAT.Reductor)
   , backend       :: R.State (Maybe Backend)
-  , currentRoute  :: AppRoute
+  , route  :: AppRoute
   , frontends     :: Frontends
   , graphId       :: GET.GraphId
   , handed        :: Types.Handed
@@ -93,9 +93,9 @@ explorer props = R.createElement explorerCpt props []
 explorerCpt :: R.Component Props
 explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
   where
-    cpt props@{ asyncTasksRef
+    cpt props@{ tasks
               , backend
-              , currentRoute
+              , route
               , frontends
               , graph
               , graphId
@@ -117,14 +117,14 @@ explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
       dataRef <- R.useRef graph
       graphRef <- R.useRef null
       graphVersionRef <- R.useRef (GUR.value graphVersion)
-      treeReload <- GUR.new
-      treeReloadRef <- GUR.newIInitialized treeReload
+      reloadForest <- GUR.new
+      reloadForest <- GUR.newIInitialized reloadForest
       controls <- Controls.useGraphControls { forceAtlasS
                                            , graph
                                            , graphId
                                            , hyperdataGraph
                                            , session
-                                           , treeReload: \_ -> GUR.bump treeReload
+                                           , reloadForest: \_ -> GUR.bump reloadForest
                                            }
       multiSelectEnabledRef <- R.useRef $ fst controls.multiSelectEnabled
 
@@ -161,16 +161,16 @@ explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
             inner handed [
               rowControls [ Controls.controls controls ]
             , RH.div { className: "row graph-row" } $ mainLayout handed $
-                tree { asyncTasksRef
+                tree { tasks
                     , backend
-                    , currentRoute
+                    , route
                     , frontends
                     , handed
-                    , reload: treeReload
+                    , reload: reloadForest
                     , sessions
                     , show: fst controls.showTree
                     , showLogin: snd showLogin
-                    , treeReloadRef
+                    , reloadForest
                     }
                 /\
                 RH.div { ref: graphRef, id: "graph-view", className: "col-md-12" } []
@@ -192,7 +192,7 @@ explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
                                   , session
                                   , selectedNodeIds: controls.selectedNodeIds
                                   , showSidePanel  :   controls.showSidePanel
-                                  , treeReload
+                                  , reloadForest
                                   }
             ]
           ]
@@ -220,17 +220,17 @@ explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
 
     tree :: Record TreeProps -> R.Element
     tree { show: false } = RH.div { id: "tree" } []
-    tree { asyncTasksRef, backend, frontends, handed, currentRoute, reload, sessions, showLogin, treeReloadRef } =
+    tree { tasks, backend, frontends, handed, route, reload, sessions, showLogin, reloadForest } =
       RH.div {className: "col-md-2 graph-tree"} [
-        forest { appReload: reload
-               , asyncTasksRef
+        forest { reloadRoot: reload
+               , tasks
                , backend
-               , currentRoute
+               , route
                , frontends
                , handed
                , sessions
                , showLogin
-               , treeReloadRef } []
+               , reloadForest } []
       ]
 
     mSidebar :: Maybe GET.MetaData
@@ -241,17 +241,16 @@ explorerCpt = R.hooksComponentWithModule thisModule "explorer" cpt
       Sidebar.sidebar (Record.merge props { metaData })
 
 type TreeProps =
-  (
-    asyncTasksRef :: R.Ref (Maybe GAT.Reductor)
+  ( tasks :: R.Ref (Maybe GAT.Reductor)
   , backend       :: R.State (Maybe Backend)
-  , currentRoute  :: AppRoute
+  , route  :: AppRoute
   , frontends     :: Frontends
   , handed        :: Types.Handed
   , reload        :: GUR.ReloadS
   , sessions      :: Sessions
   , show          :: Boolean
   , showLogin     :: R.Setter Boolean
-  , treeReloadRef :: GUR.ReloadWithInitializeRef
+  , reloadForest  :: GUR.ReloadWithInitializeRef
   )
 
 type MSidebarProps =
@@ -263,7 +262,7 @@ type MSidebarProps =
   , showSidePanel   :: R.State GET.SidePanelState
   , selectedNodeIds :: R.State SigmaxT.NodeIds
   , session         :: Session
-  , treeReload      :: GUR.ReloadS
+  , reloadForest    :: GUR.ReloadS
   )
 
 type GraphProps = (

src/Gargantext/Components/GraphExplorer/Button.purs

@@ -62,7 +62,7 @@ type CameraButtonProps = (
   , hyperdataGraph :: GET.HyperdataGraph
   , session :: Session
   , sigmaRef :: R.Ref Sigmax.Sigma
-  , treeReload :: Unit -> Effect Unit
+  , reloadForest :: Unit -> Effect Unit
   )
 
 
@@ -71,7 +71,7 @@ cameraButton { id
              , hyperdataGraph: GET.HyperdataGraph { graph: GET.GraphData hyperdataGraph }
              , session
              , sigmaRef
-             , treeReload } = simpleButton {
+             , reloadForest } = simpleButton {
     onClick: \_ -> do
       let sigma = R.readRef sigmaRef
       Sigmax.dependOnSigma sigma "[cameraButton] sigma: Nothing" $ \s -> do
@@ -103,7 +103,7 @@ cameraButton { id
         launchAff_ $ do
           clonedGraphId <- cloneGraph { id, hyperdataGraph, session }
           ret <- uploadArbitraryDataURL session clonedGraphId (Just $ nowStr <> "-" <> "screenshot.png") screen
-          liftEffect $ treeReload unit
+          liftEffect $ reloadForest unit
           pure ret
   , text: "Screenshot"
   }

src/Gargantext/Components/GraphExplorer/Controls.purs

@@ -54,7 +54,7 @@ type Controls =
   , showSidePanel   :: R.State GET.SidePanelState
   , showTree        :: R.State Boolean
   , sigmaRef        :: R.Ref Sigmax.Sigma
-  , treeReload      :: Unit -> Effect Unit
+  , reloadForest      :: Unit -> Effect Unit
   )
 
 type LocalControls =
@@ -168,7 +168,7 @@ controlsCpt = R.hooksComponentWithModule thisModule "controls" cpt
                                       , hyperdataGraph: props.hyperdataGraph
                                       , session: props.session
                                       , sigmaRef: props.sigmaRef
-                                      , treeReload: props.treeReload } ]
+                                      , reloadForest: props.reloadForest } ]
             ]
           ]
           --   RH.ul {} [ -- change type button (?)
@@ -196,7 +196,7 @@ controlsCpt = R.hooksComponentWithModule thisModule "controls" cpt
           --                             , hyperdataGraph: props.hyperdataGraph
           --                             , session: props.session
           --                             , sigmaRef: props.sigmaRef
-          --                             , treeReload: props.treeReload } ]
+          --                             , reloadForest: props.reloadForest } ]
           --   ]
           -- ]
 
@@ -205,14 +205,14 @@ useGraphControls :: { forceAtlasS :: SigmaxT.ForceAtlasState
                    , graphId :: GET.GraphId
                    , hyperdataGraph :: GET.HyperdataGraph
                    , session :: Session
-                   , treeReload :: Unit -> Effect Unit }
+                   , reloadForest :: Unit -> Effect Unit }
                  -> R.Hooks (Record Controls)
 useGraphControls { forceAtlasS
                  , graph
                  , graphId
                  , hyperdataGraph
                  , session
-                 , treeReload } = do
+                 , reloadForest } = do
   edgeConfluence <- R.useState' $ Range.Closed { min: 0.0, max: 1.0 }
   edgeWeight <- R.useState' $ Range.Closed {
       min: 0.0
@@ -250,7 +250,7 @@ useGraphControls { forceAtlasS
        , showSidePanel
        , showTree
        , sigmaRef
-       , treeReload
+       , reloadForest
        }
 
 getShowControls :: Record Controls -> Boolean

src/Gargantext/Components/GraphExplorer/Sidebar.purs

@@ -49,7 +49,7 @@ type Props =
   , selectedNodeIds :: R.State SigmaxT.NodeIds
   , session         :: Session
   , showSidePanel   :: R.State GET.SidePanelState
-  , treeReload      :: GUR.ReloadS
+  , reloadForest      :: GUR.ReloadS
   )
 
 sidebar :: Record Props -> R.Element
@@ -185,7 +185,7 @@ onClickRemove rType props' nodesMap' e = do
               , nodes
               , session: props'.session
               , termList: rType
-              , treeReload: props'.treeReload }
+              , reloadForest: props'.reloadForest }
   snd props'.removedNodeIds  $ const $ fst props'.selectedNodeIds
   snd props'.selectedNodeIds $ const SigmaxT.emptyNodeIds
 
@@ -215,18 +215,18 @@ type DeleteNodes =
   , nodes      :: Array (Record SigmaxT.Node)
   , session    :: Session
   , termList   :: TermList
-  , treeReload :: GUR.ReloadS
+  , reloadForest :: GUR.ReloadS
   )
 
 deleteNodes :: Record DeleteNodes -> Effect Unit
-deleteNodes { graphId, metaData, nodes, session, termList, treeReload } = do
+deleteNodes { graphId, metaData, nodes, session, termList, reloadForest } = do
   launchAff_ do
     patches <- (parTraverse (deleteNode termList session metaData) nodes) :: Aff (Array NTC.VersionedNgramsPatches)
     let mPatch = last patches
     case mPatch of
       Nothing -> pure unit
       Just (NTC.Versioned patch) -> do
-        liftEffect $ GUR.bump treeReload
+        liftEffect $ GUR.bump reloadForest
 
 -- Why is this called delete node?
 deleteNode :: TermList

src/Gargantext/Components/Login/Form.purs

+module Gargantext.Components.Login.Form where
+
+import Prelude (Unit, bind, discard, notEq, pure, show, ($), (&&), (*>), (<>))
+import Data.Either (Either(..))
+import DOM.Simple.Event as DE
+import Effect (Effect)
+import Effect.Aff (launchAff_)
+import Effect.Class (liftEffect)
+import Formula as F
+import Reactix as R
+import Reactix.SyntheticEvent as E
+import Reactix.DOM.HTML as H
+import Toestand as T
+
+import Gargantext.Components.Login.Types (AuthRequest(..))
+import Gargantext.Components.Forms (clearfix, formGroup)
+import Gargantext.Ends (Backend)
+import Gargantext.Sessions as Sessions
+import Gargantext.Sessions (Sessions, postAuthRequest)
+import Gargantext.Utils (csrfMiddlewareToken)
+import Gargantext.Utils.Reactix as R2
+
+here :: R2.Here
+here = R2.here "Gargantext.Components.Login.Form"
+
+type Form =
+  { error    :: String
+  , username :: String
+  , password :: String
+  , agreed   :: Boolean
+  }
+
+emptyForm :: Form
+emptyForm = { error: "", username: "", password: "", agreed: false }
+
+type Cursors =
+  { error    :: T.Cursor String
+  , username :: T.Cursor String
+  , password :: T.Cursor String
+  , agreed   :: T.Cursor Boolean }
+
+formCursors :: T.Cell Form -> R.Hooks Cursors
+formCursors cell = T.useFieldCursors cell {}
+
+type Props s v =
+  ( backend  :: Backend
+  , sessions :: s
+  , visible  :: v
+  )
+
+form :: forall s v. T.ReadWrite s Sessions => T.ReadWrite v Boolean
+     => Record (Props s v) -> R.Element
+form props = R.createElement formCpt props []
+
+formCpt :: forall s v. T.ReadWrite s Sessions => T.ReadWrite v Boolean
+        => R.Component (Props s v)
+formCpt = here.component "form" cpt where
+  cpt props@{ backend, sessions, visible } _ = do
+    cell    <- T.useCell emptyForm
+    cursors <- T.useFieldCursors cell {}
+    pure $ R2.row
+      [ H.form { className: "col-md-12" }
+        [ formLoginLink backend
+        , requestAccessLink
+        , csrfTokenInput
+        , formGroup
+          [ H.p {} [ F.viewText { text: cursors.error } ]
+          , usernameInput cursors.username ]
+        , formGroup
+          [ passwordInput cursors.password
+          , clearfix ]
+        , termsCheckbox cursors.agreed
+        , submitButton { backend, sessions, visible, cell }
+        ]]
+
+-- might be wrong, all we care about is preventDefault
+type ChangeEvent = R.SyntheticEvent DE.MouseEvent
+
+formLoginLink :: Backend -> R.Element
+formLoginLink backend =
+  H.h4 { className: "text-center" } {-className: "text-muted"-}
+  [ H.text $ "Login to garg://" <> show backend ]
+
+type SubmitButtonProps s v = ( cell :: T.Cell Form | Props s v )
+
+submitButton
+  :: forall s v. T.ReadWrite s Sessions => T.Write v Boolean
+  => R2.Leaf (SubmitButtonProps s v)
+submitButton props = R.createElement submitButtonCpt props []
+
+submitButtonCpt
+  :: forall s v. T.ReadWrite s Sessions => T.Write v Boolean
+  => R.Component (SubmitButtonProps s v)
+submitButtonCpt = here.component "submitButton" cpt where
+  cpt { backend, sessions, visible, cell } _ = do
+    { agreed, username, password } <- T.useLive T.unequal cell
+    pure $ 
+      if agreed && (username `notEq` "") && (password `notEq` "")
+      then H.div { className: "text-center" }
+           [ loginSubmit $ submitForm { backend, sessions, visible } cell ]
+      else H.div {} []
+    
+-- Attempts to submit the form
+submitForm :: forall s v. T.ReadWrite s Sessions => T.Write v Boolean
+           => Record (Props s v) -> T.Cell Form -> ChangeEvent -> Effect Unit
+submitForm { backend, sessions, visible } cell e = do
+  E.preventDefault e
+  state <- T.read cell
+  launchAff_ $ do
+    res <- postAuthRequest backend (req state)
+    case res of
+      Left message -> liftEffect $ T.write (state { error = message }) cell
+      Right sess ->
+        liftEffect $
+          Sessions.change (Sessions.Login sess) sessions
+          *> T.write false visible
+          *> T.write (state { error = "" }) cell
+    where
+      req { username, password } = AuthRequest { username, password }
+
+csrfTokenInput :: R.Element -- TODO hard-coded CSRF token
+csrfTokenInput = H.input { type: "hidden", name, value } where
+  name = "csrfmiddlewaretoken"
+  value = csrfMiddlewareToken
+
+termsCheckbox :: forall cell. T.ReadWrite cell Boolean => cell -> R.Element
+termsCheckbox checked =
+  H.div { className: "form-group form-check text-center" }
+  [ F.bindCheckbox { checked, className: "form-check-input" }
+  , H.label { className: "form-check-label" }
+    [ H.text "I hereby accept the "
+    , H.a { target: "_blank", href: termsUrl }
+      [ H.text "terms of use" ] ]]
+  where termsUrl = "http://gitlab.iscpif.fr/humanities/tofu/tree/master"
+
+requestAccessLink :: R.Element
+requestAccessLink =
+  H.div { className: "text-center" }
+  [ H.a { href, target: "_blank" } [ H.text "request access" ] ]
+  where href = "https://iscpif.fr/apply-for-a-services-account/"
+
+usernameInput :: forall cell. T.ReadWrite cell String => cell -> R.Element
+usernameInput value =
+  F.bindInput
+  { value
+  , type: "text",         className:   "form-control"
+  , id:   "id_username",  placeholder: "username"
+  , name: "username",     maxLength:   "254"
+  }
+
+passwordInput :: forall cell. T.ReadWrite cell String => cell -> R.Element
+passwordInput value =
+  F.bindInput
+  { value
+  , type: "password",     className:   "form-control"
+  , name: "password",     placeholder: "password"
+  , id:   "id_password"
+  }
+
+loginSubmit :: (ChangeEvent -> Effect Unit) -> R.Element
+loginSubmit click =
+  H.button { id, className, type: "submit", on: { click } }
+  [ H.text "Login" ] where
+    id = "login-button"
+    className = "btn btn-primary btn-rounded"

src/Gargantext/Components/Login/Modal.purs

+module Gargantext.Components.Login.Modal (Props, modal) where
+
+import Prelude (bind, (<*), (>>=), (<$>))
+import Data.Semigroup ((<>))
+import Reactix as R
+import Reactix.DOM.HTML as H
+import Toestand as T
+import Gargantext.Utils.Reactix as R2
+
+type Props v = ( visible :: v )
+
+here :: R2.Here
+here = R2.here "Gargantext.Components.Login.Modal"
+
+modal :: forall v. T.ReadWrite v Boolean
+       => Record (Props v) -> R.Element -> R.Element
+modal props child = R.createElement modalCpt props [ child ]
+
+modalCpt :: forall v. T.ReadWrite v Boolean => R.Component (Props v)
+modalCpt = here.component "modal" cpt where
+  cpt { visible } children = do
+    v <- T.useLive T.unequal visible
+    R.createPortal
+      [ H.div
+        { id: "loginModal", className: modalClass v, key: 0
+        , role: "dialog", data: { show: true }, style: { display: "block"} }
+        [ H.div { className: "modal-dialog modal-lg", role: "document"}
+          [ H.div { className: "modal-content" }
+            [ H.div { className: "modal-header" }
+              [ H.div { className: "col-md-10 col-md-push-1" }
+                [ H.h2 { className: "text-primary center m-a-2" }
+                  -- H.i {className: "material-icons md-36"}
+                  -- [ H.text "control_point" ]
+                  [ H.span {className: "icon-text"} [ H.text "GarganText" ]]]
+              , H.button -- TODO , font-size : "50px"
+                { type: "button", className: "close"
+                , data: { dismiss: "modal" }}
+                [ H.a { on: { click }, className: "btn fa fa-times" } [] ]]
+            , H.div { className: "modal-body" } children ]]]]
+      <$> R2.getPortalHost
+    where
+      click _ = here.log "click!" <* T.write false visible
+      modalClass s = "modal myModal" <> if s then "" else " fade"

src/Gargantext/Components/Login/Types.purs

@@ -2,7 +2,9 @@ module Gargantext.Components.Login.Types where
 
 import Prelude
 
-import Data.Argonaut (class DecodeJson, class EncodeJson, decodeJson, jsonEmptyObject, (.:), (.:!), (:=), (~>))
+import Data.Argonaut
+  ( class DecodeJson, class EncodeJson
+  , decodeJson, jsonEmptyObject, (.:), (.:!), (:=), (~>) )
 import Data.Generic.Rep (class Generic)
 import Data.Generic.Rep.Eq (genericEq)
 import Data.Lens (Iso', iso)
@@ -24,8 +26,7 @@ newtype AuthResponse = AuthResponse
   , inval :: Maybe AuthInvalid
   }
 
-newtype AuthInvalid = AuthInvalid
-  { message :: String }
+newtype AuthInvalid = AuthInvalid { message :: String }
 
 newtype AuthData = AuthData
   { token   :: Token
@@ -60,7 +61,7 @@ instance decodeAuthData :: DecodeJson AuthData where
     obj   <- decodeJson json
     token <- obj .: "token"
     tree_id <- obj .: "tree_id"
-    pure $ AuthData {token, tree_id}
+    pure $ AuthData { token, tree_id }
 
 instance encodeAuthRequest :: EncodeJson AuthRequest where
   encodeJson (AuthRequest {username, password}) =

src/Gargantext/Components/NgramsTable/Core.purs

@@ -78,8 +78,7 @@ module Gargantext.Components.NgramsTable.Core
   )
   where
 
-import Prelude
-
+import Gargantext.Prelude
 import Control.Monad.State (class MonadState, execState)
 import Data.Argonaut (class DecodeJson, class EncodeJson, decodeJson, encodeJson, jsonEmptyObject, (.:), (.:!), (.:?), (:=), (:=?), (~>), (~>?))
 import Data.Argonaut.Decode.Error (JsonDecodeError(..))
@@ -94,7 +93,7 @@ import Data.Generic.Rep (class Generic)
 import Data.Generic.Rep.Eq (genericEq)
 import Data.Generic.Rep.Ord (genericCompare)
 import Data.Generic.Rep.Show (genericShow)
-import Data.Lens (Iso', Lens', use, view, (%=), (%~), (.~), (?=), (^?), (^.))
+import Data.Lens (Iso', Lens', use, view, (%=), (%~), (.~), (?=), (^?))
 import Data.Lens.At (class At, at)
 import Data.Lens.Common (_Just)
 import Data.Lens.Fold (folded, traverseOf_)
@@ -131,19 +130,20 @@ import Reactix as R
 import Reactix.DOM.HTML as H
 import Partial (crashWith)
 import Partial.Unsafe (unsafePartial)
+import Toestand as T
 
 import Gargantext.AsyncTasks as GAT
 import Gargantext.Components.Table       as T
 import Gargantext.Components.Table.Types as T
-import Gargantext.Prelude
 import Gargantext.Routes (SessionRoute(..))
 import Gargantext.Sessions (Session, get, post, put)
 import Gargantext.Types (AsyncTaskType(..), AsyncTaskWithType(..), CTabNgramType(..), ListId, OrderBy(..), ScoreType(..), TabSubType(..), TabType(..), TermList(..), TermSize(..))
 import Gargantext.Utils.KarpRabin (indicesOfAny)
-import Gargantext.Utils.Reload as GUR
+import Gargantext.Utils.Reactix as R2
+import Gargantext.Utils.Toestand as T2
   
-thisModule :: String
-thisModule = "Gargantext.Components.NgramsTable.Core"
+here :: R2.Here
+here = R2.here "Gargantext.Components.NgramsTable.Core"
 
 type Endo a = a -> a
 
@@ -809,7 +809,7 @@ applyPatchMap applyPatchValue (PatchMap pm) m = mergeMap f pm m
 applyPatchMap applyPatchValue (PatchMap pm) m =
     foldl go m (Map.toUnfoldable pm :: List (Tuple k p))
   where
-    go m (Tuple k pv) = Map.alter (applyPatchValue pv) k m
+    go m' (Tuple k pv) = Map.alter (applyPatchValue pv) k m'
 
 type VersionedNgramsPatches = Versioned NgramsPatches
 
@@ -1131,7 +1131,7 @@ syncResetButtons :: Record SyncResetButtonsProps -> R.Element
 syncResetButtons p = R.createElement syncResetButtonsCpt p []
 
 syncResetButtonsCpt :: R.Component SyncResetButtonsProps
-syncResetButtonsCpt = R.hooksComponentWithModule thisModule "syncResetButtons" cpt
+syncResetButtonsCpt = here.component "syncResetButtons" cpt
   where
     cpt { afterSync, ngramsLocalPatch, performAction } _ = do
       synchronizing@(s /\ setSynchronizing) <- R.useState' false
@@ -1179,18 +1179,17 @@ chartsAfterSync :: forall props discard.
   }
   -> R.Ref (Maybe GAT.Reductor)
   -> Int
-  -> GUR.ReloadWithInitializeRef
+  -> T.Cursor (T2.InitReload T.Cursor)
   -> discard
   -> Aff Unit
-chartsAfterSync path' asyncTasksRef nodeId treeReloadRef _ = do
+chartsAfterSync path' tasks nodeId reloadForest _ = do
   task <- postNgramsChartsAsync path'
   liftEffect $ do
     log2 "[chartsAfterSync] Synchronize task" task
-    case R.readRef asyncTasksRef of
-      Nothing -> log "[chartsAfterSync] asyncTasksRef is Nothing"
-      Just asyncTasks -> do
-        snd asyncTasks $ GAT.Insert nodeId task
-        GUR.bumpI treeReloadRef
+    case R.readRef tasks of
+      Nothing -> log "[chartsAfterSync] tasks is Nothing"
+      Just tasks' ->
+        snd tasks' (GAT.Insert nodeId task) *> T2.reload reloadForest
 
 postNgramsChartsAsync :: forall s. CoreParams s -> Aff AsyncTaskWithType
 postNgramsChartsAsync { listIds, nodeId, session, tabType } = do

src/Gargantext/Components/Nodes/Annuaire/User.purs

@@ -150,12 +150,12 @@ listElement :: Array R.Element -> R.Element
 listElement = H.li { className: "list-group-item justify-content-between" }
 
 type LayoutProps =
-  ( appReload     :: GUR.ReloadS
-  , asyncTasksRef :: R.Ref (Maybe GAT.Reductor)
+  ( reloadRoot     :: GUR.ReloadS
+  , tasks :: R.Ref (Maybe GAT.Reductor)
   , frontends     :: Frontends
   , nodeId        :: Int
   , session       :: Session
-  , treeReloadRef :: GUR.ReloadWithInitializeRef
+  , reloadForest :: GUR.ReloadWithInitializeRef
   )
 
 type KeyLayoutProps = (
@@ -169,17 +169,17 @@ userLayout props = R.createElement userLayoutCpt props []
 userLayoutCpt :: R.Component LayoutProps
 userLayoutCpt = R.hooksComponentWithModule thisModule "userLayout" cpt
   where
-    cpt { appReload, asyncTasksRef, frontends, nodeId, session, treeReloadRef } _ = do
+    cpt { reloadRoot, tasks, frontends, nodeId, session, reloadForest } _ = do
       let sid = sessionId session
 
       pure $ userLayoutWithKey {
-          appReload
-        , asyncTasksRef
+          reloadRoot
+        , tasks
         , frontends
         , key: show sid <> "-" <> show nodeId
         , nodeId
         , session
-        , treeReloadRef
+        , reloadForest
         }
 
 userLayoutWithKey :: Record KeyLayoutProps -> R.Element
@@ -188,7 +188,7 @@ userLayoutWithKey props = R.createElement userLayoutWithKeyCpt props []
 userLayoutWithKeyCpt :: R.Component KeyLayoutProps
 userLayoutWithKeyCpt = R.hooksComponentWithModule thisModule "userLayoutWithKey" cpt
   where
-    cpt { appReload, asyncTasksRef, frontends, nodeId, session, treeReloadRef } _ = do
+    cpt { reloadRoot, tasks, frontends, nodeId, session, reloadForest } _ = do
       reload <- GUR.new
 
       cacheState <- R.useState' LT.CacheOn
@@ -201,15 +201,15 @@ userLayoutWithKeyCpt = R.hooksComponentWithModule thisModule "userLayoutWithKey"
             display { title: fromMaybe "no name" name }
                     (contactInfos hyperdata (onUpdateHyperdata reload))
           , Tabs.tabs {
-                 appReload
-               , asyncTasksRef
+                 reloadRoot
+               , tasks
                , cacheState
                , contactData
                , frontends
                , nodeId
                , session
                , sidePanelTriggers
-               , treeReloadRef
+               , reloadForest
                }
           ]
       where

src/Gargantext/Components/Nodes/Corpus/Document/Types.purs

@@ -14,7 +14,7 @@ import Gargantext.Types (ListId, NodeID, TabType)
 
 type DocPath =
   { listIds  :: Array ListId
-  , mCorpusId :: Maybe NodeID
+  , corpusId :: Maybe NodeID
   , nodeId   :: NodeID
   , session  :: Session
   , tabType  :: TabType

src/Gargantext/Components/Nodes/Dashboard/Types.purs

@@ -35,10 +35,7 @@ instance encodeHyperdata :: EncodeJson Hyperdata where
     ~> jsonEmptyObject
 
 
-type LoadProps = (
-    nodeId  :: Int
-  , session :: Session
-  )
+type LoadProps = ( nodeId  :: Int, session :: Session )
 
 loadDashboard' :: Record LoadProps -> Aff DashboardData
 loadDashboard' {nodeId, session} = get session $ NodeAPI Node (Just nodeId) ""
@@ -47,10 +44,7 @@ loadDashboard' {nodeId, session} = get session $ NodeAPI Node (Just nodeId) ""
 loadDashboardWithReload :: {reload :: Int  | LoadProps} -> Aff DashboardData
 loadDashboardWithReload {nodeId, session} = loadDashboard' {nodeId, session}
 
-type SaveProps = (
-  hyperdata :: Hyperdata
-  | LoadProps
-  )
+type SaveProps = ( hyperdata :: Hyperdata | LoadProps )
 
 saveDashboard :: Record SaveProps -> Aff Unit
 saveDashboard {hyperdata, nodeId, session} = do

src/Gargantext/Components/Nodes/Lists.purs

@@ -73,12 +73,12 @@ topBarCpt = R.hooksComponentWithModule thisModule "topBar" cpt
 --------------------------------------------------------
 
 type CommonProps = (
-    appReload     :: GUR.ReloadS
-  , asyncTasksRef :: R.Ref (Maybe GAT.Reductor)
+    reloadRoot     :: GUR.ReloadS
+  , tasks :: R.Ref (Maybe GAT.Reductor)
   , nodeId        :: Int
   , session       :: Session
   , sessionUpdate :: Session -> Effect Unit
-  , treeReloadRef :: GUR.ReloadWithInitializeRef
+  , reloadForest :: GUR.ReloadWithInitializeRef
   )
 
 type Props = (
@@ -113,13 +113,13 @@ listsLayoutWithKey props = R.createElement listsLayoutWithKeyCpt props []
 listsLayoutWithKeyCpt :: R.Component KeyProps
 listsLayoutWithKeyCpt = R.hooksComponentWithModule thisModule "listsLayoutWithKey" cpt
   where
-    cpt { appReload
-        , asyncTasksRef
+    cpt { reloadRoot
+        , tasks
         , controls
         , nodeId
         , session
         , sessionUpdate
-        , treeReloadRef } _ = do
+        , reloadForest } _ = do
       let path = { nodeId, session }
 
       cacheState <- R.useState' $ getCacheState CacheOn session nodeId
@@ -140,15 +140,15 @@ listsLayoutWithKeyCpt = R.hooksComponentWithModule thisModule "listsLayoutWithKe
               , title: "Corpus " <> name
               , user: authors }
           , Tabs.tabs {
-               appReload
-             , asyncTasksRef
+               reloadRoot
+             , tasks
              , cacheState
              , corpusData
              , corpusId
              , key: "listsLayoutWithKey-tabs-" <> (show $ fst cacheState)
              , session
              , sidePanelTriggers: controls.triggers
-             , treeReloadRef
+             , reloadForest
              }
           ]
       where