Opened 4 years ago

Closed 4 years ago

#10222 closed feature request (invalid)

Data.Foldable should have genericLength

Reported by: uznx Owned by:
Priority: normal Milestone:
Component: Core Libraries Version: 7.10.1
Keywords: Cc: hvr, ekmett, core-libraries-committee@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The "length" function in Data.Foldable has its return type hardcoded to "Int". There should also be a genericLength function which can return any Num type, similar to Data.List.genericLength.

Change History (1)

comment:1 Changed 4 years ago by thomie

Cc: core-libraries-committee@… added
Component: libraries/baseCore Libraries
Resolution: invalid
Status: newclosed

Please argue your case on the libraries mailinglist first, and add a link to the thread here. See When your proposal is accepted, you can reopen this ticket.

Note: See TracTickets for help on using tickets.