User constructed types with new Data.Typeable and Data.Reflection

Ben Gamari ben at smart-cactus.org
Tue Feb 13 20:33:26 UTC 2018


Development <dev at justus.science> writes:

> Ah thanks. I had no idea the `App` pattern actually was bidirectional. I had tried the `Con’` pattern but that is only valid for deconstruction.
> Is there any way to tell in the docs whether a pattern is bidirectional?
>
Hmmm, that is a good question. Indeed this appears to be quite unclear.

Alex, is this a known issue?

Cheers,

- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180213/bcfeae63/attachment.sig>


More information about the ghc-devs mailing list