Safe Haskell	None
Language	Haskell98

HsDev.Server.Types

Synopsis

type ServerMonadBase m = (MonadIO m, MonadFail m, MonadMask m, MonadBaseControl IO m, Alternative m, MonadPlus m)
data SessionLog = SessionLog {
- sessionLogger :: Log
- sessionListenLog :: IO [Message]
- sessionLogWait :: IO ()
}
data Session = Session {
- 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)
- sessionHTTPManager :: Manager
- sessionExit :: IO ()
- sessionWait :: IO ()
- sessionClients :: Chan (IO ())
- sessionDefines :: [(String, String)]
}
class (ServerMonadBase m, MonadLog m) => SessionMonad m where
- getSession :: m Session
- localSession :: (Session -> Session) -> m a -> m a
askSession :: SessionMonad m => (Session -> a) -> m a
newtype ServerM m a = ServerM {
- runServerM :: ReaderT Session m a
}
data CommandOptions = CommandOptions {
- commandOptionsRoot :: FilePath
- commandOptionsNotify :: Notification -> IO ()
- commandOptionsLink :: IO ()
- commandOptionsHold :: IO ()
}
class (SessionMonad m, MonadPlus m) => CommandMonad m where
- getOptions :: m CommandOptions
askOptions :: CommandMonad m => (CommandOptions -> a) -> m a
newtype ClientM m a = ClientM {
- runClientM :: ServerM (ReaderT CommandOptions m) a
}
withSession :: Session -> ServerM m a -> m a
serverListen :: SessionMonad m => m [Message]
serverSetLogLevel :: SessionMonad m => Level -> m Level
serverWait :: SessionMonad m => m ()
serverWaitClients :: SessionMonad m => m ()
serverSqlDatabase :: SessionMonad m => m Connection
openSqlConnection :: SessionMonad m => m Connection
closeSqlConnection :: SessionMonad m => Connection -> m ()
withSqlConnection :: SessionMonad m => m a -> m a
withSqlTransaction :: SessionMonad m => ServerM IO a -> m a
serverSetFileContents :: SessionMonad m => Path -> Maybe Text -> m ()
inSessionGhc :: SessionMonad m => GhcM a -> m a
inSessionUpdater :: SessionMonad m => ServerM IO a -> m a
postSessionUpdater :: SessionMonad m => ServerM IO a -> m (Async a)
serverExit :: SessionMonad m => m ()
commandRoot :: CommandMonad m => m FilePath
commandNotify :: CommandMonad m => Notification -> m ()
commandLink :: CommandMonad m => m ()
commandHold :: CommandMonad m => m ()
data ServerCommand
- = Version Bool
- | Start ServerOpts
- | Run ServerOpts
- | Stop ClientOpts
- | Connect ClientOpts
- | Remote ClientOpts Bool Command
data ConnectionPort
- = NetworkPort Int
- | UnixPort String
data ServerOpts = ServerOpts {
- serverPort :: ConnectionPort
- serverTimeout :: Int
- serverLog :: Maybe FilePath
- serverLogLevel :: String
- serverLogNoColor :: Bool
- serverDbFile :: Maybe FilePath
- serverWatchFS :: Bool
- serverSilent :: Bool
}
silentOpts :: ServerOpts
data ClientOpts = ClientOpts {
- clientPort :: ConnectionPort
- clientPretty :: Bool
- clientStdin :: Bool
- clientTimeout :: Int
- clientSilent :: Bool
}
serverOptsArgs :: ServerOpts -> [String]
data Request = Request {
- requestCommand :: Command
- requestDirectory :: FilePath
- requestNoFile :: Bool
- requestTimeout :: Int
- requestSilent :: Bool
}
data Command
- = Ping
- | Listen (Maybe String)
- | SetLogLevel String
- | Scan {
  - scanProjects :: [Path]
  - scanCabal :: Bool
  - scanSandboxes :: [Path]
  - scanFiles :: [FileSource]
  - scanPaths :: [Path]
  - scanBuildTool :: BuildTool
  - scanGhcOpts :: [String]
  - scanDocs :: Bool
  - scanInferTypes :: Bool
  }
