41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a087bb-6e1a-73c2-8729-bc06423d8bbd

Over Constraining the Aux Type

oweinreese.com · published 17 March 2016

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at oweinreese.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 9
Words captured: 704

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://typelevel.org/blog/2015/07/19/forget-refinement-aux.html

typelevel.org

A Type Level Proof Read at the source ↗

http://docs.scala-lang.org/tutorials/tour/implicit-parameters.html

docs.scala-lang.org

http://www.cakesolutions.net/teamblogs/demystifying-implicits-and-typeclasses-in-scala

cakesolutions.net

http://gigiigig.github.io/posts/2015/09/13/aux-pattern.html

gigiigig.github.io

revisiting implicits without import tax

https://github.com/milessabin/shapeless

github.com

https://github.com/wheaties/AutoLifts

github.com

https://github.com/stew/scatur

github.com