On Thu, Oct 2, 2008 at 1:17 AM, Simon Brenner <[EMAIL PROTECTED]> wrote:
> On 10/2/08, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
>> G'day all.
>>
>> Quoting John Dorsey <[EMAIL PROTECTED]>:
>>
>>
>> > Contributions are welcome. The project could use a tutorial, and a
>> > decent test suite. Strict singleton tuples are planned for the next
>> > version.
>> >
>>
>> I hope it has a Monad instance.
>
> You could always use this one-tuple instead and get Functor, Monad and
> MonadFix for free:
> http://hackage.haskell.org/packages/archive/mtl/1.1.0.1/doc/html/Control-Monad-Identity.html
But that one is different:
newtype Identity a = Identity { runIdentity :: a }
data OneTuple a = OneTuple { only :: a }
So OneTuple has one more value than Identity (Identity Int has
Identity _|_ and Identity n for each n, whereas OneTuple Int has _|_,
OneTuple _|_, and OneTuple n for each n)
Luke
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
