KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
I came across existential quantification over values in the Scala Language Specification (3.2.10 Existential Types). x: y.Inner forSome{val y : Outer} Does someone have illustrative use cases for it? T forSome {val x: S} is defined as T forSome { type t <: S with Singleton } . The Singletron trait is mentioned in the Specification (3.2.1 Singleton Types) but I could not find it in the Scaladoc. Where is it defined?
Tags (comma-separated)
Save Edits
Cancel