thanos / ex_datalog / bff7b93108fa68663c9cf2af414f3a12934e5026-PR-86

94%

main: 94%

Build Type

Pull #86

github

Committed by thanos

Commit Message

Key changes:
- constraint.ex — 6 new constructors, 3 new op categories, import Kernel, except: [is_integer: 1, is_binary: 1, is_atom: 1], valid_right?/2 for unary constraints, dispatch entries
- ir.ex — from_constraint/1 handles right: nil, from_term/1 handles list constants
- term.ex — const/1 and valid?/1 accept lists for membership
- capabilities.ex — type_predicates and string_predicates default to true
Verification: 509 tests, 0 failures / credo: 0 failures (3 intentional naming warnings) / dialyzer: 0 warnings / formatter: clean

Closed

 - closed #106 Create test files for Type, String, Membership constraints and write Phase 4 review guide
 - closed #105 Update capabilities.ex defaults for type_predicates and string_predicates
 - closed #104 Update validator/safety.ex for unary and membership constraints
 - closed #103 Update ir.ex to handle unary constraints in from_constraint/1
 - closed #102 Create constraints/membership.ex for :member
 - closed #101 Create constraints/type.ex for :is_integer, :is_binary, :is_atom
 - closed #100 Create constraints/string.ex for :starts_with, :contains
 - closed #99 Add new ops, constructors, types, validation, and dispatch to constraint.ex
 - closed #98 Phase 4 — Built-in Pure Constraints

Pull Request Pull Request #86: V0.2.0/constraint storage foundations

Coverage Stats

181 of 208 new or added lines in 15 files covered. (87.02%)

24 existing lines in 5 files now uncovered.

859 of 946 relevant lines covered (90.8%)

122.99 hits per line