Merge branch 'dev' of ssh://gitlab.iscpif.fr:20022/gargantext/haskell-gargantext...
[gargantext.git] / src / Gargantext / Database / Prelude.hs
index 635721aba1fa2cd4bdfe110077ae18c7dea869b0..9be2f6ed29b959dae812115bcda4e9aa364bd00e 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.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,8 +40,10 @@ 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)
 
@@ -59,21 +57,38 @@ instance HasConfig GargConfig where
   hasConfig = 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 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 Cmd err a = forall m env. CmdM env err m => m a
 
 fromInt64ToInt :: Int64 -> Int
 fromInt64ToInt = fromIntegral
@@ -85,12 +100,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
@@ -106,9 +123,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