"But how do you take an arbitrary type and turn it into a monoid?”

I didn’t -  I must have been dreaming about Haskell at that point :)   (My wife once dreamt she was a C compiler - go figure… C !!??) 
No, just Monad, Applicative and Functor - my mistake.

Thanks 

Mike



On 19 Nov 2015, at 06:34, Kim-Ee Yeoh <ky3@atamo.com> wrote:


On Thu, Nov 19, 2015 at 1:33 AM, Mike Houghton <mike_k_houghton@yahoo.co.uk> wrote:

The source is just me exploring. 

Nice.
 
I first looked at 

data C a = C a deriving (Show)

and made Monad, Applicative, Monoid and Functors for it.

Even though the null-effect instances for the identity functor are trivial, there's value in writing them out, especially for the motivated.

But how do you take an arbitrary type and turn it into a monoid?

-- Kim-Ee
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners