类型

类型型

描述

JSON 值类型。表示解析后的 JSON 值。

定义

(定义枚举 结森型
  (空结森)
  (真假结森 (值 真假型))
  (数字结森 (值 浮点型))
  (文本结森 (值 文本型))
  (数组结森 (元素 (数组型 结森型)))
  (对象结森 (条目 (散列型 文本型 结森型))))

自动生成

(声明 空结森  (-> 结森型))
(声明 为空结森 (-> 结森型 真假型))

(声明 真假结森       (-> 真假型 结森型))
(声明 为真假结森      (-> 结森型 真假型))
(声明 真假结森值     (-> 结森型 真假型))
(声明 真假结森存值 (-> 结森型 真假型 空值型))

(声明 数字结森       (-> 浮点型 结森型))
(声明 为数字结森      (-> 结森型 真假型))
(声明 数字结森值     (-> 结森型 浮点型))
(声明 数字结森存值 (-> 结森型 浮点型 空值型))

(声明 文本结森       (-> 文本型 结森型))
(声明 为文本结森      (-> 结森型 真假型))
(声明 文本结森值     (-> 结森型 文本型))
(声明 文本结森存值 (-> 结森型 文本型 空值型))

(声明 数组结森          (-> (数组型 结森型) 结森型))
(声明 为数组结森         (-> 结森型 真假型))
(声明 数组结森元素     (-> 结森型 (数组型 结森型)))
(声明 数组结森存元素 (-> 结森型 (数组型 结森型) 空值型))

(声明 对象结森          (-> (散列型 文本型 结森型) 结森型))
(声明 为对象结森         (-> 结森型 真假型))
(声明 对象结森条目     (-> 结森型 (散列型 文本型 结森型)))
(声明 对象结森存条目 (-> 结森型 (散列型 文本型 结森型) 空值型))

例子

(空结森)
(真假结森 真)
(数字结森 42.0)
(文本结森 "hello")
(数组结森 (@列表 (数字结森 1.0) (数字结森 2.0)))
(对象结森 (@散列 "x" (数字结森 1.0)))