Certitudo.Forma.LineaDifferentia (certitudo v0.1.0)

Copy Markdown View Source

A line-level differentia entry inside a tractus differentia.

Summary

Types

status()

@type status() ::
  :moved_unchanged
  | :new_covered
  | :new_uncovered
  | :removed_covered
  | :removed_uncovered
  | :existing_coverage_gained
  | :existing_coverage_lost

t()

@type t() :: %Certitudo.Forma.LineaDifferentia{
  left: Certitudo.Forma.Line.t() | nil,
  right: Certitudo.Forma.Line.t() | nil,
  status: status()
}