MingaEditor.State.OperationProgress (Minga v0.1.0)

Domain-authored completed-unit progress for an operation.

Summary

error()

t()

Builds progress when current is non-negative and does not exceed a positive wire-safe total.

Builds valid progress or raises for an impossible range.

@type error() :: :invalid_progress_range

@type t() :: %MingaEditor.State.OperationProgress{
  current: non_neg_integer(),
  total: pos_integer()
}

@spec new(integer(), integer()) :: {:ok, t()} | {:error, error()}

Builds progress when current is non-negative and does not exceed a positive wire-safe total.

@spec new!(integer(), integer()) :: t()

Builds valid progress or raises for an impossible range.