Commit c31df9dd authored by Grégoire Locqueville's avatar Grégoire Locqueville

Renamed `DbCommon` -> `IsDBEnv`

parent 9a8cff4c
...@@ -69,13 +69,13 @@ type CmdM' env err m = ...@@ -69,13 +69,13 @@ type CmdM' env err m =
-- a query/update on the DB, one shouldn't need more than being able to -- a query/update on the DB, one shouldn't need more than being able to
-- fetch from the underlying 'env' the connection pool and access the -- fetch from the underlying 'env' the connection pool and access the
-- 'GargConfig' for some sensible defaults to store into the DB. -- 'GargConfig' for some sensible defaults to store into the DB.
type DbCommon env = type IsDBEnv env =
( HasConnectionPool env ( HasConnectionPool env
, HasConfig env , HasConfig env
) )
type CmdCommon env = type CmdCommon env =
( DbCommon env ( IsDBEnv env
, HasConfig env , HasConfig env
, HasMail env , HasMail env
, HasNLPServer env , HasNLPServer env
...@@ -88,7 +88,7 @@ type CmdM env err m = ...@@ -88,7 +88,7 @@ type CmdM env err m =
type CmdRandom env err m = type CmdRandom env err m =
( CmdM' env err m ( CmdM' env err m
, DbCommon env , IsDBEnv env
, MonadRandom m , MonadRandom m
, HasMail env , HasMail env
) )
...@@ -105,7 +105,7 @@ type DBCmd err a = forall m env. DbCmd' env err m => m a ...@@ -105,7 +105,7 @@ type DBCmd err a = forall m env. DbCmd' env err m => m a
-- that these constraints stays as few as possible. -- that these constraints stays as few as possible.
type DbCmd' env err m = ( type DbCmd' env err m = (
CmdM' env err m CmdM' env err m
, DbCommon env , IsDBEnv env
) )
fromInt64ToInt :: Int64 -> Int fromInt64ToInt :: Int64 -> Int
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment