blob: 2a531fe48b0f940a5ab35613d9ca34b9901c0a16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
{-# LANGUAGE OverloadedStrings #-}
module SpaceTraders
( SpaceTradersT
, runSpaceTradersT
, Env(..)
, HasDatabaseConn
, HasRequest
, ask
, getConn
, getRequest
, liftIO
) where
import Control.Monad.IO.Class
import Control.Monad.Reader
import qualified Database.SQLite.Simple as S
import Network.HTTP.Simple
type SpaceTradersT a = ReaderT Env IO a
runSpaceTradersT :: SpaceTradersT a -> Env -> IO a
runSpaceTradersT = runReaderT
data Env = Env { envConn :: S.Connection
, envRequest :: Request }
class HasDatabaseConn a where
getConn :: a -> S.Connection
instance HasDatabaseConn S.Connection where
getConn = id
instance HasDatabaseConn Env where
getConn = envConn
class HasRequest a where
getRequest :: a -> Request
instance HasRequest Env where
getRequest = envRequest
|