Lemma.PathSegment (lemma_engine v0.10.1)

One uses hop on a Show data or rule path.

uses is the import alias. repository is nil for the unnamed workspace; otherwise the interned repository name of the target.

Summary

t()

from_map(map)

Builds a Lemma.PathSegment from one element of a Show path array.

@type t() :: %Lemma.PathSegment{
  repository: String.t() | nil,
  spec: String.t(),
  uses: String.t()
}

@spec from_map(map()) :: t()

Builds a Lemma.PathSegment from one element of a Show path array.