feat(protected): `NonEmpty::with` and `From<integer>` for `NonEmpty` - #314

Merged

coderdan merged 8 commits into

mainfrom

Sep 7, 2026

Commits on Sep 6, 2026

feat(protected): `NonEmpty::with` and `From<integer>` for `NonEmpty`
coderdan
authored
197530e
refactor(protected)!: rename `IsEmpty` to `MaybeEmpty`
coderdan
authored
2d993fa
fix(protected): bound `NonEmpty::with` on `MaybeEmpty` and document its shape
coderdan
authored
8dee8ec
docs(protected): spell out what `NonEmpty::with` does not do for the tail
coderdan
authored
b506a32
test(protected): pin left-nesting in the `with` test, drop prf duplicate
coderdan
authored
31cc70b
test(protected): pin that `NonEmpty::with` needs no bound on the head
coderdan
authored
28ad006

Commits on Sep 7, 2026