Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-13 Thread Permjacov Evgeniy
Well, It looks like with 'transformer' look onto iteratees it is possible to fold two streams without anything except Iteratee, yet some complications arise. Even real zipping. for example merging two sorted streams with output stream sorted, is expressible. More preciesely, I tried to write a

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-13 Thread John Lato
From: Permjacov Evgeniy permea...@gmail.com Hi. I Wrote a simple iteration library. It was not intensively tested, so it MAY contatin bugs, but it is very unlikely. The library is currently on github: https://github.com/permeakra/iteration I'm not ready to upload it to hackage, as some

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-13 Thread John Lato
From: o...@okmij.org Just for the record: the library IterateeM.hs, uses NO extensions to Haskell98, let alone Haskell2010. The library as written requires LowLevelIO.hs, which uses FFI (which has been Haskell98 addendum and is in proper Haskell2010). The sample code, Wc.hs, for example, is

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-12 Thread oleg
Just for the record: the library IterateeM.hs, uses NO extensions to Haskell98, let alone Haskell2010. The library as written requires LowLevelIO.hs, which uses FFI (which has been Haskell98 addendum and is in proper Haskell2010). The sample code, Wc.hs, for example, is Haskell98. So, the

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-11 Thread Henning Thielemann
John Millikin schrieb: On Thu, Dec 9, 2010 at 12:43, Michael Snoyman mich...@snoyman.com wrote: For the record, enumerator (and I believe iteratee as well) uses transformers, not mtl. transformers itself is Haskell98; all FunDep code is separated out to monads-fd. Michael iteratee also

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-11 Thread Henning Thielemann
Antoine Latter schrieb: It's a mater of taste which way to go, but I prefer importing modules qualified rather than have type-suffixes on functions - so I would rather use 'I.next' and 'A.next' instead of 'nextI' and 'nextA'. But reasonable people can disagree on this.

[Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
Hi. I Wrote a simple iteration library. It was not intensively tested, so it MAY contatin bugs, but it is very unlikely. The library is currently on github: https://github.com/permeakra/iteration I'm not ready to upload it to hackage, as some testing and extension is really needed. However, I'd

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Antoine Latter
I only have some surface level questions/comments - What existing packages is this similar to? How is it different from any previous work in the area? Also, likes looks like you don't need the 'Monad m' constraint on your various Monad and Functor instances in Data.Iteration.Types, which I think

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
Original Message Subject:Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions Date: Thu, 09 Dec 2010 23:07:49 +0300 From: Permjacov Evgeniy permea...@gmail.com To: Antoine Latter aslat...@gmail.com On 12/09/2010 10:54 PM, Antoine

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Antoine Latter
Also, one thing that tripped me up is that your Stream type is fundamentally different from the Stream types in the iteratee/enumerator libraries - yours is more of a monadic list in the inner monad, with explicit errors. How does this change the operation of the Iterator type? I hope I am not

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Permjacov Evgeniy
On 12/09/2010 11:17 PM, Antoine Latter wrote: Also, one thing that tripped me up is that your Stream type is fundamentally different from the Stream types in the iteratee/enumerator libraries - yours is more of a monadic list in the inner monad, with explicit errors. How does this change the

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread Michael Snoyman
On Thu, Dec 9, 2010 at 10:32 PM, Permjacov Evgeniy permea...@gmail.com wrote: On 12/09/2010 11:17 PM, Antoine Latter wrote: Also, one thing that tripped me up is that your Stream type is fundamentally different from the Stream types in the iteratee/enumerator libraries - yours is more of a

Re: [Haskell-cafe] A home-brew iteration-alike library: some extension quiestions

2010-12-09 Thread John Millikin
On Thu, Dec 9, 2010 at 12:43, Michael Snoyman mich...@snoyman.com wrote: For the record, enumerator (and I believe iteratee as well) uses transformers, not mtl. transformers itself is Haskell98; all FunDep code is separated out to monads-fd. Michael iteratee also uses 'transformers', but