Development 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
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?
> On 12 Feb 2018, at 18:30, Ben Gamari wrote:
>
> Development writes:
>
>>
Development writes:
> Hey guys I have a (hopefully quick) question.
>
> With the new `Data.Typeable` and `Data.Reflection` in base 4.10 have we
> really lost the ability for users to compose `TypeRep`’s?
>
> I was using `Data.Typeable` before (mainly `mkTyConApp`). But in the
> new base 4.10 I c
Did you mean Type.Reflection?
(reflection's Data.Reflection offers a completely unrelated notion of
Typeable reflection, hence my confusion.)
-Edward
On Sat, Feb 10, 2018 at 5:16 AM, Development wrote:
> Hey guys I have a (hopefully quick) question.
>
> With the new `Data.Typeable` and `Data.R
