Let's say I have some code that uses List
def processList(input: List[Int]): List[Int]
I want to replace list with other collection types, like Vector.
Is there a way to define a type constructor so that I can write something like
type SomeCollection[_] = List[_]
def processList(input: SomeCollection[Int]): SomeCollection[Int]
Now I have written processList in terms of SomeCollection. To change SomeCollection to Vector, I just change the type alias, and everywhere in the codebase where I use SomeCollection, I now use Vector. Like so:
type SomeCollection[_] = Vector[_]
def processList(input: SomeCollection[Int]): SomeCollection[Int]
This way, I only need to change the codebase in one place instead of everywhere.
I do not want to write
type SomeIntCollection = List[Int]
because I have connected the collection to Int type.
Is there a way?
type SomeCollection[X] = List[X]
done. However, let me tell you that this sounds like a bad idea. Changing from List to Vector should mean different performance characteristics and thus, different code. – Luis Miguel Mejía Suárez Oct 8 '19 at 20:29List
andSomeCollection
will be the same type, so it will let you use operations that are specific toList
s, and your code may not compile when changing toVector
in that case. You may want to use a common parent ofList
andVector
, likeIterable
, if that is enough for your use-case. Otherwise, you should like at advanced solutions like cats, as suggested in the accepted answer. – francoisr Oct 9 '19 at 6:48