Safe Haskell | None |
---|
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.
ServerReader | |
|
MonadClient Server | Necessary for calling Fay API functions. |
A callback that will look at incoming messages and determine whether it's what it wants.
Configuration for server.
Config | |
|
Message from the client.
Reply to the client.
data DefinitionLoc Source
A type info thing.
data CompileMessage Source
A message from the compiler about code.