374 |
374 |
375 def list[A](obj: T, name: String, unapply: T => Option[A]): Option[List[A]] = |
375 def list[A](obj: T, name: String, unapply: T => Option[A]): Option[List[A]] = |
376 value(obj, name, Value.List.unapply(_, unapply)) |
376 value(obj, name, Value.List.unapply(_, unapply)) |
377 def list_default[A](obj: T, name: String, unapply: T => Option[A], default: => List[A] = Nil) |
377 def list_default[A](obj: T, name: String, unapply: T => Option[A], default: => List[A] = Nil) |
378 : Option[List[A]] = value_default(obj, name, Value.List.unapply(_, unapply), default) |
378 : Option[List[A]] = value_default(obj, name, Value.List.unapply(_, unapply), default) |
|
379 |
|
380 def strings(obj: T, name: String): Option[List[String]] = |
|
381 list(obj, name, JSON.Value.String.unapply _) |
|
382 def strings_default(obj: T, name: String, default: => List[String] = Nil): Option[List[String]] = |
|
383 list_default(obj, name, JSON.Value.String.unapply _, default) |
379 } |
384 } |