terse syntax for typeclass instances

When creating a typeclass instance, one must do a lot of boileplate. The instance pattern is well known but still has boilerplate.

implicit val FooBar: Foo[Bar] = instance { b => ... }

It would be nice if this something like this were possible

implicit val _: Foo[Bar] = instance { b => ... }

Which is still full of boilerplate, so better suggestions would be good. The linked ticket talks about a lot of the more general cases and is worth reading.

[sjrd]

Actually it’s already possible to define an implicit that can’t be used explicitly:

I don’t think that’s intended. IMO that’s a bug. The compiler should not allow you to do that, since it is clearly violating the privateness of object Foo.

[fommil]

oh, it’s IMPLICIT 😛