feat(member-filter): add date filter sections with active-count badge and reset support
Some checks failed
continuous-integration/drone/push Build is failing

This commit is contained in:
Moritz 2026-05-20 16:32:29 +02:00
parent e3295ab4b5
commit d6671daf1a
7 changed files with 834 additions and 18 deletions

View file

@ -4,11 +4,14 @@ defmodule MvWeb.MemberLive.Index.DateFilterPropertyTest do
* `to_params/1` `from_params/2` must be the identity for all valid
built-in date filter states (§2.3).
* `apply_in_memory/3` matches the inclusive range predicate
`(from == nil or value >= from) and (to == nil or value <= to)`
for any custom date field value and bound pair (§2.4).
Custom date field entries are not part of this property because
Custom date field round-trip is not part of the URL codec property because
`from_params/2` needs the caller-supplied `date_custom_fields` list to
validate UUIDs; the standalone property for the in-memory predicate (§2.4)
is covered in S8 after the predicate exists.
validate UUIDs; that interaction is covered by example tests in
`MvWeb.MemberLive.Index.DateFilterTest`.
"""
use ExUnit.Case, async: true
use ExUnitProperties