Rename mempty

Question

Closed this issue 8 years ago · 8 comments

Sounds un-PureScript-y. @garyb suggested leaving Plus as is and picking something here when modules get renamed.

Agreed

Answer 1 · 2016-08-05T23:16:36.000Z

neutral is the best I have so far, and I don't really like that.

Answer 2 · 2016-08-05T23:45:40.000Z

unit? Although I'm also fine with mempty.

Answer 3 · 2016-08-05T23:46:40.000Z

unit would conflict even more than empty would (since it's the value for Unit: unless we only provide it via monoid?) 😄

Answer 4 · 2016-08-05T23:47:59.000Z

My motivation in asking is because it's inconsistent with fmap etc.

Answer 5 · 2016-08-05T23:48:46.000Z

Yeah, and it's append, not mappend. Although append is in Semigroup so it especially wouldn't make sense as mappend!

Answer 6 · 2017-06-08T19:22:00.000Z

appendId

Answer 7 · 2017-08-21T16:40:03.000Z

I think the fact that this has stayed open for as long as it has suggests that we should probably close it. Thoughts?