Update README.md
[gargantext.git] / src / Gargantext / API / ThrowAll.hs
index fb26fb37d8c12ec2894033932a7817e50f717a20..07e27edebc19b91b491f0d8ed97cb4ebc19463ac 100644 (file)
@@ -10,6 +10,7 @@ Portability : POSIX
 -}
 
 {-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE MonoLocalBinds         #-}
 {-# LANGUAGE TypeOperators          #-}
 {-# LANGUAGE UndecidableInstances   #-}
 
@@ -21,7 +22,8 @@ import Servant
 import Servant.Auth.Server (AuthResult(..))
 
 import Gargantext.Prelude
-import Gargantext.API.Prelude (GargServerM, _ServerError)
+import Gargantext.API.Admin.EnvTypes (Env)
+import Gargantext.API.Prelude
 import Gargantext.API.Routes (GargPrivateAPI, serverPrivateGargAPI')
 
 class ThrowAll' e a | a -> e where
@@ -44,7 +46,8 @@ instance {-# OVERLAPPING #-} ThrowAll' e b => ThrowAll' e (a -> b) where
 instance {-# OVERLAPPABLE #-} (MonadError e m) => ThrowAll' e (m a) where
   throwAll' = throwError
 
-serverPrivateGargAPI :: GargServerM env err GargPrivateAPI
+serverPrivateGargAPI
+  :: ServerT GargPrivateAPI (GargM Env GargError)
 serverPrivateGargAPI (Authenticated auser) = serverPrivateGargAPI' auser
 serverPrivateGargAPI _                     = throwAll' (_ServerError # err401)
 -- Here throwAll' requires a concrete type for the monad.