These are chat archives for typelevel/cats
Welcome! Got a question? Do you have -Ypartial-unification turned on? Other FAQs: http://typelevel.org/cats/faq.html
getbecause the impl rely on several newtype wrapper having no cost at runtime in haskell
Class Foo(x) extends AnyRefor something like that?
case class Foo(x: Int) extends AnyValwhich won't box if all you're doing is something like
val f = Foo(5)but once you put it into something involving generics like
Listthen you box because JVM (i think)
Bands are semigroups whose operation (i.e. combine) is also idempotent.
I'm not sure what it means for a operation with two parameters to be idempotent? Does it mean
combine(a, a) = combine(combine(a, a), combine(a, a))?
combine(a, a) = a?
Const.. i think with