erlang - 具有多个已定义元素的列表规范

Question

我解析了一个 json 列表，它带有每个元素，如:

{struct,
 [
  {<<"name">>, "<<a name>>"},
  {<<"id">>, "<<an id>>""}
 ]
}

我想将其指定为一种类型，但出现以下错误，大概是因为我在列表定义中使用了两个元素:

-type user_data() :: {struct, [{Name_key::Binary, Name_value::Binary},{ID_key::Binary, ID_value::Binary}]}.

有什么办法可以做我想做的事吗？

Answer 1

你可以做

-type user_data() :: {struct, [{Name_key::binary(), Name_value::binary()}|{ID_key::binary(), ID_value::binary()}]}.

意思是一个列表，其中每个元素都是 {Name_key::binary(), Name_value::binary()}或 {ID_key::binary(), ID_value::binary()} .这不是您想要的，但可能已经足够了。