On Jul 16, 2009, at 6:18 PM, Yitzchak Gale wrote:
This, and just about all of the other "similar" types mentioned
in this thread, are all new names for the venerable "ListT Done Right"
that has been around for many years:
http://www.haskell.org/haskellwiki/ListT_done_right
The ListT that is (
Sebastian Fisher wrote:
The nested monadic tails of your lists seem more similar to the
nested monadic data described in the ICFP'09 paper with Oleg
Kiselyov and Chung-chieh Shan [1]. The ideas described in that paper
are on Hackage and your ListT seems similar to the List type in
Data.Mo
On Jul 16, 2009, at 10:18 AM, Bas van Dijk wrote:
I see you define ListT as a datatype:
http://hackage.haskell.org/packages/archive/generator/0.5.1/doc/html/src/Control-Monad-ListT.html#ListT
Can't you better define it as a newtype
I should had done that, and next released version will fix it
,12,13),(12,5,13),(9,12,15),
(12,9,15),(15,8,17),(8,15,17)]
cheers,
Yair
On Jul 16, 2009, at 12:24 AM, Sjoerd Visscher wrote:
This sounds similar to ChoiceT from the monadLib package. Did you
know ChoiceT?
greetings,
Sjoerd
On Jul 15, 2009, at 3:33 PM, Yair Chuchem wrote:
A new "gen
A new "generator" package has been uploaded to Hackage.
It implements an alternative list monad transformer, a list class, and
related functions.
The difference from mtl/transformers's ListT is that
mtl is a monadic action that returns a list:
newtype ListT m a = ListT { runListT :: m [a] }
g
