Scala 类型参数中“：：”的含义？

查看Travis Brown关于的优秀博客文章，我看到了以下方法：

  implicit def hconsParser[H: Parser, T <: HList: Parser]: Parser[H :: T] =           
   new Parser[H :: T] {
    def apply(s: String): Option[H :: T] = s.split(",").toList match {
      case cell +: rest => for {
        head <- implicitly[Parser[H]].apply(cell)
        tail <- implicitly[Parser[T]].apply(rest.mkString(","))
      } yield head :: tail
    }
  }

implicit def-hconsParser[H:Parser，T代表{
head
H:：T
是类型
：[H，T]
的中缀形式，它是一个
HList
，头为
H
，尾为
T
scala> trait infix[A, B]

scala> def test[A, B](ab: A infix B) = ???
test: [A, B](ab: infix[A,B])Nothing