{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
module Gargantext.Database.Schema.Node where
import Gargantext.Core.Types.Individu (Username)
import Gargantext.Database.Config (nodeTypeId)
import Gargantext.Database.Queries.Filter (limit', offset')
-import Gargantext.Database.Types.Node (NodeType, defaultCorpus, Hyperdata)
+import Gargantext.Database.Types.Node (NodeType(..), defaultCorpus, Hyperdata, HyperData(..))
import Gargantext.Database.Utils
import Gargantext.Prelude hiding (sum, head)
+import Gargantext.Viz.Graph (HyperdataGraph(..))
import Opaleye hiding (FromField)
import Opaleye.Internal.QueryArr (Query)
where
fromField = fromField'
-instance FromField HyperdataList
+instance FromField HyperData
where
fromField = fromField'
where
fromField = fromField'
+instance FromField HyperdataList
+ where
+ fromField = fromField'
+
instance FromField (NodeId, Text)
where
fromField = fromField'
where
queryRunnerColumnDefault = fieldQueryRunnerColumn
+instance QueryRunnerColumnDefault PGJsonb HyperdataList
+ where
+ queryRunnerColumnDefault = fieldQueryRunnerColumn
+
+instance QueryRunnerColumnDefault PGJsonb HyperData
+ where
+ queryRunnerColumnDefault = fieldQueryRunnerColumn
+
+
instance QueryRunnerColumnDefault PGJsonb HyperdataDocument
where
queryRunnerColumnDefault = fieldQueryRunnerColumn
where
queryRunnerColumnDefault = fieldQueryRunnerColumn
-instance QueryRunnerColumnDefault PGJsonb HyperdataList
- where
- queryRunnerColumnDefault = fieldQueryRunnerColumn
-
instance QueryRunnerColumnDefault PGJsonb HyperdataListModel
where
queryRunnerColumnDefault = fieldQueryRunnerColumn
queryRunnerColumnDefault = fieldQueryRunnerColumn
-------------------------------------------------------------------------
--- WIP
--- TODO Classe HasDefault where
--- default NodeType = Hyperdata
------------------------------------------------------------------------
$(makeAdaptorAndInstance "pNode" ''NodePoly)
$(makeLensesWith abbreviatedFields ''NodePoly)
nodeTable = Table "nodes" (pNode Node { _node_id = optional "id"
, _node_typename = required "typename"
, _node_userId = required "user_id"
-
+
, _node_parentId = optional "parent_id"
, _node_name = required "name"
, _node_date = optional "date"
-
+
, _node_hyperdata = required "hyperdata"
}
)
(Column (Nullable PGJsonb) )
(Column (Nullable PGTSVector) )
---{-
nodeTableSearch :: Table NodeSearchWrite NodeSearchRead
nodeTableSearch = Table "nodes" (pNodeSearch NodeSearch { _ns_id = optional "id"
, _ns_typename = required "typename"
, _ns_userId = required "user_id"
-
+
, _ns_parentId = required "parent_id"
, _ns_name = required "name"
, _ns_date = optional "date"
-
+
, _ns_hyperdata = required "hyperdata"
, _ns_search = optional "search"
}
)
---}
+
queryNodeSearchTable :: Query NodeSearchRead
queryNodeSearchTable = queryTable nodeTableSearch
-runGetNodes :: Query NodeRead -> Cmd err [NodeAny]
+runGetNodes :: Query NodeRead -> Cmd err [Node HyperdataAny]
runGetNodes = runOpaQuery
------------------------------------------------------------------------
------------------------------------------------------------------------
-
-- | order by publication date
-- Favorites (Bool), node_ngrams
selectNodesWith :: ParentId -> Maybe NodeType
-- TODO: Why is the second parameter ignored?
-- TODO: Why not use getNodesWith?
-getNodesWithParentId :: NodeId -> Maybe Text -> Cmd err [NodeAny]
+getNodesWithParentId :: NodeId -> Maybe Text -> Cmd err [Node HyperdataAny]
getNodesWithParentId n _ = runOpaQuery $ selectNodesWithParentID n
------------------------------------------------------------------------
getDocumentsWithParentId :: NodeId -> Cmd err [Node HyperdataDocument]
getDocumentsWithParentId n = runOpaQuery $ selectNodesWith' n (Just NodeDocument)
-getListsWithParentId :: NodeId -> Cmd err [Node HyperdataList]
-getListsWithParentId n = runOpaQuery $ selectNodesWith' n (Just NodeList)
-
getListsModelWithParentId :: NodeId -> Cmd err [Node HyperdataListModel]
getListsModelWithParentId n = runOpaQuery $ selectNodesWith' n (Just NodeListModel)
type JSONB = QueryRunnerColumnDefault PGJsonb
-getNode :: JSONB a => NodeId -> proxy a -> Cmd err (Node a)
-getNode nId _ = do
- fromMaybe (error $ "Node does node exist: " <> show nId) . headMay
- <$> runOpaQuery (limit 1 $ selectNode (pgNodeId nId))
-getNodePhylo :: NodeId -> Cmd err (NodePhylo)
-getNodePhylo nId = do
- fromMaybe (error $ "Node does node exist: " <> show nId) . headMay
+getNode :: NodeId -> Cmd err (Node Value)
+getNode nId = fromMaybe (error $ "Node does not exist: " <> show nId) . headMay
<$> runOpaQuery (limit 1 $ selectNode (pgNodeId nId))
+getNodeWith :: JSONB a => NodeId -> proxy a -> Cmd err (Node a)
+getNodeWith nId _ = do
+ fromMaybe (error $ "Node does not exist: " <> show nId) . headMay
+ <$> runOpaQuery (limit 1 $ selectNode (pgNodeId nId))
-
-getNode' :: NodeId -> Cmd err (Node Value)
-getNode' nId = fromMaybe (error $ "Node does node exist: " <> show nId) . headMay
+getNodePhylo :: NodeId -> Cmd err (Node HyperdataPhylo)
+getNodePhylo nId = do
+ fromMaybe (error $ "Node Phylo does not exist: " <> show nId) . headMay
<$> runOpaQuery (limit 1 $ selectNode (pgNodeId nId))
getNodesWithType :: Column PGInt4 -> Cmd err [Node HyperdataDocument]
getNodesWithType = runOpaQuery . selectNodesWithType
-------------------------------------------------------------------------
------------------------------------------------------------------------
defaultUser :: HyperdataUser
defaultUser = HyperdataUser (Just $ (pack . show) EN)
name = maybe "User" identity maybeName
user = maybe defaultUser identity maybeHyperdata
------------------------------------------------------------------------
-defaultFolder :: HyperdataFolder
-defaultFolder = HyperdataFolder (Just "Markdown Description")
+defaultFolder :: HyperdataCorpus
+defaultFolder = defaultCorpus
-nodeFolderW :: Maybe Name -> Maybe HyperdataFolder -> ParentId -> UserId -> NodeWrite
+nodeFolderW :: Maybe Name -> Maybe HyperdataCorpus -> ParentId -> UserId -> NodeWrite
nodeFolderW maybeName maybeFolder pid = node NodeFolder name folder (Just pid)
where
name = maybe "Folder" identity maybeName
name = maybe "Annuaire" identity maybeName
annuaire = maybe defaultAnnuaire identity maybeAnnuaire
-
------------------------------------------------------------------------
-arbitraryTexts :: HyperdataTexts
-arbitraryTexts = HyperdataTexts (Just "Preferences")
-nodeTextsW :: Maybe Name -> Maybe HyperdataList -> ParentId -> UserId -> NodeWrite
-nodeTextsW maybeName maybeList pId = node NodeTexts name list (Just pId)
- where
- name = maybe "Texts" identity maybeName
- list = maybe arbitraryList identity maybeList
+{-
+class IsNodeDb a where
+ data Node'' a :: *
+ data Hyper a :: *
+
+instance IsNodeDb NodeType where
+ data
+
+instance HasHyperdata NodeType where
+ data Hyper NodeType = HyperList HyperdataList
+ | HyperCorpus HyperdataCorpus
+
+ hasHyperdata nt = case nt of
+ NodeList -> HyperList $ HyperdataList (Just "list")
+
+ unHyper h = case h of
+ HyperList h' -> h'
+
+--}
+
+
+class HasDefault a where
+ hasDefaultData :: a -> HyperData
+ hasDefaultName :: a -> Text
+
+instance HasDefault NodeType where
+ hasDefaultData nt = case nt of
+ NodeTexts -> HyperdataTexts (Just "Preferences")
+ NodeList -> HyperdataList' (Just "Preferences")
+ NodeListCooc -> HyperdataList' (Just "Preferences")
+ _ -> undefined
+ --NodeAnnuaire -> HyperdataAnnuaire (Just "Title") (Just "Description")
+
+ hasDefaultName nt = case nt of
+ NodeTexts -> "Texts"
+ NodeList -> "Lists"
+ NodeListCooc -> "Cooc"
+ _ -> undefined
------------------------------------------------------------------------
-arbitraryList :: HyperdataList
-arbitraryList = HyperdataList (Just "Preferences")
-nodeListW :: Maybe Name -> Maybe HyperdataList -> ParentId -> UserId -> NodeWrite
-nodeListW maybeName maybeList pId = node NodeList name list (Just pId)
+nodeDefault :: NodeType -> ParentId -> UserId -> NodeWrite
+nodeDefault nt parent = node nt name hyper (Just parent)
where
- name = maybe "Lists" identity maybeName
- list = maybe arbitraryList identity maybeList
+ name = (hasDefaultName nt)
+ hyper = (hasDefaultData nt)
- --------------------
+------------------------------------------------------------------------
arbitraryListModel :: HyperdataListModel
arbitraryListModel = HyperdataListModel (400,500) "data/models/test.model" (Just 0.83)
------------------------------------------------------------------------
arbitraryGraph :: HyperdataGraph
-arbitraryGraph = HyperdataGraph (Just "Preferences")
+arbitraryGraph = HyperdataGraph Nothing
nodeGraphW :: Maybe Name -> Maybe HyperdataGraph -> ParentId -> UserId -> NodeWrite
nodeGraphW maybeName maybeGraph pId = node NodeGraph name graph (Just pId)
name = maybe "Graph" identity maybeName
graph = maybe arbitraryGraph identity maybeGraph
+mkGraph :: ParentId -> UserId -> Cmd err [GraphId]
+mkGraph p u = insertNodesR [nodeGraphW Nothing Nothing p u]
+
+insertGraph :: ParentId -> UserId -> HyperdataGraph -> Cmd err [GraphId]
+insertGraph p u h = insertNodesR [nodeGraphW Nothing (Just h) p u]
+
------------------------------------------------------------------------
arbitraryPhylo :: HyperdataPhylo
arbitraryPhylo = HyperdataPhylo Nothing Nothing
------------------------------------------------------------------------
-
arbitraryDashboard :: HyperdataDashboard
-arbitraryDashboard = HyperdataDashboard (Just "Preferences")
-
-nodeDashboardW :: Maybe Name -> Maybe HyperdataDashboard -> ParentId -> UserId -> NodeWrite
-nodeDashboardW maybeName maybeDashboard pId = node NodeDashboard name dashboard (Just pId)
- where
- name = maybe "Dashboard" identity maybeName
- dashboard = maybe arbitraryDashboard identity maybeDashboard
-
+arbitraryDashboard = HyperdataDashboard (Just "Preferences") []
------------------------------------------------------------------------
+
node :: (ToJSON a, Hyperdata a) => NodeType -> Name -> a -> Maybe ParentId -> UserId -> NodeWrite
-node nodeType name hyperData parentId userId = Node Nothing (pgInt4 typeId) (pgInt4 userId) (pgNodeId <$> parentId) (pgStrictText name) Nothing (pgJSONB $ cs $ encode hyperData)
- where
- typeId = nodeTypeId nodeType
+node nodeType name hyperData parentId userId =
+ Node Nothing
+ (pgInt4 typeId)
+ (pgInt4 userId)
+ (pgNodeId <$> parentId)
+ (pgStrictText name)
+ Nothing
+ (pgJSONB $ cs $ encode hyperData)
+ where
+ typeId = nodeTypeId nodeType
-------------------------------
insertNodes :: [NodeWrite] -> Cmd err Int64
-insertNodes ns = mkCmd $ \conn -> runInsertMany conn nodeTable ns
+insertNodes ns = mkCmd $ \conn -> runInsert_ conn $ Insert nodeTable ns rCount Nothing
insertNodesR :: [NodeWrite] -> Cmd err [NodeId]
insertNodesR ns = mkCmd $ \conn ->
, _n_children :: [Node']
} deriving (Show)
-mkNode :: [NodeWrite] -> Cmd err Int64
-mkNode ns = mkCmd $ \conn -> runInsertMany conn nodeTable ns
+mkNodes :: [NodeWrite] -> Cmd err Int64
+mkNodes ns = mkCmd $ \conn -> runInsert_ conn $ Insert nodeTable ns rCount Nothing
mkNodeR :: [NodeWrite] -> Cmd err [NodeId]
-mkNodeR ns = mkCmd $ \conn -> runInsertManyReturning conn nodeTable ns (_node_id)
+mkNodeR ns = mkCmd $ \conn -> runInsert_ conn $ Insert nodeTable ns (rReturning _node_id) Nothing
------------------------------------------------------------------------
, _newNodeChildren :: [NodeId] }
postNode :: HasNodeError err => UserId -> Maybe ParentId -> Node' -> Cmd err NewNode
+
postNode uid pid (Node' nt txt v []) = do
pids <- mkNodeR [node2table uid pid (Node' nt txt v [])]
case pids of
NewNode pid' _ <- postNode uid pid (Node' NodeAnnuaire txt v [])
pids <- mkNodeR (concat $ map (\n -> [childWith uid pid' n]) ns)
pure $ NewNode pid' pids
+
+postNode uid pid (Node' NodeDashboard txt v ns) = do
+ NewNode pid' _ <- postNode uid pid (Node' NodeDashboard txt v [])
+ pids <- mkNodeR (concat $ map (\n -> [childWith uid pid' n]) ns)
+ pure $ NewNode pid' pids
+
postNode _ _ (Node' _ _ _ _) = nodeError NotImplYet
childWith _ _ (Node' _ _ _ _) = panic "This NodeType can not be a child"
-type Name = Text
-
+-- =================================================================== --
+------------------------------------------------------------------------
-- | TODO mk all others nodes
mkNodeWithParent :: HasNodeError err => NodeType -> Maybe ParentId -> UserId -> Name -> Cmd err [NodeId]
mkNodeWithParent NodeUser (Just _) _ _ = nodeError UserNoParent
+
+------------------------------------------------------------------------
mkNodeWithParent NodeUser Nothing uId name =
insertNodesWithParentR Nothing [node NodeUser name hd Nothing uId]
where
hd = HyperdataUser . Just . pack $ show EN
mkNodeWithParent _ Nothing _ _ = nodeError HasParent
-mkNodeWithParent _ _ _ _ = nodeError NotImplYet
+------------------------------------------------------------------------
+mkNodeWithParent NodeFolder (Just i) uId name =
+ insertNodesWithParentR (Just i) [node NodeFolder name hd Nothing uId]
+ where
+ hd = defaultFolder
+
+mkNodeWithParent NodeFolderPrivate (Just i) uId _ =
+ insertNodesWithParentR (Just i) [node NodeFolderPrivate "Private" hd Nothing uId]
+ where
+ hd = defaultFolder
+
+mkNodeWithParent NodeFolderShared (Just i) uId _ =
+ insertNodesWithParentR (Just i) [node NodeFolderShared "Shared" hd Nothing uId]
+ where
+ hd = defaultFolder
+
+mkNodeWithParent NodeFolderPublic (Just i) uId _ =
+ insertNodesWithParentR (Just i) [node NodeFolderPublic "Public" hd Nothing uId]
+ where
+ hd = defaultFolder
+
+mkNodeWithParent NodeTeam (Just i) uId _ =
+ insertNodesWithParentR (Just i) [node NodeTeam "Team" hd Nothing uId]
+ where
+ hd = defaultFolder
+------------------------------------------------------------------------
+mkNodeWithParent NodeCorpus (Just i) uId name =
+ insertNodesWithParentR (Just i) [node NodeCorpus name hd Nothing uId]
+ where
+ hd = defaultCorpus
+
+mkNodeWithParent NodeAnnuaire (Just i) uId name =
+ insertNodesWithParentR (Just i) [node NodeAnnuaire name hd Nothing uId]
+ where
+ hd = defaultAnnuaire
+
+mkNodeWithParent _ _ _ _ = nodeError NotImplYet
+------------------------------------------------------------------------
+-- =================================================================== --
+
mkRoot :: HasNodeError err => Username -> UserId -> Cmd err [RootId]
mkRoot uname uId = case uId > 0 of
False -> nodeError NegativeId
- True -> mkNodeWithParent NodeUser Nothing uId uname
+ True -> do
+ rs <- mkNodeWithParent NodeUser Nothing uId uname
+ _ <- case rs of
+ [r] -> do
+ _ <- mkNodeWithParent NodeFolderPrivate (Just r) uId uname
+ _ <- mkNodeWithParent NodeFolderShared (Just r) uId uname
+ _ <- mkNodeWithParent NodeFolderPublic (Just r) uId uname
+ pure rs
+ _ -> pure rs
+ pure rs
-- |
-- CorpusDocument is a corpus made from a set of documents
getOrMkList pId uId =
maybe (mkList' pId uId) (pure . view node_id) . headMay =<< getListsWithParentId pId
where
- mkList' pId uId = maybe (nodeError MkNode) pure . headMay =<< mkList pId uId
+ mkList' pId uId = maybe (nodeError MkNode) pure . headMay =<< mkNode NodeList pId uId
-- | TODO remove defaultList
defaultList :: HasNodeError err => CorpusId -> Cmd err ListId
defaultList cId =
maybe (nodeError NoListFound) (pure . view node_id) . headMay =<< getListsWithParentId cId
-mkTexts :: ParentId -> UserId -> Cmd err [NodeId]
-mkTexts p u = insertNodesR [nodeTextsW Nothing Nothing p u]
-
-mkList :: HasNodeError err => ParentId -> UserId -> Cmd err [NodeId]
-mkList p u = insertNodesR [nodeListW Nothing Nothing p u]
-
-mkGraph :: ParentId -> UserId -> Cmd err [GraphId]
-mkGraph p u = insertNodesR [nodeGraphW Nothing Nothing p u]
+mkNode :: NodeType -> ParentId -> UserId -> Cmd err [NodeId]
+mkNode nt p u = insertNodesR [nodeDefault nt p u]
mkDashboard :: ParentId -> UserId -> Cmd err [NodeId]
mkDashboard p u = insertNodesR [nodeDashboardW Nothing Nothing p u]
+ where
+ nodeDashboardW :: Maybe Name -> Maybe HyperdataDashboard -> ParentId -> UserId -> NodeWrite
+ nodeDashboardW maybeName maybeDashboard pId = node NodeDashboard name dashboard (Just pId)
+ where
+ name = maybe "Board" identity maybeName
+ dashboard = maybe arbitraryDashboard identity maybeDashboard
+
mkPhylo :: ParentId -> UserId -> Cmd err [NodeId]
mkPhylo p u = insertNodesR [nodePhyloW Nothing Nothing p u]
pgNodeId :: NodeId -> Column PGInt4
pgNodeId = pgInt4 . id2int
+
+getListsWithParentId :: NodeId -> Cmd err [Node HyperdataList]
+getListsWithParentId n = runOpaQuery $ selectNodesWith' n (Just NodeList)
+