recentpopularlog in

ianweatherhogg : level   47

Typelevel.scala | Equivalence versus Equality
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scala  equality  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | Subtype type classes don't work
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scalaz  scala 
may 2017 by ianweatherhogg
Typelevel.scala | It's programs all the way down
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  dsl  embedded  scala  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | To change types, change values
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scala  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | Machinist vs. value classes
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  spire  scala  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | What happens when I forget a refinement?
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scala  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | Why is ADT pattern matching allowed?
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scala  scalaz 
may 2017 by ianweatherhogg
Typelevel.scala | Primitive recursion with fix and Mu
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  scalaz  scala  fix  5* 
may 2017 by ianweatherhogg
Typelevel.scala | Law Enforcement using Discipline
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
type  level  semigroup  ring  scalaz  scala  5* 
may 2017 by ianweatherhogg
typelevel.scala | When implicitly isn't specific enough
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
scalaz  shapeless  scala  type  level  implicit  5* 
june 2015 by ianweatherhogg
typelevel.scala | Towards Scalaz (Part 2)
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
scalaz  foldable  fold  left  4*  semigroup  monoid  right  scala  type  level 
december 2013 by ianweatherhogg
typelevel.scala | How to use Spire's Ops macros in your own project
Let the Scala compiler work for you. We provide type classes, instances, conversions, testing, supplements to the standard library, and much more.
scala  spire  type  class  implicit  macro  5*  level  scalaz 
october 2013 by ianweatherhogg

Copy this bookmark:





to read