Theoria.Equation.Validator (theoria v0.3.0)

Experimental/internal API for 0.2; subject to change before 0.3. Validation for constructor-equation clauses.

Summary

Validates clause coverage and pattern shape for expected constructors.

@spec validate_clauses([Theoria.Equation.Clause.t()], %{
  required(atom()) => non_neg_integer()
}) ::
  :ok | {:error, term()}

Validates clause coverage and pattern shape for expected constructors.