How do i interpret this

[hsnamed]

I found this construction :
type ->[A,B] = (A,B)
I looked up throught :

• https://www.scala-lang.org/files/archive/spec/2.12/04-basic-declarations-and-definitions.html#type-declarations-and-type-aliases
• https://docs.scala-lang.org/tutorials/FAQ/finding-symbols.html
  without success , could someone explains what does it mean ?

[hsnamed]

At least i found the answer, it’s just an type alias for tuple
type ->[A,B] = (A,B)
definition

• def something(seq: Int->String*)
• def something(seq: ->[Int, String]*)
  call
• something((1,“1”))
• something(1 -> “1”)
  As i realized definitions and calls above are equal.

[sangamon]

Note that the -> pair factory method, defined for arbitrary types in Scala’s Predef, is unrelated to this type alias.

The -> type probably is intended for infix notation, i.e. instead of ->[Int, String] you’d write Int -> String. (Infix notation works for any type with two parameters, although it only shines with operator-like type names - you can write Int Either String, as well.)

[hsnamed]

Thanks for pointing at ArrowAssoc.

[som-snytt]

Your link to the FAQ has a section, “Methods provided by implicit conversion”, which talks about ->.

Unfortunately, the link to an index in the Scaladoc is broken. It used to point here, where the entry for -> points to ArrowAssoc. The Scaladoc for that isn’t useful, but at least you know where the operator is introduced, so you could grep for it in the open source project.

I don’t know why it’s called open source instead of greppable source.