HsDev.Database.Update.Types

Documentation

data Status

Constructors

StatusWorking

StatusOk

StatusError HsDevError

Instances

ToJSON Status

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Status -> Value

toEncoding :: Status -> Encoding

toJSONList :: [Status] -> Value

toEncodingList :: [Status] -> Encoding

FromJSON Status

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Status

parseJSONList :: Value -> Parser [Status]

data Progress

Constructors

Progress

Fields

• progressCurrent :: Int
• progressTotal :: Int

Instances

ToJSON Progress

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Progress -> Value

toEncoding :: Progress -> Encoding

toJSONList :: [Progress] -> Value

toEncodingList :: [Progress] -> Encoding

FromJSON Progress

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Progress

parseJSONList :: Value -> Parser [Progress]

data Task

Constructors

Task

Fields

• _taskName :: String
• _taskStatus :: Status
• _taskSubjectType :: String
• _taskSubjectName :: String
• _taskProgress :: Maybe Progress

Instances

ToJSON Task

Defined in HsDev.Database.Update.Types

Methods

toJSON :: Task -> Value

toEncoding :: Task -> Encoding

toJSONList :: [Task] -> Value

toEncodingList :: [Task] -> Encoding

FromJSON Task

Defined in HsDev.Database.Update.Types

Methods

parseJSON :: Value -> Parser Task

parseJSONList :: Value -> Parser [Task]

data UpdateOptions

Constructors

UpdateOptions

Fields

• _updateTasks :: [Task]
• _updateGhcOpts :: [String]
• _updateDocs :: Bool
• _updateInfer :: Bool

Instances

Default UpdateOptions

Defined in HsDev.Database.Update.Types

Methods

def :: UpdateOptions

updateTasks :: Lens' UpdateOptions [Task]

updateGhcOpts :: Lens' UpdateOptions [String]

updateDocs :: Lens' UpdateOptions Bool

updateInfer :: Lens' UpdateOptions Bool

data UpdateState

Constructors

UpdateState

Fields

• _updateOptions :: UpdateOptions
• _updateWorker :: Worker (ServerM IO)

Instances