- | ScanProject {
  - scanProjectPath :: Path
  - scanProjectBuildTool :: BuildTool
  - scanProjectDeps :: Bool
  }
- | ScanFile {
  - scanFilePath :: Path
  - scanFileBuildTool :: BuildTool
  - scanFileProject :: Bool
  - scanFileDeps :: Bool
  }
- | ScanPackageDbs {
  - scanPackageDbStack :: PackageDbStack
  }
- | SetFileContents Path (Maybe Text)
- | RefineDocs {
  - docsProjects :: [Path]
  - docsFiles :: [Path]
  }
- | InferTypes {
  - inferProjects :: [Path]
  - inferFiles :: [Path]
  }
- | Remove {
  - removeProjects :: [Path]
  - removeCabal :: Bool
  - removeSandboxes :: [Path]
  - removeFiles :: [Path]
  }
- | RemoveAll
- | InfoPackages
- | InfoProjects
- | InfoSandboxes
- | InfoSymbol SearchQuery [TargetFilter] Bool Bool
- | InfoModule SearchQuery [TargetFilter] Bool Bool
- | InfoProject (Either Text Path)
- | InfoSandbox Path
- | Lookup Text Path
- | Whois Text Path
- | Whoat Int Int Path
- | ResolveScopeModules SearchQuery Path
- | ResolveScope SearchQuery Path
- | FindUsages Int Int Path
- | Complete Text Bool Path
- | Hayoo {
  - hayooQuery :: String
  - hayooPage :: Int
  - hayooPages :: Int
  }
- | CabalList {
  - cabalListPackages :: [Text]
  }
- | UnresolvedSymbols {
  - unresolvedFiles :: [Path]
  }
- | Lint {
  - lintFiles :: [FileSource]
  - lintHlintOpts :: [String]
  }
- | Check {
  - checkFiles :: [FileSource]
  - checkGhcOpts :: [String]
  - checkClear :: Bool
  }
- | CheckLint {
  - checkLintFiles :: [FileSource]
  - checkLintGhcOpts :: [String]
  - checkLintOpts :: [String]
  - checkLinkClear :: Bool
  }
- | Types {
  - typesFiles :: [FileSource]
  - typesGhcOpts :: [String]
  - typesClear :: Bool
  }
- | AutoFix [Note OutputMessage]
- | Refactor [Note Refact] [Note Refact] Bool
- | Rename {
  - renameSymbol :: Text
  - renameTo :: Text
  - renameLocal :: Maybe (Int, Int)
  - renameContextFile :: Path
  }
- | GhcEval {
  - ghcEvalExpressions :: [String]
  - ghcEvalSource :: Maybe FileSource
  }
- | GhcType {
  - ghcTypeExpressions :: [String]
  - ghcTypeSource :: Maybe FileSource
  }
- | Langs
- | Flags
- | Link {
  - linkHold :: Bool
  }
- | StopGhc
- | Exit
data FileSource = FileSource {
- fileSource :: Path
- fileContents :: Maybe Text
}
data TargetFilter
- = TargetProject Text
- | TargetFile Path
- | TargetModule Text
- | TargetPackage Text
- | TargetInstalled
- | TargetSourced
- | TargetStandalone
data SearchQuery = SearchQuery Text SearchType
data SearchType
- = SearchExact
- | SearchPrefix
- | SearchInfix
- | SearchSuffix
class FromCmd a where
- cmdP :: Parser a

Documentation

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

data SessionLog Source #

Constructors

SessionLog
Fields sessionLogger :: Log sessionListenLog :: IO [Message] sessionLogWait :: IO ()

data Session Source #

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)
sessionHTTPManager :: Manager
sessionExit :: IO ()
sessionWait :: IO ()
sessionClients :: Chan (IO ())
sessionDefines :: [(String, String)]

Instances

Monad m => MonadReader Session (ServerM m) Source #
Instance details 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 #

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

Methods

getSession :: m Session Source #

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

Instances

