Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread Marcin Tustin
Perhaps I am being obtuse, but why would you need to pass a continuation for each list, rather than just passing the list? If the head does not encapsultate all relevant infromation about the list, could you not wrap the list with another datastructure, which you update (pass a derived versi

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread ChrisK
Rene de Visser wrote: >> From: ChrisK <[EMAIL PROTECTED]> >> Rene de Visser wrote: >> Does a single list have only disjoint intervals? > > Yes. The lists are strictly increasing Could the interval for element x of List xList overlap with more than one element of another list? It does not matter

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread John Meacham
Doh! ignore me. apparently I understand the problem, but offer nothing in the way of solution. :) John -- John Meacham - ⑆repetae.net⑆john⑈ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-c

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread John Meacham
Why not have a merging function which takes all lists and merges them into a single ordered list marked with which list the events came from and their timestamps. Then you can just traverse this single, merged list. if I am understanding the problem properly... John -- John Meacham - ⑆r

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread Robin Green
On Monday 26 September 2005 17:14, Rene de Visser wrote: > Hello, > > I need to zip together multiple lists. > > The lists are sorted by date, and each entry in the list represents data > for a time interval. > The time intervals between the lists may be missmatched from each other. Is this the so

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread Rene de Visser
From: ChrisK <[EMAIL PROTECTED]> Rene de Visser wrote: Does a single list have only disjoint intervals? Yes. The lists are strictly increasing Doing this for two lists with a recursive function is easy. There being an output element whenever the intervals of the two input lists overlap. Yes, I

Re: [Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread ChrisK
Rene de Visser wrote: > Hello, > > I need to zip together multiple lists. > > The lists are sorted by date, and each entry in the list represents data > for a time interval. > The time intervals between the lists may be missmatched from each other. > Does a single list have only disjoint inter

[Haskell-cafe] Help wanted: Lazy multiway zipper with mismached intervals

2005-09-26 Thread Rene de Visser
Hello, I need to zip together multiple lists. The lists are sorted by date, and each entry in the list represents data for a time interval. The time intervals between the lists may be missmatched from each other. This means that sometimes you don't need to move forward in list, while you mov

Re: [Haskell-cafe] Typing problems with basic arithmetic - help!

2005-09-26 Thread Henning Thielemann
On Sat, 24 Sep 2005, Marcin Tustin wrote: > For some reason the following code is producing an error message from ghci > that the the patterns are non-exhaustive. Does anyone have any idea why that > could be, given that the patterns are, at least in my meaning, provably > exhaustive? > > choo

Re: [Haskell-cafe] Typing problems with basic arithmetic - help!

2005-09-26 Thread Henning Thielemann
On Fri, 23 Sep 2005, Marcin Tustin wrote: > Thanks for this: All I have to do now is fix the fact that my maths is > stupidly screwed! 'div' is the integer division and rounds down. You should either use Rational (or Double) everywhere or use % which builds a ratio from two integers. __

Re: [Haskell-cafe] Template Haskell and Types

2005-09-26 Thread Duncan Coutts
On Mon, 2005-09-26 at 10:36 +0200, Gracjan Polak wrote: > Simon Peyton-Jones wrote: > > Hmm. Q is a monad, so I think > > fail :: Monad m => String -> m a > > will do the job. > > > > 'recover' should catch the exception, and let you try something else. > > So I think I have bug report :) >

Re: [Haskell-cafe] Template Haskell and Types

2005-09-26 Thread Gracjan Polak
Simon Peyton-Jones wrote: Hmm. Q is a monad, so I think fail :: Monad m => String -> m a will do the job. 'recover' should catch the exception, and let you try something else. So I think I have bug report :) Haskell-cafe is probably wrong place for this, where do I go now with my fa

[Haskell-cafe] Failure and comonads

2005-09-26 Thread Einar Karttunen
Hello With the resent discussion on comonads on #haskell (mostly due to Uustalo's excellent paper) I am wondering is it possible to model failure with comonads? It seems to me that Reader,Writer and State can be implemented with both monads and comonads. IO can be implemented as a monad but OI w