structure Lapis.Transport.Stdio.StdioTransport : Type

• stdin : IO.FS.Stream
• stdout : IO.FS.Stream

def Lapis.Transport.Stdio.create : IO StdioTransport

Equations

• Lapis.Transport.Stdio.create = do let stdin ← liftM IO.getStdin let stdout ← liftM IO.getStdout pure { stdin := stdin, stdout := stdout }

def Lapis.Transport.Stdio.readMessage (t : StdioTransport) : IO (Option Protocol.JsonRpc.Message)

Equations

• One or more equations did not get rendered due to their size.

def Lapis.Transport.Stdio.writeMessage (t : StdioTransport) (msg : Protocol.JsonRpc.Message) : IO Unit

Equations

• One or more equations did not get rendered due to their size.

def Lapis.Transport.Stdio.close : StdioTransport → IO Unit

Equations

• Lapis.Transport.Stdio.close x✝ = pure ()

instance Lapis.Transport.Stdio.instTransportStdioTransport : Transport StdioTransport

Equations

• One or more equations did not get rendered due to their size.