假设我正在建立一个记录类型：
type thing {
fruit: string;
}
但我希望将 的可能值fruit限制为一组固定的字符串。
在 OCaml 中将其建模为变体似乎很自然，例如：
type fruit = APPLE | BANANA | CHERRY
type thing {
fruit: fruit;
}
到目前为止还好。
但是如果我[@@deriving yojson]在这些类型上使用，那么序列化的输出将是：
{ "fruit": ["APPLE"] }
默认情况下，Yojson 想要将一个变体序列化为一个元组[<name>, <args>...]......我可以看到它的逻辑，但在这里没有帮助。
我希望它序列化为：
{ "fruit": "APPLE" }
利用几个 ppx 派生插件，我设法构建了这个模块以根据需要进行反序列化：
module Fruit = struct
type t = APPLE | BANANA | CHERRY [@@deriving enum, variants]
let names =
let pairs i (name, _) = (name, (Option.get (of_enum i))) in
let valist = List.mapi pairs Variants.descriptions in
List.to_seq valist |> Hashtbl.of_seq
let to_yojson v = `String (Variants.to_name v)
let of_yojson = function
| `String s -> Hashtbl.find_opt names s
|> Option.to_result ~none:(Printf.sprintf "Invalid value: %s" s)
| yj -> Error (Printf.sprintf "Invalid value: %s" (Yojson.Safe.to_string yj))
end
哪个工作正常......但我有一些其他“字符串枚举”变体我想以同样的方式对待。我不想每次都复制和粘贴这段代码。
我做到了这一点：
module StrEnum (
V : sig
type t
val of_enum : int -> t option
module Variants : sig
val descriptions : (string * int) list
val to_name : t -> string
end
end
) = struct
type t = V.t
let names =
let pairs i (name, _) = (name, (Option.get (V.of_enum i))) in
let valist = List.mapi pairs V.Variants.descriptions in
List.to_seq valist |> Hashtbl.of_seq
let to_yojson v = `String (V.Variants.to_name v)
let of_yojson = function
| `String s -> Hashtbl.find_opt names s
|> Option.to_result ~none:(Printf.sprintf "Invalid StrEnum value: %s" s)
| yj -> Error (Printf.sprintf "Invalid StrEnum value: %s" (Yojson.Safe.to_string yj))
end
module Fruit = struct
type t = APPLE | BANANA | CHERRY [@@deriving enum, variants]
end
module FruitEnum = StrEnum (Fruit)
这似乎是类型检查，我可以：
utop # Yojson.Safe.to_string (FruitEnum.to_yojson Fruit.APPLE);;
- : string = "\"APPLE\""
utop # FruitEnum.of_yojson (Yojson.Safe.from_string "\"BANANA\"");;
- : (FruitEnum.t, string) result = Ok Fruit.BANANA
...但是当我尝试：
type thing {
fruit: FruitEnum.t;
}
[@@deriving yojson]
我明白了Error: Unbound value FruitEnum.t
似乎是因为我type t = V.t从变体的模块重新导出，但我不太明白。（或者是因为 yojson ppx 无法正确“看到”仿函数的结果？）
我该如何解决这个问题？
我还希望能够跳过单独定义变体模块并执行以下操作：
module Fruit = StrEnum (struct
type t = APPLE | BANANA | CHERRY [@@deriving enum, variants]
end)
...但这给出了错误：
Error: This functor has type
functor
(V : sig
type t
val of_enum : int -> t option
module Variants :
sig
val descriptions : (string * int) list
val to_name : t -> string
end
end)
->
sig
type t = V.t
val names : (string, t) Hashtbl.t
val to_yojson : t -> [> `String of string ]
val of_yojson : Yojson.Safe.t -> (t, string) result
end
The parameter cannot be eliminated in the result type.
Please bind the argument to a module identifier.
我不明白出了什么问题。