, H.p {} [ H.text "See the instances terms of uses."]
, H.p {} [ H.text "See the instances terms of uses."]
]
]
]
]
(Just (Documentation GT.FolderPrivate)) -> fragmentPT "This folder and its children are private only!"
cpt {action: Just (Documentation GT.FolderPrivate)} _ = do
(Just (Documentation GT.FolderPublic)) -> fragmentPT "Soon, you will be able to build public folders to share your work with the world!"
pure $ fragmentPT "This folder and its children are private only!"
(Just (Documentation GT.FolderShared)) -> fragmentPT "Soon, you will be able to build teams folders to share your work"
cpt {action: Just (Documentation GT.FolderPublic)} _ = do
(Just (Documentation x)) -> fragmentPT $ "More information on" <> show nodeType
pure $ fragmentPT "Soon, you will be able to build public folders to share your work with the world!"
cpt {action: Just (Documentation GT.FolderShared)} _ = do
(Just (Link _)) -> fragmentPT "Soon, you will be able to link the corpus with your Annuaire (and reciprocally)."
pure $ fragmentPT "Soon, you will be able to build teams folders to share your work"
(Just Upload) -> uploadFileView d {id, nodeType, session}
cpt {action: Just (Documentation x), nodeType} _ = do
(Just Download) -> fragmentPT "Soon, you will be able to dowload your file here"
pure $ fragmentPT $ "More information on" <> show nodeType
(Just SearchBox) -> R.fragment [ H.p {"style": {"margin" :"10px"}} [ H.text $ "Search and create a private corpus with the search query as corpus name." ]
cpt {action: Just Delete, nodeType: GT.NodeUser} _ = do
GT.NodeUser -> R.fragment [ H.div {style: {margin: "10px"}} [H.text "Yes, we are RGPD compliant! But you can not delete User Node yet (we are still on development). Thanks for your comprehensin."]]
pure $ R.fragment [
_ -> R.fragment [ H.div {style: {margin: "10px"}} (map (\t -> H.p {} [H.text t]) ["Are your sure you want to delete it ?", "If yes, click again below."]), reallyDelete d]
H.div {style: {margin: "10px"}} [H.text "Yes, we are RGPD compliant! But you can not delete User Node yet (we are still on development). Thanks for your comprehensin."]
(Just (Add xs)) -> createNodeView d {id, name, nodeType} p xs
]
_ -> H.div {} []
cpt {action: Just Delete, dispatch: d} _ = do
where
pure $ R.fragment [
H.div {style: {margin: "10px"}} (map (\t -> H.p {} [H.text t]) ["Are your sure you want to delete it ?", "If yes, click again below."])
, reallyDelete d
]
cpt {action: Just (Add xs), dispatch: d, id, name, nodePopupState: p, nodeType} _ = do
pure $ createNodeView d {id, name, nodeType} p xs
cpt _ _ = do
pure $ H.div {} []
fragmentPT text = H.div {style: {margin: "10px"}} [H.text text]
fragmentPT text = H.div {style: {margin: "10px"}} [H.text text]
onSearch :: GT.AsyncTaskWithType -> Effect Unit
onSearch :: Record PanelActionProps -> GT.AsyncTaskWithType -> Effect Unit
onSearch task = do
onSearch {dispatch: d, nodePopupState: p} task = do
