MingaAgent.ProjectView.Source (Minga v0.1.0)

A selected project-view source owner without materialized file content.

Summary

owner()

t()

Selects the buffer that owns an unsaved source.

Selects the changeset that resolves an overlay edit or its disk source.

Selects a disk path while preserving the logical source identity.

Selects the fork that owns an isolated source.

@type owner() ::
  {:disk, String.t()}
  | {:buffer, pid()}
  | {:fork, pid()}
  | {:changeset, pid(), String.t()}

@type t() :: %MingaAgent.ProjectView.Source{owner: owner(), source_id: String.t()}

@spec buffer(String.t(), pid()) :: t()

Selects the buffer that owns an unsaved source.

@spec changeset(String.t(), pid(), String.t()) :: t()

Selects the changeset that resolves an overlay edit or its disk source.

@spec disk(String.t(), String.t()) :: t()

Selects a disk path while preserving the logical source identity.

@spec fork(String.t(), pid()) :: t()

Selects the fork that owns an isolated source.