IsabelleClient.Server.Info (isabelle_elixir v0.3.0)

View Source

Connection details for a resident Isabelle server.

Summary

Types

t()

Connection details printed by Isabelle's resident server.

Types

t()

@type t() :: %IsabelleClient.Server.Info{
  host: String.t(),
  name: String.t(),
  password: String.t(),
  port: non_neg_integer()
}

Connection details printed by Isabelle's resident server.