module Gargantext.Components.Tree where import Prelude hiding (div) import Control.Monad.Cont.Trans (lift) import DOM.Simple.Console (log2) import Data.Argonaut (class DecodeJson, class EncodeJson, decodeJson, jsonEmptyObject, (.:), (:=), (~>)) import Data.Array (filter, sortWith) import Data.Generic.Rep (class Generic) import Data.Generic.Rep.Eq (genericEq) import Data.Generic.Rep.Show (genericShow) import Data.Maybe (Maybe(..), fromJust) import Data.Newtype (class Newtype) import Data.Tuple (Tuple) import Data.Tuple.Nested ((/\)) import Effect (Effect) import Effect.Aff (Aff, launchAff, launchAff_, killFiber, runAff) import Effect.Class (liftEffect) import Effect.Exception (error) import Effect.Uncurried (mkEffectFn1) import FFI.Simple ((..)) import Partial.Unsafe (unsafePartial) import React as React import React.DOM (a, div, i) import React.DOM.Props (className, style) import React.SyntheticEvent as E import Reactix as R import Reactix.DOM.HTML as H import Thermite (Spec) import URI.Extra.QueryPairs as QP import URI.Query as Q import Unsafe.Coerce (unsafeCoerce) import Web.File.File (toBlob) import Web.File.FileList (FileList, item) import Web.File.FileReader.Aff (readAsText) import Gargantext.Components.Loader2 (useLoader) import Gargantext.Config (toUrl, End(..), NodeType(..), readNodeType) import Gargantext.Config.REST (get, put, post, postWwwUrlencoded, delete) import Gargantext.Router as Router import Gargantext.Types (class ToQuery, toQuery) import Gargantext.Utils (id) import Gargantext.Utils.Reactix as R2 type Name = String type Open = Boolean type URL = String type ID = Int data NodePopup = CreatePopup | NodePopup type Props = { root :: ID, mCurrentRoute :: Maybe Router.Routes } data NTree a = NTree a (Array (NTree a)) instance ntreeFunctor :: Functor NTree where map f (NTree x ary) = NTree (f x) (map (map f) ary) -- Keep only the nodes matching the predicate. -- The root of the tree is always kept. filterNTree :: forall a. (a -> Boolean) -> NTree a -> NTree a filterNTree p (NTree x ary) = NTree x $ map (filterNTree p) $ filter (\(NTree a _) -> p a) ary newtype LNode = LNode { id :: ID , name :: Name , nodeType :: NodeType} derive instance newtypeLNode :: Newtype LNode _ instance decodeJsonLNode :: DecodeJson LNode where decodeJson json = do obj <- decodeJson json id_ <- obj .: "id" name <- obj .: "name" nodeType <- obj .: "type" pure $ LNode { id : id_ , name , nodeType} instance decodeJsonFTree :: DecodeJson (NTree LNode) where decodeJson json = do obj <- decodeJson json node <- obj .: "node" nodes <- obj .: "children" node' <- decodeJson node nodes' <- decodeJson nodes pure $ NTree node' nodes' type FTree = NTree LNode -- file upload types data FileType = CSV | PresseRIS derive instance genericFileType :: Generic FileType _ instance eqFileType :: Eq FileType where eq = genericEq instance showFileType :: Show FileType where show = genericShow readFileType :: String -> Maybe FileType readFileType "CSV" = Just CSV readFileType "PresseRIS" = Just PresseRIS readFileType _ = Nothing newtype UploadFileContents = UploadFileContents String data DroppedFile = DroppedFile { contents :: UploadFileContents , fileType :: Maybe FileType } type FileHash = String data Action = Submit String | DeleteNode | CreateSubmit String NodeType | UploadFile FileType UploadFileContents type State = { tree :: FTree } mapFTree :: (FTree -> FTree) -> State -> State mapFTree f s@{tree} = s {tree = f tree} -- TODO: make it a local function --performAction :: forall props. PerformAction State props Action performAction :: R.State Int -> R.State State -> Action -> Aff Unit performAction (_ /\ setReload) (s@{tree: NTree (LNode {id}) _} /\ setState) DeleteNode = do void $ deleteNode id --modifyState_ $ mapFTree $ filterNTree (\(LNode {id}) -> id /= nid) --liftEffect $ setState $ mapFTree $ filterNTree $ \(LNode {id: nid}) -> nid /= id liftEffect $ setReload $ \r -> r + 1 performAction _ ({tree: NTree (LNode {id}) _} /\ setState) (Submit name) = do void $ renameNode id $ RenameValue {name} --modifyState_ $ mapFTree $ setNodeName rid name liftEffect $ setState $ \s@{tree: NTree (LNode node) arr} -> s {tree = NTree (LNode node {name = name}) arr} performAction (_ /\ setReload) (s@{tree: NTree (LNode {id}) _} /\ setState) (CreateSubmit name nodeType) = do void $ createNode id $ CreateValue {name, nodeType} --modifyState_ $ mapFTree $ map $ hidePopOverNode nid liftEffect $ setReload $ \r -> r + 1 performAction _ ({tree: NTree (LNode {id}) _} /\ _) (UploadFile fileType contents) = do hashes <- uploadFile id fileType contents liftEffect $ log2 "uploaded:" hashes ------------------------------------------------------------------------ mCorpusId :: Maybe Router.Routes -> Maybe Int mCorpusId (Just (Router.Corpus id)) = Just id mCorpusId (Just (Router.CorpusDocument id _ _)) = Just id mCorpusId _ = Nothing type TreeViewProps = { tree :: FTree , mCurrentRoute :: Maybe Router.Routes } loadedTreeView :: R.State Int -> TreeViewProps -> R.Element loadedTreeView setReload p = R.createElement el p [] where el = R.hooksComponent "LoadedTreeView" cpt cpt {tree, mCurrentRoute} _ = do setState <- R.useState' {tree} pure $ H.div {className: "tree"} [ toHtml setReload setState mCurrentRoute ] treeLoadView :: R.State Int -> Props -> R.Element treeLoadView setReload p = R.createElement el p [] where el = R.hooksComponent "TreeLoadView" cpt cpt {root, mCurrentRoute} _ = do useLoader root loadNode $ \{loaded} -> loadedTreeView setReload {tree: loaded, mCurrentRoute} treeview :: Spec {} Props Void treeview = R2.elSpec $ R.hooksComponent "TreeView" cpt where cpt {root, mCurrentRoute} _children = do -- NOTE: this is a hack to reload the tree view on demand setReload <- R.useState' 0 pure $ treeLoadView setReload {root, mCurrentRoute} -- START toHtml toHtml :: R.State Int -> R.State State -> Maybe Router.Routes -> R.Element --toHtml d s@(NTree (LNode {id, name, nodeType}) ary) n = R.createElement el {} [] toHtml setReload setState@({tree: (NTree (LNode {id, name, nodeType}) ary)} /\ _) mCurrentRoute = R.createElement el {} [] where el = R.hooksComponent "NodeView" cpt pAction = performAction setReload setState cpt props _ = do folderOpen <- R.useState' true let withId (NTree (LNode {id}) _) = id pure $ H.ul {} [ H.li {} ( [ nodeMainSpan pAction {id, name, nodeType, mCurrentRoute} folderOpen ] <> childNodes setReload folderOpen mCurrentRoute (sortWith withId ary) ) ] type NodeMainSpanProps = ( id :: ID , name :: Name , nodeType :: NodeType , mCurrentRoute :: Maybe Router.Routes) nodeMainSpan :: (Action -> Aff Unit) -> Record NodeMainSpanProps -> R.State Boolean -> R.Element nodeMainSpan d p folderOpen = R.createElement el p [] where el = R.hooksComponent "NodeMainSpan" cpt cpt {id, name, nodeType, mCurrentRoute} _ = do -- only 1 popup at a time is allowed to be opened popupOpen <- R.useState' (Nothing :: Maybe NodePopup) droppedFile <- R.useState' (Nothing :: Maybe DroppedFile) isDragOver <- R.useState' false pure $ H.span (dropProps droppedFile isDragOver) [ folderIcon folderOpen , H.a { href: (toUrl Front nodeType (Just id)) , style: {"margin-left": "22px"} } [ nodeText {isSelected: (mCorpusId mCurrentRoute) == (Just id), name} ] , popOverIcon popupOpen , nodePopupView d {id, name} popupOpen , createNodeView d {id, name} popupOpen , fileTypeView d {id} droppedFile isDragOver ] folderIcon folderOpen@(open /\ _) = H.a {onClick: R2.effToggler folderOpen} [ H.i {className: fldr open} [] ] popOverIcon (popOver /\ setPopOver) = H.a { className: "glyphicon glyphicon-cog" , id: "rename-leaf" , onClick: mkEffectFn1 $ \_ -> setPopOver $ toggle } [] where toggle Nothing = Just NodePopup toggle _ = Nothing dropProps droppedFile isDragOver = { className: dropClass droppedFile isDragOver , onDrop: dropHandler droppedFile , onDragOver: onDragOverHandler isDragOver , onDragLeave: onDragLeave isDragOver } dropClass (Just _ /\ _) _ = "file-dropped" dropClass _ (true /\ _) = "file-dropped" dropClass (Nothing /\ _) _ = "" dropHandler (_ /\ setDroppedFile) = mkEffectFn1 $ \e -> unsafePartial $ do let ff = fromJust $ item 0 $ ((e .. "dataTransfer" .. "files") :: FileList) liftEffect $ log2 "drop:" ff -- prevent redirection when file is dropped E.preventDefault e E.stopPropagation e let blob = toBlob $ ff void $ runAff (\_ -> pure unit) do contents <- readAsText blob liftEffect $ setDroppedFile $ const $ Just $ DroppedFile {contents: (UploadFileContents contents), fileType: Just CSV} onDragOverHandler (_ /\ setIsDragOver) = mkEffectFn1 $ \e -> do -- prevent redirection when file is dropped -- https://stackoverflow.com/a/6756680/941471 E.preventDefault e E.stopPropagation e setIsDragOver $ const true onDragLeave (_ /\ setIsDragOver) = mkEffectFn1 $ \_ -> setIsDragOver $ const false fldr :: Boolean -> String fldr open = if open then "glyphicon glyphicon-folder-open" else "glyphicon glyphicon-folder-close" childNodes :: R.State Int -> R.State Boolean -> Maybe Router.Routes -> Array FTree -> Array R.Element childNodes _ _ _ [] = [] childNodes _ (false /\ _) _ _ = [] childNodes setReload (true /\ _) mCurrentRoute ary = map (\ctree -> childNode {tree: ctree}) ary where childNode :: State -> R.Element childNode props = R.createElement el props [] el = R.hooksComponent "ChildNodeView" cpt cpt {tree} _ = do setState <- R.useState' {tree} pure $ toHtml setReload setState mCurrentRoute -- END toHtml -- START Popup View type NodePopupProps = ( id :: ID , name :: Name) nodePopupView :: (Action -> Aff Unit) -> Record NodePopupProps -> R.State (Maybe NodePopup) -> R.Element nodePopupView d p (Just NodePopup /\ setPopupOpen) = R.createElement el p [] where el = R.hooksComponent "NodePopupView" cpt cpt {id, name} _ = do renameBoxOpen <- R.useState' false pure $ H.div tooltipProps $ [ H.div {id: "arrow"} [] , H.div { className: "panel panel-default" , style: { border:"1px solid rgba(0,0,0,0.2)" , boxShadow : "0 2px 5px rgba(0,0,0,0.2)"} } [ panelHeading renameBoxOpen , panelBody ] ] where tooltipProps = { className: "" , id: "node-popup-tooltip" , title: "Node settings" , data: {toggle: "tooltip", placement: "right"} } iconAStyle = {color:"black", paddingTop: "6px", paddingBottom: "6px"} rowClass true = "col-md-10" rowClass false = "col-md-8" panelHeading renameBoxOpen@(open /\ _) = H.div {className: "panel-heading"} [ H.div {className: "row" } [ H.div {className: rowClass open} [ renameBox d {id, name} renameBoxOpen ] , editIcon renameBoxOpen , H.div {className: "col-md-2"} [ H.a {className: "btn text-danger glyphitem glyphicon glyphicon-remove-circle" , onClick: mkEffectFn1 $ \_ -> setPopupOpen $ const Nothing , title: "Close"} [] ] ] ] glyphicon t = "glyphitem glyphicon glyphicon-" <> t editIcon (false /\ setRenameBoxOpen) = H.div {className: "col-md-2"} [ H.a {style: {color: "black"} , className: "btn glyphitem glyphicon glyphicon-pencil" , id: "rename1" , title: "Rename" , onClick: mkEffectFn1 $ \_ -> setRenameBoxOpen $ const true } [] ] editIcon (true /\ _) = H.div {} [] panelBody = H.div {className: "panel-body" , style: { display:"flex" , justifyContent : "center" , backgroundColor: "white" , border: "none"}} [ createButton , H.div {className: "col-md-4"} [ H.a {style: iconAStyle , className: (glyphicon "download") , id: "download" , title: "Download [WIP]"} [] ] , H.div {className: "col-md-4"} [ H.a {style: iconAStyle , className: (glyphicon "upload") , id: "upload" , title: "Upload [WIP]"} [] ] , H.div {className: "col-md-4"} [ H.a {style: iconAStyle , className: (glyphicon "refresh") , id: "refresh" , title: "Refresh [WIP]"} [] ] , H.div {className: "col-md-4"} [ H.a {style: iconAStyle , className: (glyphicon "trash") , id: "rename2" , title: "Delete" , onClick: mkEffectFn1 $ \_ -> launchAff $ d $ DeleteNode} [] ] ] where createButton = H.div {className: "col-md-4"} [ H.a {style: iconAStyle , className: (glyphicon "plus") , id: "create" , title: "Create" , onClick: mkEffectFn1 $ \_ -> setPopupOpen $ const $ Just CreatePopup } [] ] nodePopupView _ p _ = R.createElement el p [] where el = R.hooksComponent "CreateNodeView" cpt cpt _ _ = pure $ H.div {} [] -- END Popup View -- START Rename Box type RenameBoxProps = ( id :: ID , name :: Name) renameBox :: (Action -> Aff Unit) -> Record RenameBoxProps -> R.State Boolean -> R.Element renameBox d p (true /\ setRenameBoxOpen) = R.createElement el p [] where el = R.hooksComponent "RenameBox" cpt cpt {id, name} _ = do renameNodeName <- R.useState' name pure $ H.div {className: "from-group row-no-padding"} [ renameInput renameNodeName , renameBtn renameNodeName , cancelBtn ] where renameInput (_ /\ setRenameNodeName) = H.div {className: "col-md-8"} [ H.input { type: "text" , placeholder: "Rename Node" , defaultValue: name , className: "form-control" , onInput: mkEffectFn1 $ \e -> setRenameNodeName $ const $ e .. "target" .. "value" } ] renameBtn (newName /\ _) = H.a {className: "btn glyphitem glyphicon glyphicon-ok col-md-2 pull-left" , type: "button" , onClick: mkEffectFn1 $ \_ -> do setRenameBoxOpen $ const false launchAff $ d $ Submit newName , title: "Rename" } [] cancelBtn = H.a {className: "btn text-danger glyphitem glyphicon glyphicon-remove col-md-2 pull-left" , type: "button" , onClick: mkEffectFn1 $ \_ -> setRenameBoxOpen $ const false , title: "Cancel" } [] renameBox _ p (false /\ _) = R.createElement el p [] where el = R.hooksComponent "RenameBox" cpt cpt {name} _ = pure $ H.div {} [ H.text name ] -- END Rename Box -- START Create Node type CreateNodeProps = ( id :: ID , name :: Name) createNodeView :: (Action -> Aff Unit) -> Record CreateNodeProps -> R.State (Maybe NodePopup) -> R.Element createNodeView d p (Just CreatePopup /\ setPopupOpen) = R.createElement el p [] where el = R.hooksComponent "CreateNodeView" cpt cpt {id, name} _ = do nodeName <- R.useState' "" nodeType <- R.useState' Corpus pure $ H.div tooltipProps $ [ H.div {className: "panel panel-default"} [ panelHeading , panelBody nodeName nodeType , panelFooter nodeName nodeType ] ] where tooltipProps = { className: "" , id: "create-node-tooltip" , title: "Create new node" , data: {toggle: "tooltip", placement: "right"} } panelHeading = H.div {className: "panel-heading"} [ H.div {className: "row"} [ H.div {className: "col-md-10"} [ H.h5 {} [H.text "Create Node"] ] , H.div {className: "col-md-2"} [ H.a { className: "btn text-danger glyphitem glyphicon glyphicon-remove-circle" , onClick: mkEffectFn1 $ \_ -> setPopupOpen $ const Nothing , title: "Close"} [] ] ] ] panelBody :: R.State String -> R.State NodeType -> R.Element panelBody (_ /\ setNodeName) (nt /\ setNodeType) = H.div {className: "panel-body"} [ H.div {className: "row"} [ H.div {className: "col-md-12"} [ H.form {className: "form-horizontal"} [ H.div {className: "form-group"} [ H.input { type: "text" , placeholder: "Node name" , defaultValue: name , className: "form-control" , onInput: mkEffectFn1 $ \e -> setNodeName $ const $ e .. "target" .. "value" } ] , H.div {className: "form-group"} [ R2.select { className: "form-control" , onChange: mkEffectFn1 $ \e -> setNodeType $ const $ readNodeType $ e .. "target" .. "value" } (map renderOption [Corpus, Folder]) ] ] ] ] ] renderOption (opt :: NodeType) = H.option {} [ H.text $ show opt ] panelFooter :: R.State String -> R.State NodeType -> R.Element panelFooter (name /\ _) (nt /\ _) = H.div {className: "panel-footer"} [ H.button {className: "btn btn-success" , type: "button" , onClick: mkEffectFn1 $ \_ -> do setPopupOpen $ const Nothing launchAff $ d $ CreateSubmit name nt } [H.text "Create"] ] createNodeView _ _ _ = R.createElement el {} [] where el = R.hooksComponent "CreateNodeView" cpt cpt props _ = pure $ H.div {} [] -- END Create Node -- START File Type View type FileTypeProps = ( id :: ID ) fileTypeView :: (Action -> Aff Unit) -> Record FileTypeProps -> R.State (Maybe DroppedFile) -> R.State Boolean -> R.Element fileTypeView d p (Just (DroppedFile {contents, fileType}) /\ setDroppedFile) (_ /\ setIsDragOver) = R.createElement el p [] where el = R.hooksComponent "FileTypeView" cpt cpt {id} _ = do pure $ H.div tooltipProps $ [ H.div {className: "panel panel-default"} [ panelHeading , panelBody , panelFooter ] ] where tooltipProps = { className: "" , id: "file-type-tooltip" , title: "Choose file type" , data: {toggle: "tooltip", placement: "right"} } panelHeading = H.div {className: "panel-heading"} [ H.div {className: "row"} [ H.div {className: "col-md-10"} [ H.h5 {} [H.text "Choose file type"] ] , H.div {className: "col-md-2"} [ H.a {className: "btn text-danger glyphitem glyphicon glyphicon-remove-circle" , onClick: mkEffectFn1 $ \_ -> do setDroppedFile $ const Nothing setIsDragOver $ const false , title: "Close"} [] ] ] ] panelBody = H.div {className: "panel-body"} [ R2.select {className: "col-md-12 form-control" , onChange: onChange} (map renderOption [CSV, PresseRIS]) ] where onChange = mkEffectFn1 $ \e -> setDroppedFile $ const $ Just $ DroppedFile $ {contents, fileType: readFileType $ e .. "target" .. "value"} renderOption opt = H.option {} [ H.text $ show opt ] panelFooter = H.div {className: "panel-footer"} [ case fileType of Just ft -> H.button {className: "btn btn-success" , type: "button" , onClick: mkEffectFn1 $ \_ -> do setDroppedFile $ const Nothing launchAff $ d $ UploadFile ft contents } [H.text "Upload"] Nothing -> H.button {className: "btn btn-success disabled" , type: "button" } [H.text "Upload"] ] fileTypeView _ _ (Nothing /\ _) _ = R.createElement el {} [] where el = R.hooksComponent "FileTypeView" cpt cpt props _ = pure $ H.div {} [] -- END File Type View -- START node text type NodeTextProps = ( isSelected :: Boolean , name :: Name ) nodeText :: Record NodeTextProps -> R.Element nodeText p = R.createElement el p [] where el = R.hooksComponent "NodeText" cpt cpt {isSelected: true, name} _ = do pure $ H.u {} [H.b {} [H.text ("| " <> name <> " | ")]] cpt {isSelected: false, name} _ = do pure $ H.text (name <> " ") -- END node text loadNode :: ID -> Aff FTree -- loadNode a = lift ((get <<< toUrl Back Tree <<< Just) a) loadNode = get <<< toUrl Back Tree <<< Just ----- TREE CRUD Operations newtype RenameValue = RenameValue { name :: Name } instance encodeJsonRenameValue :: EncodeJson RenameValue where encodeJson (RenameValue {name}) = "r_name" := name ~> jsonEmptyObject newtype CreateValue = CreateValue { name :: Name , nodeType :: NodeType } instance encodeJsonCreateValue :: EncodeJson CreateValue where encodeJson (CreateValue {name, nodeType}) = "pn_name" := name ~> "pn_typename" := nodeType ~> jsonEmptyObject createNode :: ID -> CreateValue -> Aff ID --createNode = post $ urlPlease Back $ "new" createNode parentId = post $ toUrl Back Node (Just parentId) renameNode :: ID -> RenameValue -> Aff (Array ID) renameNode renameNodeId = put $ toUrl Back Node (Just renameNodeId) <> "/rename" deleteNode :: ID -> Aff ID deleteNode = delete <<< toUrl Back Node <<< Just newtype FileUploadQuery = FileUploadQuery { fileType :: FileType } derive instance newtypeSearchQuery :: Newtype FileUploadQuery _ instance fileUploadQueryToQuery :: ToQuery FileUploadQuery where toQuery (FileUploadQuery {fileType}) = QP.print id id $ QP.QueryPairs $ pair "fileType" fileType where pair :: forall a. Show a => String -> a -> Array (Tuple QP.Key (Maybe QP.Value)) pair k v = [ QP.keyFromString k /\ (Just $ QP.valueFromString $ show v) ] uploadFile :: ID -> FileType -> UploadFileContents -> Aff (Array FileHash) uploadFile id fileType (UploadFileContents fileContents) = postWwwUrlencoded url fileContents where q = FileUploadQuery { fileType: fileType } url = toUrl Back Node (Just id) <> "/upload" <> Q.print (toQuery q) -- UNUSED -- deleteNodes :: TODO -> Aff ID -- deleteNodes = deleteWithBody (toUrl Back Nodes Nothing) -- UNUSED -- createNode :: TODO -> Aff ID -- createNode = post (toUrl Back Node Nothing) fnTransform :: LNode -> FTree fnTransform n = NTree n []