AtpClient.Isabelle.Session (AtpClient v0.1.6)

Copy Markdown View Source

Handle for an open Isabelle server session.

Holds the underlying socket (a Port returned by IsabelleClientMini.connect/3), the server-assigned session_id, and the resolved configuration the session was opened with — so follow-up calls can pick up the same local_dir / isabelle_dir without being passed them again.

Summary

Types

t()

Types

t()

@type t() :: %AtpClient.Isabelle.Session{
  config: keyword(),
  session_id: String.t(),
  socket: port()
}