On Jun 29, 2010, at 6:02 AM, Stephen Tetley wrote:
Hi Michael
Good names are a problem of course.
The "Applicative Programming with Effects Paper" has the "monodial
accumulating" applicative instance on a sum type Conor McBride and
Ross Paterson call Except:
data Except err a = OK a | Failed err
The applicatives-extra package defines a type:
type ErrorMsg = String
data Failing a = Failure [ErrorMsg] | Success a
Which is a less general version of that type.
I am fine with the more general version, but we should make sure that
applicative-extras and things which depend on it are updated, so that
we don't have a bunch of really similar types floating around.
- jeremy
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
