IdeSession.RPC.API

External exceptions

data ExternalException

Exceptions thrown by the remote server

Constructors

ExternalException

Fields

externalStdErr :: String

The output from the server on stderr

externalException :: Maybe IOException

The local exception that was thrown and alerted us to the problem

Instances

Eq ExternalException

Show ExternalException

Exception ExternalException

Typeable * ExternalException

serverKilledException :: Maybe IOException -> ExternalException

Generic exception thrown if the server gets killed for unknown reason

Client-server communication

data RpcConversation

Constructors

RpcConversation

Fields

get :: forall a. (Typeable a, Binary a) => IO a

put :: forall a. (Typeable a, Binary a) => a -> IO ()

data Request

Constructors

Request IncBS

RequestShutdown

Instances

Show Request

Binary Request

newtype Response

Constructors

Response IncBS

Instances

Binary Response

Lazy bytestring with incremental Binary instance

newtype IncBS

Constructors

IncBS

Fields

unIncBS :: ByteString

Instances

Show IncBS

Binary IncBS

IO utils

hPutFlush :: Handle -> ByteString -> IO ()

Write a bytestring to a buffer and flush

ignoreIOExceptions :: IO () -> IO ()

Ignore IO exceptions

openPipeForWriting :: FilePath -> Int -> IO Handle

Open a pipe for writing

This is meant to be used together with openPipeForReading

openPipeForReading :: FilePath -> Int -> IO Handle

Open a pipe for reading

This is meant to be used together with openPipeForWriting