Opened 5 years ago

Closed 3 years ago

#10163 closed feature request (invalid)

Export typeRepKinds in Data.Typeable

Reported by: RyanGlScott Owned by:
Priority: normal Milestone:
Component: libraries/base Version: 7.10.1-rc3
Keywords: Typeable Cc: bgamari, hvr, ekmett
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Other Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

Now that TypeRep has a [KindRep] field internally, Data.Typeable should export typeRepKinds (alongside typeRepTyCon and typeRepArgs, which are currently exported) to allow users to access it.

Change History (5)

comment:1 Changed 5 years ago by simonpj

Maybe. In the future I'm not sure we'll distinguish between kind and type arguments. I think a better solution would be for typeRepArgs to return the kind and type arguments.

In any case I mostly think you shouldn't be decomposing TypeRep at all. Are you? What's your use-case?

Simon'

comment:2 Changed 4 years ago by RyanGlScott

I'd be okay with combining kind and type arguments in typeRepArgs, especially since template-haskell does this already. I don't have a particular use case to cite, just the desire for parity with the other fields of TypeRep.

comment:3 Changed 4 years ago by simonpj

Keywords: Typeable added

comment:4 Changed 4 years ago by bgamari

Cc: bgamari added

comment:5 Changed 3 years ago by RyanGlScott

Resolution: invalid
Status: newclosed

Once the type-indexed Typeable work gets merged in (#11011), this ticket will no longer be relevant, since neither typeRepArgs nor typeRepKinds will exist anymore.

Note: See TracTickets for help on using tickets.