[Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Duncan Coutts
Hi all, I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a - Int - Maybe a insert :: Sequence a - Int - a - Sequence a delete :: Sequence a - Int - Sequence a Obviously I can

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread S.M.Kahrs
I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. [snip] For example the Data.Map supports all of these except insert. Okasaki's random access lists only support inserting elements at the head of the

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Sebastian Sylvan
On 1/13/06, Duncan Coutts [EMAIL PROTECTED] wrote: Hi all, I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a - Int - Maybe a insert :: Sequence a - Int - a - Sequence a delete

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Ross Paterson
On Fri, Jan 13, 2006 at 01:18:35PM +, Duncan Coutts wrote: I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a - Int - Maybe a insert :: Sequence a - Int - a - Sequence a

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Duncan Coutts
On Fri, 2006-01-13 at 14:41 +0100, Sebastian Sylvan wrote: On 1/13/06, Duncan Coutts [EMAIL PROTECTED] wrote: Hi all, I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a -

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Duncan Coutts
On Fri, 2006-01-13 at 13:53 +, Ross Paterson wrote: On Fri, Jan 13, 2006 at 01:18:35PM +, Duncan Coutts wrote: I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a -

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Greg Buchholz
Duncan Coutts wrote: I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. See also, Robert Will's Democratic Sequences which strive for O(log n) complexity for all major operations... Democratic

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Duncan Coutts
On Fri, 2006-01-13 at 13:53 +, Ross Paterson wrote: On Fri, Jan 13, 2006 at 01:18:35PM +, Duncan Coutts wrote: I've been looking around (unsuccessfully) for an efficient data structure to implement a sequence data type with indexed insert/delete/lookup. lookup :: Sequence a -

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Ross Paterson
On Fri, Jan 13, 2006 at 08:25:46PM +, Duncan Coutts wrote: On Fri, 2006-01-13 at 13:53 +, Ross Paterson wrote: Have a look at Data.Sequence (in CVS/darcs version), docs at http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Sequence.html [...] It's probably too much

Re: [Haskell] Looking for a random-access sequence data structure

2006-01-13 Thread Duncan Coutts
On Fri, 2006-01-13 at 20:52 +, Ross Paterson wrote: On Fri, Jan 13, 2006 at 08:25:46PM +, Duncan Coutts wrote: On Fri, 2006-01-13 at 13:53 +, Ross Paterson wrote: Have a look at Data.Sequence (in CVS/darcs version), docs at