Re: [Haskell-cafe] Why Either = Left | Right instead of something like

Subject:	Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure
From:	Donn Cave
Date:	Fri, 28 May 2010 11:44:20 -0700 PDT

Quoth Vo Minh Thu <noteed@xxxxxxxxx>,
...
> Control.Monad.Error provides an instance for Either.

... in the mtl transformer library, in case anyone else besides
myself didn't know that. And I see it has to be there because
it depends on the Error typeclass.

(So the documentation for Control.Monad.Error, is mistaken, where
at the top it says

  Example type:
      Either String a

... which should be

      Either Error a

... ?  Though I can't really be sure what the documentation is
trying to say.)


        Donn Cave, donn@xxxxxxxxxxx

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe

<Prev in Thread]	Current Thread	[Next in Thread>
Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, (continued) Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Thomas Davie Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Thomas Schilling Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, C. McCann Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Alberto G. Corona Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Mike Dillon Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, aditya siram Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Ionut G. Stan Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Ivan Lazar Miljenovic Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Donn Cave Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Vo Minh Thu Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Donn Cave <= Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Daniel Fischer Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Ivan Lazar Miljenovic Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Daniel Fischer Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Ivan Lazar Miljenovic Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Daniel Fischer Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Yitzchak Gale Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Anton van Straaten Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Lutz Donnerhacke

Previous by Date:	Re: [Haskell-cafe] Google Summer of Code: BlazeHTML RFC, Max Rabkin
Next by Date:	Re: [Haskell-cafe] Google Summer of Code: BlazeHTML RFC, Pierre-Etienne Meunier
Previous by Thread:	Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Vo Minh Thu
Next by Thread:	Re: [Haskell-cafe] Why Either = Left \| Right instead of something like Result = Success \| Failure, Daniel Fischer
Indexes:	[Date] [Thread] [Top] [All Lists]