Add Zero and One to Data.Functor (mirroring V1, U1)

Baldur Blöndal baldurpet at gmail.com
Tue Jan 24 19:17:31 UTC 2017


Deadline of 2 weeks.

Original discussion: ⁽¹⁾

data Zero a
data One  a = One

Same definitions as in ‘trivia’ package,⁽²⁾
if a consensus is reached we can update
the documentation for Free:⁽³⁾

“Free Zero” is isomorphic to Identity.
“Free One” is isomorphic to Maybe.

⁽¹⁾ https://ghc.haskell.org/trac/ghc/ticket/13177
⁽²⁾ https://hackage.haskell.org/package/trivia
⁽³⁾
https://hackage.haskell.org/package/free-4.12.4/docs/Control-Monad-Free.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170124/3945e7ae/attachment.html>


More information about the Libraries mailing list