is_empty does not work on set
Open
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 225
- PR merge metrics
- No merged PRs in 30d
Description
This is because a `set` is not an `Iterable`. `is_empty` should probably move to `MonadPlus`, and `set` might be a model of `MonadPlus` using `union_`.
Contributor guide
Research direction
Start by examining the is_empty operation, the Iterable and MonadPlus concepts, and set's union_ support in Boost.Hana. Determine whether moving is_empty to MonadPlus and modeling set with MonadPlus is the intended design; done means is_empty works correctly for set with suitable coverage.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100