Я использую for-comprehensions Lift JSON для разбора некоторых JSON. JSON является рекурсивным, поэтому, например. поле id существует на каждом уровне. Вот пример: val json = """ { "id": 1 "children": [ { "id": 2 }, {...

Я пытаюсь выполнить извлечение на основе XPath с помощью Lift JSON, за исключением того, что шаблон извлечения xpath определяется во время выполнения. Чтобы проиллюстрировать это, я хотел бы преобразовать строку «a.b.c.d» в извлечение JSON Lift,...

import net.liftweb.json._ import net.liftweb.json.JsonAST._ import net.liftweb.json.Extraction._ import net.liftweb.json.Printer._ implicit val formats = net.liftweb.json.DefaultFormats val jV = JArray(List(JInt(10),JString("ahem"),JBool(false)))...

Я пытаюсь создать объект JSON из списка, в котором ключ - «продукты», а значение - List [Product], где Product - класс случая. Но я получаю сообщение об ошибке «несоответствие типов; найдено: (String, List [com .mycompnay.ws.client.Product])...

У меня есть угловое приложение, которое отправляет запрос на сервер следующим образом: $scope.downloadPartDetails = (parts, e) -> req = { method: 'POST', url: '/downloads/partdetails', headers: { 'Content-Type':...

Я получаю такие карты, как: Map(reference -> Map(scriptRenderings -> List(Map(text -> महा-सुभाषित-सङ्ग्रहे 9979, scheme -> null, startLetter -> म)), jsonClass -> QuoteText, metre -> None, key -> महा-सुभाषित-सङ्ग्रहे9979,...

У меня есть значение JSON, например { "valType": "Integer", "data": 5 } or { "valType": "Integer", "data": [2, 3] } or { "valType": "String", "data": "value1" } or { "valType": "String",...

Я использую https://github.com/dominique-unruh/scala-isabelle/ дайджест формализации Isabelle / HOL алгоритма быстрой сортировки https://isabelle.in.tum.de/library/HOL/HOL-Imperative_HOL/Imperative_Quicksort.html . Мне удалось импортировать теорию...