[REFACT] FlowList integration to Terms with instances
[gargantext.git] / src / Gargantext / Database / Prelude.hs
index fb54e1035f3664f17f5e8ad651c24c7451ba6574..714d249eff23f401015db3f80069459e7d678883 100644 (file)
@@ -18,24 +18,20 @@ import Control.Lens (Getter, view)
 import Control.Monad.Error.Class -- (MonadError(..), Error)
 import Control.Monad.Except
 import Control.Monad.Reader
+import Control.Monad.Random
 import Control.Monad.Trans.Control (MonadBaseControl)
 import Data.Aeson (Result(Error,Success), fromJSON, FromJSON)
 import Data.ByteString.Char8 (hPutStrLn)
 import Data.Either.Extra (Either(Left, Right))
 import Data.Ini (readIniFile, lookupValue)
-import Data.Maybe (maybe)
-import Data.Monoid ((<>))
 import Data.Pool (Pool, withResource)
 import Data.Profunctor.Product.Default (Default)
 import Data.Text (unpack, pack)
-import Data.Typeable (Typeable)
 import Data.Word (Word16)
 import Database.PostgreSQL.Simple (Connection, connect)
 import Database.PostgreSQL.Simple.FromField ( Conversion, ResultError(ConversionFailed), fromField, returnError)
 import Database.PostgreSQL.Simple.Internal  (Field)
-import Gargantext.Prelude
-import Gargantext.Prelude.Config (GargConfig())
-import Opaleye (Query, Unpackspec, showSqlForPostgres, FromFields, Select, runQuery)
+import Opaleye (Query, Unpackspec, showSqlForPostgres, FromFields, Select, runQuery, PGJsonb, QueryRunnerColumnDefault)
 import Opaleye.Aggregate (countRows)
 import System.IO (FilePath)
 import System.IO (stderr)
@@ -44,6 +40,9 @@ import qualified Data.ByteString      as DB
 import qualified Data.List as DL
 import qualified Database.PostgreSQL.Simple as PGS
 
+import Gargantext.Prelude
+import Gargantext.Prelude.Config (GargConfig())
+
 -------------------------------------------------------
 class HasConnectionPool env where
   connPool :: Getter env (Pool Connection)
@@ -52,27 +51,48 @@ instance HasConnectionPool (Pool Connection) where
   connPool = identity
 
 class HasConfig env where
-  hasConfig :: Getter env GargConfig
+  config :: Getter env GargConfig
 
 instance HasConfig GargConfig where
-  hasConfig = identity
+  config = identity
 
 -------------------------------------------------------
+type JSONB = QueryRunnerColumnDefault PGJsonb
+-------------------------------------------------------
+
+type CmdM'' env err m =
+  ( MonadReader     env     m
+  , MonadError          err m
+  , MonadBaseControl IO     m
+  , MonadRandom             m
+  )
+
 type CmdM' env err m =
-  ( MonadReader env m
-  , MonadError err m
-  , MonadBaseControl IO m
+  ( MonadReader     env     m
+  , MonadError          err m
+  , MonadBaseControl IO     m
+  -- , MonadRandom             m
   )
 
 type CmdM env err m =
-  ( CmdM' env err m
+  ( CmdM'             env err m
   , HasConnectionPool env
   , HasConfig         env
   )
 
-type Cmd' env err a = forall m. CmdM' env err m => m a
+type CmdRandom env err m =
+  ( CmdM'             env err m
+  , HasConnectionPool env
+  , HasConfig         env
+  , MonadRandom             m
+  )
+
+type Cmd'' env err a = forall m.     CmdM'' env err m => m a
+type Cmd'  env err a = forall m.     CmdM'  env err m => m a
+type Cmd       err a = forall m env. CmdM   env err m => m a
+type CmdR      err a = forall m env. CmdRandom   env err m => m a
+
 
-type Cmd err a = forall m env. CmdM env err m => m a
 
 fromInt64ToInt :: Int64 -> Int
 fromInt64ToInt = fromIntegral
@@ -84,12 +104,14 @@ mkCmd k = do
   withResource pool (liftBase . k)
 
 runCmd :: (HasConnectionPool env)
-       => env -> Cmd' env err a
+       => env
+       -> Cmd'' env err a
        -> IO (Either err a)
 runCmd env m = runExceptT $ runReaderT m env
 
 runOpaQuery :: Default FromFields fields haskells
-            => Select fields -> Cmd err [haskells]
+            => Select fields
+            -> Cmd err [haskells]
 runOpaQuery q = mkCmd $ \c -> runQuery c q
 
 runCountOpaQuery :: Select a -> Cmd err Int
@@ -105,9 +127,10 @@ formatPGSQuery q a = mkCmd $ \conn -> PGS.formatQuery conn q a
 runPGSQuery' :: (PGS.ToRow a, PGS.FromRow b) => PGS.Query -> a -> Cmd err [b]
 runPGSQuery' q a = mkCmd $ \conn -> PGS.query conn q a
 
-runPGSQuery :: (MonadError err m, MonadReader env m, MonadBaseControl IO m,
-                PGS.FromRow r, PGS.ToRow q, HasConnectionPool env, HasConfig env)
-                => PGS.Query -> q -> m [r]
+runPGSQuery :: ( CmdM env err m
+               , PGS.FromRow r, PGS.ToRow q
+               )
+               => PGS.Query -> q -> m [r]
 runPGSQuery q a = mkCmd $ \conn -> catch (PGS.query conn q a) (printError conn)
   where
     printError c (SomeException e) = do