Stupid question #374: why is MaybeT not in the standard library?

I wrote my own implementation of MaybeT (which was a usefull exercise), but a quick google showed: http://www.haskell.org/haskellwiki/New_monads/MaybeT But I'm wondering why it's not in the standard library. The standards committee just hasn't gotten around to it yet? Or was there some discussion of this in the past on some (public) maillist, that my admittedly shallow googling failed to uncover, that someone could point me at? Thanks. Brian

On Mon, Dec 22, 2008 at 3:31 PM, Brian Hurt
I wrote my own implementation of MaybeT (which was a usefull exercise), but a quick google showed:
http://www.haskell.org/haskellwiki/New_monads/MaybeT
But I'm wondering why it's not in the standard library. The standards committee just hasn't gotten around to it yet? Or was there some discussion of this in the past on some (public) maillist, that my admittedly shallow googling failed to uncover, that someone could point me at?
Yeah, it'd be useful. Doesn't really matter, though, because it's on Hackage (http://hackage.haskell.org), so it's just a cabal install MaybeT away. Now that cabal and cabal-install are reasonably mature, we really don't have to worry about what's blessed as "standard" anymore. :-) Luke

2008/12/22 Luke Palmer
Yeah, it'd be useful. Doesn't really matter, though, because it's on Hackage (http://hackage.haskell.org), so it's just a cabal install MaybeT away. Now that cabal and cabal-install are reasonably mature, we really don't have to worry about what's blessed as "standard" anymore. :-)
Although I still had to use my own because I wanted a MonadPlus instance. I would offer a patch, but since there's more than one useful MonadPlus instance for MaybeT it probably still wouldn't be right for everyone. -Antoine

On Mon, Dec 22, 2008 at 6:52 PM, Antoine Latter
2008/12/22 Luke Palmer
: Yeah, it'd be useful. Doesn't really matter, though, because it's on Hackage (http://hackage.haskell.org), so it's just a cabal install MaybeT away. Now that cabal and cabal-install are reasonably mature, we really don't have to worry about what's blessed as "standard" anymore. :-)
Although I still had to use my own because I wanted a MonadPlus instance. I would offer a patch, but since there's more than one useful MonadPlus instance for MaybeT it probably still wouldn't be right for everyone.
There are? The only two I can think of are the left-biased and its dual, in which case the convention is to choose the left-biased one. Is there another? Luke

On Tue, Dec 23, 2008 at 12:53 AM, Luke Palmer
On Mon, Dec 22, 2008 at 6:52 PM, Antoine Latter
wrote: Although I still had to use my own because I wanted a MonadPlus instance. I would offer a patch, but since there's more than one useful MonadPlus instance for MaybeT it probably still wouldn't be right for everyone.
There are? The only two I can think of are the left-biased and its dual, in which case the convention is to choose the left-biased one. Is there another?
It's a monad-transformer, so the MonadPlus/Alternative instance could either apply Maybe semantics or lift the behavior of whatever it wraps. -Antoine

On Tue, Dec 23, 2008 at 2:52 AM, Antoine Latter
Although I still had to use my own because I wanted a MonadPlus instance. I would offer a patch, but since there's more than one useful MonadPlus instance for MaybeT it probably still wouldn't be right for everyone.
Umh, there is a MonadPlus instance in the package? http://hackage.haskell.org/packages/archive/MaybeT/0.1.2/doc/html/Control-Mo... (It's the one based on the Maybes.) - Benja

On Tue, Dec 23, 2008 at 1:08 PM, Benja Fallenstein
On Tue, Dec 23, 2008 at 8:05 PM, Benja Fallenstein
wrote: Umh, there is a MonadPlus instance in the package?
Ah: ...in the version Cale uploaded two days ago, not in the previous version. Sorrynevermindisee :)
No, you're right - the haddock generated docs say that their is a MonadPlus instances, but the hand-written notes say that there isn't. That's what I get for reading the documentation. -Antoine

On Mon, Dec 22, 2008 at 2:31 PM, Brian Hurt
But I'm wondering why it's not in the standard library. The standards committee just hasn't gotten around to it yet? Or was there some discussion of this in the past on some (public) maillist, that my admittedly shallow googling failed to uncover, that someone could point me at?
It's equivalent to ErrorT () - but ErrorT String is almost always a better option anyway. /g -- I am in here

On Mon, 2008-12-22 at 17:31 -0500, Brian Hurt wrote:
I wrote my own implementation of MaybeT (which was a usefull exercise), but a quick google showed:
http://www.haskell.org/haskellwiki/New_monads/MaybeT
But I'm wondering why it's not in the standard library. The standards committee just hasn't gotten around to it yet? Or was there some discussion of this in the past on some (public) maillist, that my admittedly shallow googling failed to uncover, that someone could point me at?
There is no standards committee.
participants (6)
-
Antoine Latter
-
Benja Fallenstein
-
Brian Hurt
-
Derek Elkins
-
J. Garrett Morris
-
Luke Palmer