<div dir="ltr">Haddock displays kind annotations oddly. At a guess (which could well be off base; I'm still rather weak on this stuff), Spock has PolyKinds enabled, so an explicit (x :: *) kind annotation must be preserved as an override to the default of allowing any kind; if PolyKinds is not enabled, then * is the default kind and wouldn't be annotated. (Reader beware: * is not a wildcard/"match any", it is specifically the kind of inhabited boxed types!)</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 13, 2017 at 3:31 AM, Haiwei Zhou <span dir="ltr"><<a href="mailto:highfly22@gmail.com" target="_blank">highfly22@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi,<div><br></div><div>  I am reading the document of spock-0.11, and found two strange definitions in the Web.Spock.</div><div><br></div><div><div>````</div><div>type Var a = Path ((:) * a ([] *)) Open</div><div><br></div><div>var :: (Typeable * a, PathPiece a) => Path ((:) * a ([] *)) Open</div></div><div><br></div><div>````<br></div><div><br></div><div>What's the meaning of the star between Typeable and a ? </div><div><br></div><div>The kind of Typeable is * -> *. I cannot understand why the Typeable in the var prototype takes two kinds.</div><div><br></div><div>In the Web.Routing.Combinators of reroute-0.4, those are defined as following:</div><div><br></div><div>````</div><div><div>type Var a = Path (a ': '[]) Open</div><div><br></div><div>var :: (Typeable a, PathPiece a) => Path (a ': '[]) Open</div></div><div><br></div><div>```` </div><div><br></div><div>Why there are two difference definition about the same thing?</div><div><br></div><div>Thanks,</div><div>Haiwei</div></div>
<br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div>