Monad m => MonadReader UpdateState (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

ask :: UpdateM m UpdateState

local :: (UpdateState -> UpdateState) -> UpdateM m a -> UpdateM m a

reader :: (UpdateState -> a) -> UpdateM m a

updateOptions :: Lens' UpdateState UpdateOptions

updateWorker :: Lens' UpdateState (Worker (ServerM IO))

withUpdateState :: SessionMonad m => UpdateOptions -> (UpdateState -> m a) -> m a

sendUpdateAction :: UpdateMonad m => ServerM IO () -> m ()

newtype UpdateM m a

Constructors

UpdateM

Fields

• runUpdateM :: ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a

Instances

MonadTrans UpdateM

Defined in HsDev.Database.Update.Types

Methods

lift :: Monad m => m a -> UpdateM m a

Monad m => MonadReader UpdateState (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

ask :: UpdateM m UpdateState

local :: (UpdateState -> UpdateState) -> UpdateM m a -> UpdateM m a

reader :: (UpdateState -> a) -> UpdateM m a

MonadBase b m => MonadBase b (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

liftBase :: b α -> UpdateM m α

MonadBaseControl b m => MonadBaseControl b (UpdateM m)

Defined in HsDev.Database.Update.Types

Associated Types

type StM (UpdateM m) a :: Type

Methods

liftBaseWith :: (RunInBase (UpdateM m) b -> b a) -> UpdateM m a

restoreM :: StM (UpdateM m) a -> UpdateM m a

Monad m => Monad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

(>>=) :: UpdateM m a -> (a -> UpdateM m b) -> UpdateM m b

(>>) :: UpdateM m a -> UpdateM m b -> UpdateM m b

return :: a -> UpdateM m a

fail :: String -> UpdateM m a

Functor m => Functor (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

fmap :: (a -> b) -> UpdateM m a -> UpdateM m b

(<$) :: a -> UpdateM m b -> UpdateM m a

MonadFail m => MonadFail (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

fail :: String -> UpdateM m a

Applicative m => Applicative (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

pure :: a -> UpdateM m a

(<*>) :: UpdateM m (a -> b) -> UpdateM m a -> UpdateM m b

liftA2 :: (a -> b -> c) -> UpdateM m a -> UpdateM m b -> UpdateM m c

(*>) :: UpdateM m a -> UpdateM m b -> UpdateM m b

(<*) :: UpdateM m a -> UpdateM m b -> UpdateM m a

MonadPlus m => MonadPlus (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

mzero :: UpdateM m a

mplus :: UpdateM m a -> UpdateM m a -> UpdateM m a

Alternative m => Alternative (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

empty :: UpdateM m a

(<|>) :: UpdateM m a -> UpdateM m a -> UpdateM m a

some :: UpdateM m a -> UpdateM m [a]

many :: UpdateM m a -> UpdateM m [a]

MonadIO m => MonadIO (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

liftIO :: IO a -> UpdateM m a

MonadThrow m => MonadThrow (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

throwM :: Exception e => e -> UpdateM m a

MonadCatch m => MonadCatch (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

catch :: Exception e => UpdateM m a -> (e -> UpdateM m a) -> UpdateM m a

MonadMask m => MonadMask (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

mask :: ((forall a. UpdateM m a -> UpdateM m a) -> UpdateM m b) -> UpdateM m b

uninterruptibleMask :: ((forall a. UpdateM m a -> UpdateM m a) -> UpdateM m b) -> UpdateM m b

generalBracket :: UpdateM m a -> (a -> ExitCase b -> UpdateM m c) -> (a -> UpdateM m b) -> UpdateM m (b, c)

(MonadIO m, MonadMask m) => MonadLog (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

askLog :: UpdateM m Log

localLog :: (Log -> Log) -> UpdateM m a -> UpdateM m a

ServerMonadBase m => CommandMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getOptions :: UpdateM m CommandOptions

ServerMonadBase m => SessionMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getSession :: UpdateM m Session

localSession :: (Session -> Session) -> UpdateM m a -> UpdateM m a

Monad m => MonadWriter [ModuleLocation] (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

writer :: (a, [ModuleLocation]) -> UpdateM m a

tell :: [ModuleLocation] -> UpdateM m ()

listen :: UpdateM m a -> UpdateM m (a, [ModuleLocation])

pass :: UpdateM m (a, [ModuleLocation] -> [ModuleLocation]) -> UpdateM m a

type StM (UpdateM m) a

Defined in HsDev.Database.Update.Types

type StM (UpdateM m) a = StM (ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m))) a

type UpdateMonad m = (CommandMonad m, MonadReader UpdateState m, MonadWriter [ModuleLocation] m)

taskName :: Lens' Task String

taskStatus :: Lens' Task Status

taskSubjectType :: Lens' Task String

taskSubjectName :: Lens' Task String

taskProgress :: Lens' Task (Maybe Progress)

class FromCmd a where

Methods

cmdP :: Parser a

Instances

FromCmd SearchQuery

Defined in HsDev.Server.Types

Methods

cmdP :: Parser SearchQuery

FromCmd TargetFilter

Defined in HsDev.Server.Types

Methods

cmdP :: Parser TargetFilter

FromCmd FileSource

Defined in HsDev.Server.Types

Methods

cmdP :: Parser FileSource

FromCmd Command

Defined in HsDev.Server.Types

Methods

cmdP :: Parser Command

FromCmd ClientOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ClientOpts

FromCmd ServerOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerOpts

FromCmd ServerCommand

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerCommand

data SearchType

Constructors

SearchExact

SearchPrefix

SearchInfix

SearchSuffix

Instances

Show SearchType

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> SearchType -> ShowS

show :: SearchType -> String

showList :: [SearchType] -> ShowS

ToJSON SearchType

Defined in HsDev.Server.Types

Methods

toJSON :: SearchType -> Value

toEncoding :: SearchType -> Encoding

toJSONList :: [SearchType] -> Value

toEncodingList :: [SearchType] -> Encoding

FromJSON SearchType

Defined in HsDev.Server.Types

Methods

parseJSON :: Value -> Parser SearchType

parseJSONList :: Value -> Parser [SearchType]

data SearchQuery

Constructors

SearchQuery Text SearchType

Instances

Show SearchQuery

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> SearchQuery -> ShowS

show :: SearchQuery -> String

showList :: [SearchQuery] -> ShowS

ToJSON SearchQuery

Defined in HsDev.Server.Types

Methods

toJSON :: SearchQuery -> Value

toEncoding :: SearchQuery -> Encoding

toJSONList :: [SearchQuery] -> Value

toEncodingList :: [SearchQuery] -> Encoding

FromJSON SearchQuery

Defined in HsDev.Server.Types

Methods

parseJSON :: Value -> Parser SearchQuery

parseJSONList :: Value -> Parser [SearchQuery]

FromCmd SearchQuery

Defined in HsDev.Server.Types

Methods

cmdP :: Parser SearchQuery

data TargetFilter

Constructors

TargetProject Text

TargetFile Path

TargetModule Text

TargetPackage Text

TargetInstalled

TargetSourced

TargetStandalone

Instances

Eq TargetFilter

Defined in HsDev.Server.Types

Methods

(==) :: TargetFilter -> TargetFilter -> Bool

(/=) :: TargetFilter -> TargetFilter -> Bool

Show TargetFilter

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> TargetFilter -> ShowS

show :: TargetFilter -> String

showList :: [TargetFilter] -> ShowS

ToJSON TargetFilter

Defined in HsDev.Server.Types

Methods

toJSON :: TargetFilter -> Value

toEncoding :: TargetFilter -> Encoding

toJSONList :: [TargetFilter] -> Value

toEncodingList :: [TargetFilter] -> Encoding

FromJSON TargetFilter

Defined in HsDev.Server.Types

Methods

parseJSON :: Value -> Parser TargetFilter

parseJSONList :: Value -> Parser [TargetFilter]

FromCmd TargetFilter

Defined in HsDev.Server.Types

Methods

cmdP :: Parser TargetFilter

Paths TargetFilter

Defined in HsDev.Server.Types

Methods

paths :: Traversal' TargetFilter FilePath

data FileSource

Constructors

FileSource

Fields

• fileSource :: Path
• fileContents :: Maybe Text

Instances

Show FileSource

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> FileSource -> ShowS

show :: FileSource -> String

showList :: [FileSource] -> ShowS

ToJSON FileSource

Defined in HsDev.Server.Types

Methods

toJSON :: FileSource -> Value

toEncoding :: FileSource -> Encoding

toJSONList :: [FileSource] -> Value

toEncodingList :: [FileSource] -> Encoding

FromJSON FileSource

Defined in HsDev.Server.Types

Methods

parseJSON :: Value -> Parser FileSource

parseJSONList :: Value -> Parser [FileSource]

FromCmd FileSource

Defined in HsDev.Server.Types

Methods

cmdP :: Parser FileSource

Paths FileSource

Defined in HsDev.Server.Types

Methods

paths :: Traversal' FileSource FilePath

EnumContents FileSource

Defined in HsDev.Scan

Methods

enumContents :: CommandMonad m => FileSource -> m ScanContents

data Request

Constructors

Request

Fields

• requestCommand :: Command
• requestDirectory :: FilePath
• requestNoFile :: Bool
• requestTimeout :: Int
• requestSilent :: Bool

Instances

Show Request

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> Request -> ShowS

show :: Request -> String

showList :: [Request] -> ShowS

ToJSON Request

Defined in HsDev.Server.Types

Methods

toJSON :: Request -> Value

toEncoding :: Request -> Encoding

toJSONList :: [Request] -> Value

toEncodingList :: [Request] -> Encoding

FromJSON Request

Defined in HsDev.Server.Types

Methods

parseJSON :: Value -> Parser Request

parseJSONList :: Value -> Parser [Request]

data ClientOpts

Client options

Constructors

ClientOpts

Fields

• clientPort :: ConnectionPort
• clientPretty :: Bool
• clientStdin :: Bool
• clientTimeout :: Int
• clientSilent :: Bool

Instances

Show ClientOpts

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> ClientOpts -> ShowS

show :: ClientOpts -> String

showList :: [ClientOpts] -> ShowS

Default ClientOpts

Defined in HsDev.Server.Types

Methods

def :: ClientOpts

FromCmd ClientOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ClientOpts

data ServerOpts

Server options

Constructors

ServerOpts

Fields

• serverPort :: ConnectionPort
• serverTimeout :: Int
• serverLog :: Maybe FilePath
• serverLogLevel :: String
• serverLogNoColor :: Bool
• serverDbFile :: Maybe FilePath
• serverWatchFS :: Bool
• serverSilent :: Bool

Instances

Show ServerOpts

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> ServerOpts -> ShowS

show :: ServerOpts -> String

showList :: [ServerOpts] -> ShowS

Default ServerOpts

Defined in HsDev.Server.Types

Methods

def :: ServerOpts

FromCmd ServerOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerOpts

data ConnectionPort

Constructors

NetworkPort Int

UnixPort String

Instances

Eq ConnectionPort

Defined in HsDev.Server.Types

Methods

(==) :: ConnectionPort -> ConnectionPort -> Bool

(/=) :: ConnectionPort -> ConnectionPort -> Bool

Read ConnectionPort

Defined in HsDev.Server.Types

Methods

readsPrec :: Int -> ReadS ConnectionPort

readList :: ReadS [ConnectionPort]

readPrec :: ReadPrec ConnectionPort

readListPrec :: ReadPrec [ConnectionPort]

Show ConnectionPort

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> ConnectionPort -> ShowS

show :: ConnectionPort -> String

showList :: [ConnectionPort] -> ShowS

Default ConnectionPort

Defined in HsDev.Server.Types

Methods

def :: ConnectionPort

Formattable ConnectionPort

Defined in HsDev.Server.Types

Methods

formattable :: ConnectionPort -> FormatFlags -> Formatted

data ServerCommand

Server control command

Constructors

Version Bool

Start ServerOpts

Run ServerOpts

Stop ClientOpts

Connect ClientOpts

Remote ClientOpts Bool Command

Instances

Show ServerCommand

Defined in HsDev.Server.Types

Methods

showsPrec :: Int -> ServerCommand -> ShowS

show :: ServerCommand -> String

showList :: [ServerCommand] -> ShowS

FromCmd ServerCommand

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerCommand

newtype ClientM m a

Constructors

ClientM

Fields

• runClientM :: ServerM (ReaderT CommandOptions m) a

Instances

MonadTrans ClientM

Defined in HsDev.Server.Types

Methods

lift :: Monad m => m a -> ClientM m a

MonadBase b m => MonadBase b (ClientM m)

Defined in HsDev.Server.Types

Methods

liftBase :: b α -> ClientM m α

MonadBaseControl b m => MonadBaseControl b (ClientM m)

Defined in HsDev.Server.Types

Associated Types

type StM (ClientM m) a :: Type

Methods

liftBaseWith :: (RunInBase (ClientM m) b -> b a) -> ClientM m a

restoreM :: StM (ClientM m) a -> ClientM m a

Monad m => Monad (ClientM m)

Defined in HsDev.Server.Types

Methods

(>>=) :: ClientM m a -> (a -> ClientM m b) -> ClientM m b

(>>) :: ClientM m a -> ClientM m b -> ClientM m b

return :: a -> ClientM m a

fail :: String -> ClientM m a

Functor m => Functor (ClientM m)

Defined in HsDev.Server.Types

Methods

fmap :: (a -> b) -> ClientM m a -> ClientM m b

(<$) :: a -> ClientM m b -> ClientM m a

MonadFail m => MonadFail (ClientM m)

Defined in HsDev.Server.Types

Methods

fail :: String -> ClientM m a

Applicative m => Applicative (ClientM m)

Defined in HsDev.Server.Types

Methods

pure :: a -> ClientM m a

(<*>) :: ClientM m (a -> b) -> ClientM m a -> ClientM m b

liftA2 :: (a -> b -> c) -> ClientM m a -> ClientM m b -> ClientM m c

(*>) :: ClientM m a -> ClientM m b -> ClientM m b

(<*) :: ClientM m a -> ClientM m b -> ClientM m a

MonadPlus m => MonadPlus (ClientM m)

Defined in HsDev.Server.Types

Methods

mzero :: ClientM m a

mplus :: ClientM m a -> ClientM m a -> ClientM m a

Alternative m => Alternative (ClientM m)

Defined in HsDev.Server.Types

Methods

empty :: ClientM m a

(<|>) :: ClientM m a -> ClientM m a -> ClientM m a

some :: ClientM m a -> ClientM m [a]

many :: ClientM m a -> ClientM m [a]

MonadIO m => MonadIO (ClientM m)

Defined in HsDev.Server.Types

Methods

liftIO :: IO a -> ClientM m a

MonadThrow m => MonadThrow (ClientM m)

Defined in HsDev.Server.Types

Methods

throwM :: Exception e => e -> ClientM m a

MonadCatch m => MonadCatch (ClientM m)

Defined in HsDev.Server.Types

Methods

catch :: Exception e => ClientM m a -> (e -> ClientM m a) -> ClientM m a

MonadMask m => MonadMask (ClientM m)

Defined in HsDev.Server.Types

Methods

mask :: ((forall a. ClientM m a -> ClientM m a) -> ClientM m b) -> ClientM m b

uninterruptibleMask :: ((forall a. ClientM m a -> ClientM m a) -> ClientM m b) -> ClientM m b

generalBracket :: ClientM m a -> (a -> ExitCase b -> ClientM m c) -> (a -> ClientM m b) -> ClientM m (b, c)

(MonadIO m, MonadMask m) => MonadLog (ClientM m)

Defined in HsDev.Server.Types

Methods

askLog :: ClientM m Log

localLog :: (Log -> Log) -> ClientM m a -> ClientM m a

ServerMonadBase m => CommandMonad (ClientM m)

Defined in HsDev.Server.Types

Methods

getOptions :: ClientM m CommandOptions

ServerMonadBase m => SessionMonad (ClientM m)

Defined in HsDev.Server.Types

Methods

getSession :: ClientM m Session

localSession :: (Session -> Session) -> ClientM m a -> ClientM m a

MFunctor ClientM

Defined in HsDev.Server.Types

Methods

hoist :: Monad m => (forall a. m a -> n a) -> ClientM m b -> ClientM n b

type StM (ClientM m) a

Defined in HsDev.Server.Types

type StM (ClientM m) a = StM (ServerM (ReaderT CommandOptions m)) a

class (SessionMonad m, MonadPlus m) => CommandMonad m where

Methods

getOptions :: m CommandOptions

Instances

ServerMonadBase m => CommandMonad (ClientM m)

Defined in HsDev.Server.Types

Methods

getOptions :: ClientM m CommandOptions

ServerMonadBase m => CommandMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getOptions :: UpdateM m CommandOptions

(CommandMonad m, Monoid w) => CommandMonad (WriterT w m)

Defined in HsDev.Server.Types

Methods

getOptions :: WriterT w m CommandOptions

CommandMonad m => CommandMonad (StateT s m)

Defined in HsDev.Server.Types

Methods

getOptions :: StateT s m CommandOptions

CommandMonad m => CommandMonad (ReaderT r m)

Defined in HsDev.Server.Types

Methods

getOptions :: ReaderT r m CommandOptions

data CommandOptions

Constructors

CommandOptions

Fields

• commandOptionsRoot :: FilePath
• commandOptionsNotify :: Notification -> IO ()
• commandOptionsLink :: IO ()
• commandOptionsHold :: IO ()

Instances

Default CommandOptions

Defined in HsDev.Server.Types

Methods

def :: CommandOptions

newtype ServerM m a

Constructors

ServerM

Fields

• runServerM :: ReaderT Session m a

Instances

MonadTrans ServerM

Defined in HsDev.Server.Types

Methods

lift :: Monad m => m a -> ServerM m a

Monad m => MonadReader Session (ServerM m)

Defined in HsDev.Server.Types

Methods

ask :: ServerM m Session

local :: (Session -> Session) -> ServerM m a -> ServerM m a

reader :: (Session -> a) -> ServerM m a

MonadBase b m => MonadBase b (ServerM m)

Defined in HsDev.Server.Types

Methods

liftBase :: b α -> ServerM m α

MonadBaseControl b m => MonadBaseControl b (ServerM m)

Defined in HsDev.Server.Types

Associated Types

type StM (ServerM m) a :: Type

Methods

liftBaseWith :: (RunInBase (ServerM m) b -> b a) -> ServerM m a

restoreM :: StM (ServerM m) a -> ServerM m a

Monad m => Monad (ServerM m)

Defined in HsDev.Server.Types

Methods

(>>=) :: ServerM m a -> (a -> ServerM m b) -> ServerM m b

(>>) :: ServerM m a -> ServerM m b -> ServerM m b

return :: a -> ServerM m a

fail :: String -> ServerM m a

Functor m => Functor (ServerM m)

Defined in HsDev.Server.Types

Methods

fmap :: (a -> b) -> ServerM m a -> ServerM m b

(<$) :: a -> ServerM m b -> ServerM m a

MonadFail m => MonadFail (ServerM m)

Defined in HsDev.Server.Types

Methods

fail :: String -> ServerM m a

Applicative m => Applicative (ServerM m)

Defined in HsDev.Server.Types

Methods

pure :: a -> ServerM m a

(<*>) :: ServerM m (a -> b) -> ServerM m a -> ServerM m b

liftA2 :: (a -> b -> c) -> ServerM m a -> ServerM m b -> ServerM m c

(*>) :: ServerM m a -> ServerM m b -> ServerM m b

(<*) :: ServerM m a -> ServerM m b -> ServerM m a

MonadPlus m => MonadPlus (ServerM m)

Defined in HsDev.Server.Types

Methods

mzero :: ServerM m a

mplus :: ServerM m a -> ServerM m a -> ServerM m a

Alternative m => Alternative (ServerM m)

Defined in HsDev.Server.Types

Methods

empty :: ServerM m a

(<|>) :: ServerM m a -> ServerM m a -> ServerM m a

some :: ServerM m a -> ServerM m [a]

many :: ServerM m a -> ServerM m [a]

MonadIO m => MonadIO (ServerM m)

Defined in HsDev.Server.Types

Methods

liftIO :: IO a -> ServerM m a

MonadThrow m => MonadThrow (ServerM m)

Defined in HsDev.Server.Types

Methods

throwM :: Exception e => e -> ServerM m a

MonadCatch m => MonadCatch (ServerM m)

Defined in HsDev.Server.Types

Methods

catch :: Exception e => ServerM m a -> (e -> ServerM m a) -> ServerM m a

MonadMask m => MonadMask (ServerM m)

Defined in HsDev.Server.Types

Methods

mask :: ((forall a. ServerM m a -> ServerM m a) -> ServerM m b) -> ServerM m b

uninterruptibleMask :: ((forall a. ServerM m a -> ServerM m a) -> ServerM m b) -> ServerM m b

generalBracket :: ServerM m a -> (a -> ExitCase b -> ServerM m c) -> (a -> ServerM m b) -> ServerM m (b, c)

(MonadIO m, MonadMask m) => MonadLog (ServerM m)

Defined in HsDev.Server.Types

Methods

askLog :: ServerM m Log

localLog :: (Log -> Log) -> ServerM m a -> ServerM m a

ServerMonadBase m => SessionMonad (ServerM m)

Defined in HsDev.Server.Types

Methods

getSession :: ServerM m Session

localSession :: (Session -> Session) -> ServerM m a -> ServerM m a

MFunctor ServerM

Defined in HsDev.Server.Types

Methods

hoist :: Monad m => (forall a. m a -> n a) -> ServerM m b -> ServerM n b

type StM (ServerM m) a

Defined in HsDev.Server.Types

type StM (ServerM m) a = StM (ReaderT Session m) a

class (ServerMonadBase m, MonadLog m) => SessionMonad m where

Methods

getSession :: m Session

localSession :: (Session -> Session) -> m a -> m a

Instances

ServerMonadBase m => SessionMonad (ClientM m)

Defined in HsDev.Server.Types

Methods

getSession :: ClientM m Session

localSession :: (Session -> Session) -> ClientM m a -> ClientM m a

ServerMonadBase m => SessionMonad (ServerM m)

Defined in HsDev.Server.Types

Methods

getSession :: ServerM m Session

localSession :: (Session -> Session) -> ServerM m a -> ServerM m a

ServerMonadBase m => SessionMonad (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

getSession :: UpdateM m Session

localSession :: (Session -> Session) -> UpdateM m a -> UpdateM m a

(SessionMonad m, Monoid w) => SessionMonad (WriterT w m)

Defined in HsDev.Server.Types

Methods

getSession :: WriterT w m Session

localSession :: (Session -> Session) -> WriterT w m a -> WriterT w m a

SessionMonad m => SessionMonad (StateT s m)

Defined in HsDev.Server.Types

Methods

getSession :: StateT s m Session

localSession :: (Session -> Session) -> StateT s m a -> StateT s m a

SessionMonad m => SessionMonad (ReaderT r m)

Defined in HsDev.Server.Types

Methods

getSession :: ReaderT r m Session

localSession :: (Session -> Session) -> ReaderT r m a -> ReaderT r m a

data Session

Constructors

Session

Fields

• sessionSqlDatabase :: Connection
• sessionSqlPath :: String
• sessionLog :: SessionLog
• sessionWatcher :: Maybe Watcher
• sessionFileContents :: Path -> Maybe Text -> IO ()
• sessionGhc :: GhcWorker
• sessionUpdater :: Worker (ServerM IO)
• sessionResolveEnvironment :: LookupTable (Maybe Path) (Environment, FixitiesTable)
• sessionExit :: IO ()
• sessionWait :: IO ()
• sessionClients :: Chan (IO ())
• sessionDefines :: [(String, String)]

Instances

Monad m => MonadReader Session (ServerM m)

Defined in HsDev.Server.Types

Methods

ask :: ServerM m Session

local :: (Session -> Session) -> ServerM m a -> ServerM m a

reader :: (Session -> a) -> ServerM m a

data SessionLog

Constructors

SessionLog

Fields

• sessionLogger :: Log
• sessionListenLog :: IO [Message]
• sessionLogWait :: IO ()

type ServerMonadBase m = (MonadIO m, MonadFail m, MonadMask m, MonadBaseControl IO m, Alternative m, MonadPlus m)

askSession :: SessionMonad m => (Session -> a) -> m a

askOptions :: CommandMonad m => (CommandOptions -> a) -> m a

withSession :: Session -> ServerM m a -> m a

Run action on session

serverListen :: SessionMonad m => m [Message]

Listen server's log

serverSetLogLevel :: SessionMonad m => Level -> m Level

Set server's log config

serverWait :: SessionMonad m => m ()

Wait for server

serverWaitClients :: SessionMonad m => m ()

Wait while clients disconnects

serverSqlDatabase :: SessionMonad m => m Connection

Get sql connection

openSqlConnection :: SessionMonad m => m Connection

Open new sql connection

closeSqlConnection :: SessionMonad m => Connection -> m ()

Close sql connection

withSqlConnection :: SessionMonad m => m a -> m a

Locally opens new connection, updating Session

withSqlTransaction :: SessionMonad m => ServerM IO a -> m a

With sql transaction

serverSetFileContents :: SessionMonad m => Path -> Maybe Text -> m ()

Set custom file contents

inSessionGhc :: SessionMonad m => GhcM a -> m a

In ghc session

inSessionUpdater :: SessionMonad m => ServerM IO a -> m a

In updater

postSessionUpdater :: SessionMonad m => ServerM IO a -> m (Async a)

Post to updater and return

serverExit :: SessionMonad m => m ()

Exit session

commandRoot :: CommandMonad m => m FilePath

commandNotify :: CommandMonad m => Notification -> m ()

commandLink :: CommandMonad m => m ()

commandHold :: CommandMonad m => m ()

silentOpts :: ServerOpts

Silent server with no connection, useful for ghci

serverOptsArgs :: ServerOpts -> [String]