| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FP.Server.Types
Description
Server types.
- type ServerM r = ReaderT (ServerState, r) (LoggingT IO)
- type Server = ServerM ProjectId
- data ServerState = ServerState {}
- data ClientConfig = CC {}
- data Config = Config {
- configToken :: !Text
- configUrl :: !Text
- configPort :: !Integer
- configAgent :: !Text
- configDebug :: !Bool
- configStartServer :: !Bool
- data Msg
- = MsgSaveModule ProjectId FilePath FilePath
- | MsgCheckModule ProjectId FilePath FilePath FilePath
- | MsgTypeInfo ProjectId FilePath Int Int Int Int
- | MsgGetDefinition ProjectId FilePath FilePath Int Int Int Int
- | MsgAutoComplete ProjectId FilePath Text
- | MsgHoogleIdent ProjectId FilePath Text
- | MsgHoogleDb ProjectId Text
- | MsgDownloadFiles (Either Text ProjectId) FilePath
- | MsgWriteEmacsConfig (Either Text ProjectId) FilePath
- | MsgRunTarget ProjectId
- data ProcessMsg
- data Reply
- = ReplyPong ()
- | ReplyOK ()
- | ReplyCompileMessages [CompileMessage]
- | ReplyCompileInfos [SourceInfo]
- | ReplyTypeInfo [SpanType]
- | ReplyLocation DefinitionLoc
- | ReplyCompletions [Text]
- | ReplyHoogleResults [HoogleResult]
- | ReplyHoogleResult HoogleResult
- | ReplySaveStatus Bool
- | ReplyStdout Text
- | ReplyStderr Text
- | ReplyWebUrl Approot
- data DefinitionLoc
- data PackageModule = PackageModule Text Text
- data Loc = Loc FilePath Int Int Int Int
- data SpanType = SpanType Int Int Int Int Text [Text]
- data CompileMessage = CompileMessage Text Text Text
Documentation
data ServerState Source
The configuration for the server and some state.
Constructors
| ServerState | |
Fields
| |
data ClientConfig Source
Simple command configuration.
Configuration for server.
Constructors
| Config | |
Fields
| |
Message from the client.
Constructors
Reply to the client.
Constructors
data DefinitionLoc Source
Constructors
| DefinitionLoc Loc | |
| DefinitionUseless Text | |
| DefinitionImport Text PackageModule PackageModule (Maybe Loc) (Maybe Loc) |
data PackageModule Source
Constructors
| PackageModule Text Text |
A type info thing.
data CompileMessage Source
A message from the compiler about code.
Constructors
| CompileMessage Text Text Text |