Certitudo.Forma.Differentia (certitudo v0.1.0)

Copy Markdown View Source

The result of distinguishing a pair of tractus — what right is from left in text and coverage. Named after the Aristotelian differentia specifica.

Summary

Types

status()
t()

Types

status()

@type status() ::
  :unchanged
  | :moved_unchanged
  | :moved_coverage_changed
  | :new_covered
  | :new_uncovered
  | :removed_covered
  | :removed_uncovered
  | :existing_coverage_gained
  | :existing_coverage_lost
  | :existing_coverage_mixed
  | :ambiguous_moved

t()

@type t() :: %Certitudo.Forma.Differentia{
  delta: map() | nil,
  left: Certitudo.Forma.Tractus.t() | nil,
  residue: Certitudo.Forma.Residuatum.t() | nil,
  right: Certitudo.Forma.Tractus.t() | nil,
  status: status()
}