KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
I believe that a generic class may make one of its methods available only assuming that its type parameters conform to some additional restrictions, something like (syntax improvised on the spot): trait Col[T] extends Traversable[T] { def sum[T<:Int] :T = (0/:this)(_+_) } I guess I could use implicit parameters as evidence... Is there a language feature for this?
Tags (comma-separated)
Save Edits
Cancel