Opened 10 years ago

Closed 10 years ago

Last modified 9 years ago

#2048 closed proposal (wontfix)

Add split and splitWith to Data.List

Reported by: twanvl Owned by:
Priority: normal Milestone: Not GHC
Component: libraries/base Version: 6.8.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


An often requested function is 'split', to split a list into parts delimited by some separator. ByteString has the functions split and splitWith for this purpose. I propose we add equivalents to Data.List.

Attachments (1)

splitWith.patch (8.6 KB) - added by twanvl 10 years ago.
darcs patch

Download all attachments as: .zip

Change History (5)

Changed 10 years ago by twanvl

Attachment: splitWith.patch added

darcs patch

comment:1 Changed 10 years ago by igloo

difficulty: Unknown
Milestone: Not GHC

comment:2 Changed 10 years ago by igloo

Resolution: wontfix
Status: newclosed

This proposal seems to be abandoned

comment:3 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.