src/Pure/General/json_api.scala
changeset 78592 fdfe9b91d96e
parent 77368 7c57d9586f4c
child 79044 8cc1ae43e12e
equal deleted inserted replaced
78591:b1e0fb71435d 78592:fdfe9b91d96e
    67   }
    67   }
    68 
    68 
    69   sealed case class Links(json: JSON.T) {
    69   sealed case class Links(json: JSON.T) {
    70     def get_next: Option[Service] =
    70     def get_next: Option[Service] =
    71       for {
    71       for {
    72         JSON.Value.String(next) <- JSON.value(json, "next")
    72         case JSON.Value.String(next) <- JSON.value(json, "next")
    73         if Url.is_wellformed(next)
    73         if Url.is_wellformed(next)
    74       } yield new Service(Url(next))
    74       } yield new Service(Url(next))
    75 
    75 
    76     override def toString: String =
    76     override def toString: String =
    77       if (get_next.isEmpty) "Links()" else "Links(next)"
    77       if (get_next.isEmpty) "Links()" else "Links(next)"