GroundPlane.Contracts.TraceRef (GroundPlane Contracts v0.1.0)

Opaque trace reference.

Summary

t()

new(segment)

new(left, right)

parse(value)

valid?(value)

@type t() :: %GroundPlane.Contracts.TraceRef{ref: String.t(), segments: [String.t()]}

@spec new(String.t()) :: {:ok, t()} | {:error, term()}

@spec new(String.t(), String.t()) :: {:ok, t()} | {:error, term()}

@spec new(String.t(), String.t(), String.t()) :: {:ok, t()} | {:error, term()}

@spec new(String.t(), String.t(), String.t(), String.t()) ::
  {:ok, t()} | {:error, term()}

@spec parse(String.t()) :: {:ok, t()} | {:error, term()}

@spec to_string(t()) :: String.t()

@spec valid?(term()) :: boolean()