ServerMonadBase m => SessionMonad (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: ClientM m Session Source # localSession :: (Session -> Session) -> ClientM m a -> ClientM m a Source #
ServerMonadBase m => SessionMonad (ServerM m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: ServerM m Session Source # localSession :: (Session -> Session) -> ServerM m a -> ServerM m a Source #
ServerMonadBase m => SessionMonad (UpdateM m) Source #
Instance details Defined in HsDev.Database.Update.Types Methods getSession :: UpdateM m Session Source # localSession :: (Session -> Session) -> UpdateM m a -> UpdateM m a Source #
(SessionMonad m, Monoid w) => SessionMonad (WriterT w m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: WriterT w m Session Source # localSession :: (Session -> Session) -> WriterT w m a -> WriterT w m a Source #
SessionMonad m => SessionMonad (StateT s m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: StateT s m Session Source # localSession :: (Session -> Session) -> StateT s m a -> StateT s m a Source #
SessionMonad m => SessionMonad (ReaderT r m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: ReaderT r m Session Source # localSession :: (Session -> Session) -> ReaderT r m a -> ReaderT r m a Source #

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

newtype ServerM m a Source #

Constructors

ServerM
Fields runServerM :: ReaderT Session m a

Instances

MonadTrans ServerM Source #
Instance details Defined in HsDev.Server.Types Methods lift :: Monad m => m a -> ServerM m a #
Monad m => MonadReader Session (ServerM m) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods liftBase :: b α -> ServerM m α #
MonadBaseControl b m => MonadBaseControl b (ServerM m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods fail :: String -> ServerM m a #
Applicative m => Applicative (ServerM m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods liftIO :: IO a -> ServerM m a #
MonadThrow m => MonadThrow (ServerM m) Source #
Instance details Defined in HsDev.Server.Types Methods throwM :: Exception e => e -> ServerM m a #
MonadCatch m => MonadCatch (ServerM m) Source #
Instance details Defined in HsDev.Server.Types Methods catch :: Exception e => ServerM m a -> (e -> ServerM m a) -> ServerM m a #
MonadMask m => MonadMask (ServerM m) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods askLog :: ServerM m Log # localLog :: (Log -> Log) -> ServerM m a -> ServerM m a #
ServerMonadBase m => SessionMonad (ServerM m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: ServerM m Session Source # localSession :: (Session -> Session) -> ServerM m a -> ServerM m a Source #
MFunctor ServerM Source #
Instance details 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 Source #
Instance details Defined in HsDev.Server.Types type StM (ServerM m) a = StM (ReaderT Session m) a

data CommandOptions Source #

Constructors

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

Instances

Default CommandOptions Source #
Instance details Defined in HsDev.Server.Types Methods def :: CommandOptions #

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

Methods

getOptions :: m CommandOptions Source #

Instances

ServerMonadBase m => CommandMonad (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods getOptions :: ClientM m CommandOptions Source #
ServerMonadBase m => CommandMonad (UpdateM m) Source #
Instance details Defined in HsDev.Database.Update.Types Methods getOptions :: UpdateM m CommandOptions Source #
(CommandMonad m, Monoid w) => CommandMonad (WriterT w m) Source #
Instance details Defined in HsDev.Server.Types Methods getOptions :: WriterT w m CommandOptions Source #
CommandMonad m => CommandMonad (StateT s m) Source #
Instance details Defined in HsDev.Server.Types Methods getOptions :: StateT s m CommandOptions Source #
CommandMonad m => CommandMonad (ReaderT r m) Source #
Instance details Defined in HsDev.Server.Types Methods getOptions :: ReaderT r m CommandOptions Source #

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

newtype ClientM m a Source #

Constructors

ClientM
Fields runClientM :: ServerM (ReaderT CommandOptions m) a

Instances

MonadTrans ClientM Source #
Instance details Defined in HsDev.Server.Types Methods lift :: Monad m => m a -> ClientM m a #
MonadBase b m => MonadBase b (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods liftBase :: b α -> ClientM m α #
MonadBaseControl b m => MonadBaseControl b (ClientM m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods fail :: String -> ClientM m a #
Applicative m => Applicative (ClientM m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods liftIO :: IO a -> ClientM m a #
MonadThrow m => MonadThrow (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods throwM :: Exception e => e -> ClientM m a #
MonadCatch m => MonadCatch (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods catch :: Exception e => ClientM m a -> (e -> ClientM m a) -> ClientM m a #
MonadMask m => MonadMask (ClientM m) Source #
Instance details 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) Source #
Instance details Defined in HsDev.Server.Types Methods askLog :: ClientM m Log # localLog :: (Log -> Log) -> ClientM m a -> ClientM m a #
ServerMonadBase m => CommandMonad (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods getOptions :: ClientM m CommandOptions Source #
ServerMonadBase m => SessionMonad (ClientM m) Source #
Instance details Defined in HsDev.Server.Types Methods getSession :: ClientM m Session Source # localSession :: (Session -> Session) -> ClientM m a -> ClientM m a Source #
MFunctor ClientM Source #
Instance details 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 Source #
Instance details Defined in HsDev.Server.Types type StM (ClientM m) a = StM (ServerM (ReaderT CommandOptions m)) a

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

Run action on session

serverListen :: SessionMonad m => m [Message] Source #

Listen server's log

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

Set server's log config

serverWait :: SessionMonad m => m () Source #

Wait for server

serverWaitClients :: SessionMonad m => m () Source #

Wait while clients disconnects

serverSqlDatabase :: SessionMonad m => m Connection Source #

Get sql connection

openSqlConnection :: SessionMonad m => m Connection Source #

Open new sql connection

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

Close sql connection

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

Locally opens new connection, updating Session

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

With sql transaction

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

Set custom file contents

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

In ghc session

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

In updater

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

Post to updater and return

serverExit :: SessionMonad m => m () Source #

Exit session

commandRoot :: CommandMonad m => m FilePath Source #

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

commandLink :: CommandMonad m => m () Source #

commandHold :: CommandMonad m => m () Source #

data ServerCommand Source #

Server control command

Constructors

Version Bool
Start ServerOpts
Run ServerOpts
Stop ClientOpts
Connect ClientOpts
Remote ClientOpts Bool Command

Instances

Show ServerCommand Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> ServerCommand -> ShowS # show :: ServerCommand -> String # showList :: [ServerCommand] -> ShowS #
FromCmd ServerCommand Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ServerCommand Source #

data ConnectionPort Source #

Constructors

NetworkPort Int
UnixPort String

Instances

Eq ConnectionPort Source #
Instance details Defined in HsDev.Server.Types Methods (==) :: ConnectionPort -> ConnectionPort -> Bool # (/=) :: ConnectionPort -> ConnectionPort -> Bool #
Read ConnectionPort Source #
Instance details Defined in HsDev.Server.Types Methods readsPrec :: Int -> ReadS ConnectionPort # readList :: ReadS [ConnectionPort] # readPrec :: ReadPrec ConnectionPort # readListPrec :: ReadPrec [ConnectionPort] #
Show ConnectionPort Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> ConnectionPort -> ShowS # show :: ConnectionPort -> String # showList :: [ConnectionPort] -> ShowS #
Default ConnectionPort Source #
Instance details Defined in HsDev.Server.Types Methods def :: ConnectionPort #
Formattable ConnectionPort Source #
Instance details Defined in HsDev.Server.Types Methods formattable :: ConnectionPort -> FormatFlags -> Formatted #

data ServerOpts Source #

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 Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> ServerOpts -> ShowS # show :: ServerOpts -> String # showList :: [ServerOpts] -> ShowS #
Default ServerOpts Source #
Instance details Defined in HsDev.Server.Types Methods def :: ServerOpts #
FromCmd ServerOpts Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ServerOpts Source #

silentOpts :: ServerOpts Source #

Silent server with no connection, useful for ghci

data ClientOpts Source #

Client options

Constructors

ClientOpts
Fields clientPort :: ConnectionPort clientPretty :: Bool clientStdin :: Bool clientTimeout :: Int clientSilent :: Bool

Instances

Show ClientOpts Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> ClientOpts -> ShowS # show :: ClientOpts -> String # showList :: [ClientOpts] -> ShowS #
Default ClientOpts Source #
Instance details Defined in HsDev.Server.Types Methods def :: ClientOpts #
FromCmd ClientOpts Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ClientOpts Source #

serverOptsArgs :: ServerOpts -> [String] Source #

data Request Source #

Constructors

Request
Fields requestCommand :: Command requestDirectory :: FilePath requestNoFile :: Bool requestTimeout :: Int requestSilent :: Bool

Instances

Show Request Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> Request -> ShowS # show :: Request -> String # showList :: [Request] -> ShowS #
ToJSON Request Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: Request -> Value # toEncoding :: Request -> Encoding # toJSONList :: [Request] -> Value # toEncodingList :: [Request] -> Encoding #
FromJSON Request Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser Request # parseJSONList :: Value -> Parser [Request] #

data Command Source #

Command from client

Constructors

Ping
Listen (Maybe String)
SetLogLevel String
Scan
Fields scanProjects :: [Path] scanCabal :: Bool scanSandboxes :: [Path] scanFiles :: [FileSource] scanPaths :: [Path] scanBuildTool :: BuildTool scanGhcOpts :: [String] scanDocs :: Bool scanInferTypes :: Bool
ScanProject
Fields scanProjectPath :: Path scanProjectBuildTool :: BuildTool scanProjectDeps :: Bool
ScanFile
Fields scanFilePath :: Path scanFileBuildTool :: BuildTool scanFileProject :: Bool scanFileDeps :: Bool
ScanPackageDbs
Fields scanPackageDbStack :: PackageDbStack
SetFileContents Path (Maybe Text)
RefineDocs
Fields docsProjects :: [Path] docsFiles :: [Path]
InferTypes
Fields inferProjects :: [Path] inferFiles :: [Path]
Remove
Fields removeProjects :: [Path] removeCabal :: Bool removeSandboxes :: [Path] removeFiles :: [Path]
RemoveAll
InfoPackages
InfoProjects
InfoSandboxes
InfoSymbol SearchQuery [TargetFilter] Bool Bool
InfoModule SearchQuery [TargetFilter] Bool Bool
InfoProject (Either Text Path)
InfoSandbox Path
Lookup Text Path
Whois Text Path
Whoat Int Int Path
ResolveScopeModules SearchQuery Path
ResolveScope SearchQuery Path
FindUsages Int Int Path
Complete Text Bool Path
Hayoo
Fields hayooQuery :: String hayooPage :: Int hayooPages :: Int
CabalList
Fields cabalListPackages :: [Text]
UnresolvedSymbols
Fields unresolvedFiles :: [Path]
Lint
Fields lintFiles :: [FileSource] lintHlintOpts :: [String]
Check
Fields checkFiles :: [FileSource] checkGhcOpts :: [String] checkClear :: Bool
CheckLint
Fields checkLintFiles :: [FileSource] checkLintGhcOpts :: [String] checkLintOpts :: [String] checkLinkClear :: Bool
Types
Fields typesFiles :: [FileSource] typesGhcOpts :: [String] typesClear :: Bool
AutoFix [Note OutputMessage]
Refactor [Note Refact] [Note Refact] Bool
Rename
Fields renameSymbol :: Text renameTo :: Text renameLocal :: Maybe (Int, Int) renameContextFile :: Path
GhcEval
Fields ghcEvalExpressions :: [String] ghcEvalSource :: Maybe FileSource
GhcType
Fields ghcTypeExpressions :: [String] ghcTypeSource :: Maybe FileSource
Langs
Flags
Link
Fields linkHold :: Bool
StopGhc
Exit

Instances

Show Command Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> Command -> ShowS # show :: Command -> String # showList :: [Command] -> ShowS #
ToJSON Command Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: Command -> Value # toEncoding :: Command -> Encoding # toJSONList :: [Command] -> Value # toEncodingList :: [Command] -> Encoding #
FromJSON Command Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser Command # parseJSONList :: Value -> Parser [Command] #
FromCmd Command Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser Command Source #
Paths Command Source #
Instance details Defined in HsDev.Server.Types Methods paths :: Traversal' Command FilePath Source #

data FileSource Source #

Constructors

FileSource
Fields fileSource :: Path fileContents :: Maybe Text

Instances

Show FileSource Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> FileSource -> ShowS # show :: FileSource -> String # showList :: [FileSource] -> ShowS #
ToJSON FileSource Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: FileSource -> Value # toEncoding :: FileSource -> Encoding # toJSONList :: [FileSource] -> Value # toEncodingList :: [FileSource] -> Encoding #
FromJSON FileSource Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser FileSource # parseJSONList :: Value -> Parser [FileSource] #
FromCmd FileSource Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser FileSource Source #
Paths FileSource Source #
Instance details Defined in HsDev.Server.Types Methods paths :: Traversal' FileSource FilePath Source #
EnumContents FileSource Source #
Instance details Defined in HsDev.Scan Methods enumContents :: CommandMonad m => FileSource -> m ScanContents Source #

data TargetFilter Source #

Constructors

TargetProject Text
TargetFile Path
TargetModule Text
TargetPackage Text
TargetInstalled
TargetSourced
TargetStandalone

Instances

Eq TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods (==) :: TargetFilter -> TargetFilter -> Bool # (/=) :: TargetFilter -> TargetFilter -> Bool #
Show TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> TargetFilter -> ShowS # show :: TargetFilter -> String # showList :: [TargetFilter] -> ShowS #
ToJSON TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: TargetFilter -> Value # toEncoding :: TargetFilter -> Encoding # toJSONList :: [TargetFilter] -> Value # toEncodingList :: [TargetFilter] -> Encoding #
FromJSON TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser TargetFilter # parseJSONList :: Value -> Parser [TargetFilter] #
FromCmd TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser TargetFilter Source #
Paths TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods paths :: Traversal' TargetFilter FilePath Source #

data SearchQuery Source #

Constructors

SearchQuery Text SearchType

Instances

Show SearchQuery Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> SearchQuery -> ShowS # show :: SearchQuery -> String # showList :: [SearchQuery] -> ShowS #
ToJSON SearchQuery Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: SearchQuery -> Value # toEncoding :: SearchQuery -> Encoding # toJSONList :: [SearchQuery] -> Value # toEncodingList :: [SearchQuery] -> Encoding #
FromJSON SearchQuery Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser SearchQuery # parseJSONList :: Value -> Parser [SearchQuery] #
FromCmd SearchQuery Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser SearchQuery Source #

data SearchType Source #

Constructors

SearchExact
SearchPrefix
SearchInfix
SearchSuffix

Instances

Show SearchType Source #
Instance details Defined in HsDev.Server.Types Methods showsPrec :: Int -> SearchType -> ShowS # show :: SearchType -> String # showList :: [SearchType] -> ShowS #
ToJSON SearchType Source #
Instance details Defined in HsDev.Server.Types Methods toJSON :: SearchType -> Value # toEncoding :: SearchType -> Encoding # toJSONList :: [SearchType] -> Value # toEncodingList :: [SearchType] -> Encoding #
FromJSON SearchType Source #
Instance details Defined in HsDev.Server.Types Methods parseJSON :: Value -> Parser SearchType # parseJSONList :: Value -> Parser [SearchType] #

class FromCmd a where Source #

Methods

cmdP :: Parser a Source #

Instances

FromCmd SearchQuery Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser SearchQuery Source #
FromCmd TargetFilter Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser TargetFilter Source #
FromCmd FileSource Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser FileSource Source #
FromCmd Command Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser Command Source #
FromCmd ClientOpts Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ClientOpts Source #
FromCmd ServerOpts Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ServerOpts Source #
FromCmd ServerCommand Source #
Instance details Defined in HsDev.Server.Types Methods cmdP :: Parser ServerCommand Source #