[Haskell-cafe] Question, re: type class syntax.

Brandon Allbery allbery.b at gmail.com
Sun Aug 30 00:36:00 UTC 2015


On Sat, Aug 29, 2015 at 8:30 PM, David Banas <capn.freako at gmail.com> wrote:

> Maybe I’ve got the syntax all wrong, but my intent is just to constrain
> the type ’t’ to be of class 'LogTree2 a’


That doesn't seem to make a lot of sense; "LogTree2 a" means that the type
a is of class LogTree2. "LogTree2 a" is not something that a type can be an
instance of.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150829/d0d90971/attachment.html>


More information about the Haskell-Cafe mailing list