| Safe Haskell | None |
|---|
FP.Server.Types
Description
Server types.
- type Server = LoggingT (ReaderT ServerReader IO)
- data ServerReader = ServerReader {}
- newtype Callback = Callback (Maybe Int -> RunnerMessage -> Server Done)
- data Done
- data Config = Config {
- configToken :: !Text
- configUrl :: !Text
- configPort :: !Integer
- configAgent :: !Text
- configDebug :: !Bool
- configStartServer :: !Bool
- data Msg
- = MsgSaveModule FayProjectId FilePath FilePath
- | MsgCheckModule FayProjectId FilePath FilePath FilePath
- | MsgTypeInfo FayProjectId FilePath Int Int Int Int
- | MsgGetDefinition FayProjectId FilePath FilePath Int Int Int Int
- | MsgAutoComplete FayProjectId FilePath Text
- | MsgHoogleIdent FayProjectId FilePath Text
- | MsgHoogleDb FayProjectId Text
- | MsgDownloadFiles (Either Text FayProjectId) FilePath
- | MsgWriteEmacsConfig (Either Text FayProjectId) FilePath
- data Reply
- data DefinitionLoc
- data ModuleId = ModuleId 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 ServerReader Source
The configuration for the server and some state.
Constructors
| ServerReader | |
Fields
| |
Instances
| MonadClient Server | Necessary for calling Fay API functions. |
A callback that will look at incoming messages and determine whether it's what it wants.
Is the callback done looking for what it wants?
Configuration for server.
Constructors
| Config | |
Fields
| |
Message from the client.
Constructors
Reply to the client.
data DefinitionLoc Source
Constructors
| DefinitionLoc Loc | |
| DefinitionUseless Text | |
| DefinitionImport Text ModuleId ModuleId (Maybe Loc) (Maybe Loc) |
A type info thing.
data CompileMessage Source
A message from the compiler about code.
Constructors
| CompileMessage Text Text Text |