bodil / bodil/purescript-signal
Unlawful Monoid instance
Open
- Dominant language
- PureScript
- Stars
- 260
- Forks
- 41
- PR merge metrics
- No merged PRs in 30d
Description
`Signal`'s Monoid instance breaks the law `mempty <> x = x`: `constant 5` has an initial value of 5, but `mempty <> constant 5` has an initial value of 0. `Signal` should not have a Monoid instance.
Contributor guide
No contributing guide indexed for this repository
Research direction
Locate the Signal Monoid instance in the PureScript source and inspect any nearby tests or typeclass definitions. Done means the unlawful instance is no longer present, so the reported identity-law violation cannot occur.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 48/100