[Array] some functions needed (same as in Data.List from Haskell) searching for it.

src/AddCorpusview.purs

@@ -71,12 +71,11 @@ performAction NoOp _ _ = void do
 performAction (SelectDatabase selected) _ _ = void do
   modifyState \( state) -> state { select_database = selected }
 
-
 performAction (UnselectDatabase unselected) _ _ = void do
   modifyState \( state) ->  state { unselect_database = unselected }
 
 performAction (LoadDatabaseDetails) _ _ = void do
-  res <- lift $ getDatabaseDetails $ QueryString{query_query: "string",query_name: ["Pubmed"]}
+  res <- lift $ getDatabaseDetails $ QueryString { query_query: "string",query_name: ["Pubmed"]}
   case res of
      Left err -> cotransform $ \(state) ->  state
      Right resData -> do

src/Gargantext/Data/Array.purs

+module Gargantext.Data.Array where
+
+import Control.Monad.Aff.Console (log)
+import Data.Array
+
+--
+---- | The 'intersperse' function takes an element and a list and
+---- \`intersperses\' that element between the elements of the list.
+---- For example,
+----
+---- >>> intersperse ',' "abcde"
+---- "a,b,c,d,e"
+--intersperse             :: a -> [a] -> [a]
+--intersperse _   []      = []
+--intersperse sep (x:xs)  = x : prependToAll sep xs
+--
+--
+---- We want to make every element in the 'intersperse'd list available
+---- as soon as possible to avoid space leaks. Experiments suggested that
+---- a separate top-level helper is more efficient than a local worker.
+--prependToAll            :: a -> [a] -> [a]
+--prependToAll _   []     = []
+--prependToAll sep (x:xs) = sep : x : prependToAll sep xs
+--
+---- | 'intercalate' @xs xss@ is equivalent to @('concat' ('intersperse' xs xss))@.
+---- It inserts the list @xs@ in between the lists in @xss@ and concatenates the
+---- result.
+----
+---- >>> intercalate ", " ["Lorem", "ipsum", "dolor"]
+---- "Lorem, ipsum, dolor"
+--intercalate :: [a] -> [[a]] -> [a]
+--intercalate xs xss = concat (intersperse xs xss)
+--
+

src/Navigation.purs

@@ -217,7 +217,6 @@ divLogo = a [ className "navbar-brand logoSmall"
                     ] []
               ]
 
-
 divDropdownLeft :: ReactElement
 divDropdownLeft = ul [className "nav navbar-nav"]
                      [ ul [className "nav navbar-nav pull-left"]
@@ -231,8 +230,24 @@ divDropdownLeft = ul [className "nav navbar-nav"]
                                            ] []
                                     , text " Info"
                                     ]
-                               , ul [className "dropdown-menu"]
-                                    (( map liNav [ LiNav { title : "Quick start, tutorials and methodology"
+                               , ul [className "dropdown-menu"] divLeftdropdownElements
+                               ]
+                           ]
+                      ]
+
+-- TODO 
+-- import Gargantext.Data.Array
+-- menu [[ LiNav, LiNav]
+--      ,[ LiNav, LiNav]
+--      ,[ LiNav ]
+--      ]
+--      where
+--         menu = map linNav . foldl (\a b -> a <> b) . intercalate [divider]
+--          where
+--             divider = [li [className "divider"] []]
+--
+divLeftdropdownElements :: Array ReactElement
+divLeftdropdownElements = (( map liNav [ LiNav { title : "Quick start, tutorials and methodology"
                                                          , href  : "https://iscpif.fr/gargantext/your-first-map/"
                                                          , icon  : "fas fa-book"
                                                          , text  : "Documentation"
@@ -266,9 +281,6 @@ divDropdownLeft = ul [className "nav navbar-nav"]
                                                  )
                                         ]
                                        )
-                                 ]
-                           ]
-                      ]
 
 
 data LiNav = LiNav { title :: String
@@ -296,8 +308,9 @@ liNav (LiNav { title:tit
 
 -- TODO put the search form in the center of the navBar
 divSearchBar :: ReactElement
-divSearchBar = ul [ className "nav navbar-nav", style { "margin-left" : "146px"}]
-                  [ div [className "navbar-form"]
+divSearchBar = ul [ className "nav navbar-nav"
+                  , style { "margin-left" : "146px"}
+                  ] [ div [className "navbar-form"]
                           [ input [ className   "search-query"
                                   , placeholder "Query, URL or FILE (works with Firefox or Chromium browsers)"
                                   , _type "text"
@@ -314,7 +327,8 @@ divSearchBar = ul [ className "nav navbar-nav", style { "margin-left" : "146px"}
 
 --divDropdownRight :: Render AppState props Action
 divDropdownRight :: ReactElement
-divDropdownRight = ul [className "nav navbar-nav pull-right"]
+divDropdownRight = 
+  ul [className "nav navbar-nav pull-right"]
      [
        -- TODO if logged in : enable dropdown to logout
        li [className "dropdown"]
@@ -367,8 +381,7 @@ layoutSpec :: forall eff props. Spec (E eff) AppState props Action
 layoutSpec =
   fold
   [ routingSpec
-  , container $
-       withState pagesComponent
+  , container $ withState pagesComponent
   ]
   where
     container :: Spec (E eff) AppState props Action -> Spec (E eff) AppState props Action