将类型与数据构造函数相关联的 ADT 编码有哪些问题?(例如 Scala.)
在 Scala 中，代数数据类型被编码为 sealed 一级类型层次结构.示例: -- Haskell数据定位 a = 追加|AppendIf (a -> Bool)|显式 ([a] -> [a]) //Scala密封特质定位[A]case object Append extends Positioning[Nothing]case class AppendIf[A](condition: A
..
argonaut相关内容
使用 Scala Argonaut 解析 JSON 数组
我正在使用 Scala &Argonaut，尝试解析以下 JSON: [{"name": "苹果","type": "水果",“尺寸":3},{"name": "果酱","类型": "调味品",“大小":5},{"name": "牛肉","类型": "肉",“尺寸":1}] 并且正在努力解决如何迭代并将值提取到 List[MyType] 中，其中 MyType 将具有名称、类型和大小属性.
..
字段不完整时，用Circe解码Json
我有一个json格式的成绩单，里面有很多字 { "words": [{ "duration": 123, "name": "world" "time": 234, "speaker": null }] } 我一直在使用Circe编码/解码Json.在这种情况下: import io
..
解码基于JSON结构的Argonaut中的密封特征?
给出以下示例: sealed trait Id case class NewId(prefix: String, id: String) extends Id case class RevisedId(prefix: String, id: String, rev: String) extends Id case class User(key: Id, name: String) va
..
使用Scala argonaut编码嵌套类
我正在尝试对案例类进行编码/解码 case class Person(name: String, age: Int, childs: List[Person]) 使用以下代码: object Person { implicit def PersonCodecJson = casecodec3(Person.apply, Person.unapply)("na
..
在Play框架中将Argonaut与读取和写入配合使用
我知道如何使用Play JSON库对Play应用程序进行JSON解析.例如，我有以下代码: class PersonController extends Controller { case class Person(age: Int, name: String) implicit val personReads = Json.reads[Person] implici
..
使用Argonaut进行Scalaz验证
我有一个案例类和一个伴随对象: case class Person private(name: String, age: Int) object Person { def validAge(age: Int) = { if (age > 18) age.successNel else "Age is under 18".failureNel } def validN
..
使用Argonaut或Circe从不完整的JSON更新案例类
在给定不完整的json(缺少某些字段)的情况下，我需要从case类实例(带有任何需要的DecodeJson隐式派生)创建一个更新的实例.如何用Argonaut(最好是)或Circe(如果需要)来实现? 示例: case class Person(name:String, age:Int) val person = Person("mr complete", 42) val incomp
..
将类型与数据构造函数关联的ADT编码有什么问题？ （如Scala。）
在Scala中，代数数据类型被编码为 sealed 单层类型层次结构。例子： $ b - Haskell data定位a =追加 | AppendIf（a - > Bool） | Explicit（[a] - > [a]） // Scala 密码特征定位[A] case对象Append extends Positioning [Nothing] case class Ap
..