Apalachex.Spec (apalachex v0.1.0)

Copy Markdown View Source

Identifies validated TLA+ source and optional configuration files.

Summary

Types

t()

Functions

new(options)

Validates source and optional config artifacts.

Types

t()

@type t() :: %Apalachex.Spec{config: Path.t() | nil, source: Path.t()}

Functions

new(options)

@spec new(keyword()) :: {:ok, t()} | {:error, Apalachex.Spec.Error.t()}

Validates source and optional config artifacts.