@type application_config() :: %{
  extra_applications: [atom()],
  included_applications: [atom()],
  registered: [atom()],
  mod: nil | {module(), term()}
}

@type classification() :: :runtime | :tooling | :proof | :ignored

@type dep() :: %{
  app: atom(),
  requirement: String.t() | nil,
  opts: keyword(),
  original: tuple()
}

@type publication_role() ::
  :default | :internal_only | :separate | {:optional, String.t()}

@type t() :: %Weld.Workspace.Project{
  abs_path: Path.t(),
  app: atom(),
  application: application_config(),
  classification: classification(),
  copy_dirs: [String.t()],
  deps: [dep()],
  elixir: String.t(),
  elixirc_paths: [String.t()],
  erlc_paths: [String.t()],
  id: String.t(),
  publication_role: publication_role(),
  version: String.t()
}