Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
You can reach the person managing the list at
beginners-ow...@haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: phantom type (Theodore Lief Gannon)
----------------------------------------------------------------------
Message: 1
Date: Sat, 31 Mar 2018 20:31:46 +0000
From: Theodore Lief Gannon <tan...@gmail.com>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <beginners@haskell.org>
Subject: Re: [Haskell-beginners] phantom type
Message-ID:
<cajopsucxadbprc+jccg54p1_-h9tsqchs-2vzsl4ey_bswc...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
Directly relevant blog:
https://www.benjamin.pizza/posts/2017-12-15-functor-functors.html
On Sat, Mar 31, 2018, 1:41 AM Francesco Ariis <fa...@ariis.it> wrote:
> On Sat, Mar 31, 2018 at 07:54:50AM +0000, PICCA Frederic-Emmanuel wrote:
> > I create a method
> >
> > myMethod :: MyData Collect -> IO ()
> >
> > but I want my method to work for MyData Collect and Mydata
> Caracterization but not Unchecked.
> >
> > So It seems to me that I can not just do
> >
> > myMethod :: MyData t -> IO ()
> >
> >
> > what is the right way to solve this problem ?
>
> Hello Frederic,
> I am in a rush so I cant write a minimal example, but wouldn't
> a typeclass + make Collect and Cara instances of that typeclass do?
> -F
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20180331/69940e66/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 118, Issue 1
*****************************************
