I am asking myself what would be the view bound equivalent to
(implicit conv: String => A)
My first attempt was to simply declare the type parameter A as follows:
[String <% A]
But the Scala compiler complains with "not found: type A".
Any suggestions?
That is not a view bound. A view bound says that a type parameter A is bounded in that it can be viewed (converted to) as a type B. What you have inverted type and type parameter, so it doesn't qualify.
To make things more clear, a bound is a limit on a "free" type -- a type parameter. For example:
type A <: String // A has an upper bound
type A >: String // A has a lower bound
So a view bound is also a limit -- one imposed through a very different mechanism. As such, it can only be imposed on a type parameter, not on a type.
Surely, saying String => A must exist is also a kind of bound, but not one that has a name or syntactic sugar for.