Scala 扩展双箭头

我正在看Anorm 源代码和RowParser trait它有这样的声明：

trait RowParser[+A] extends (Row => SqlResult[A]) { ... }

我很好奇什么类型(Row => SqlResult[A])是？我在任何地方都找不到语法的解释。

这是语法糖Function1与此相同：

trait RowParser[+A] extends Function1[Row, SqlResult[A]] 

如果你进一步观察异常来源你会发现当这个特质被实现时它必须定义一个applyfunction 因为它实现了 Function1 特征。