安全哈斯克尔	保险柜
语言	哈斯克尔98

文本。JSON格式。类型

描述

基本支持使用JSON值。

剧情简介

数据 JSValue公司
新类型 JSString（JSString）=JSONString{
- 来自JSString::字符串
}
到JSString::字符串->JSString（JSString）
新类型 JS对象e（电子）=JSON对象{
- 来自JS对象:: [(字符串，e）]
}
toJS对象:: [(字符串，a）]->JS对象一
获取字段::JS对象a->字符串->也许吧一
设置字段::JS对象a->字符串->a->JS对象一

JSON类型

数据 JSValue公司来源 #

JSON值

我们将Haskell值编码到的类型。有一套基元和几个异构集合类型。

物体：

对象结构表示为一对花括号围绕零个或多个名称/值对（或成员）。名称是字符串。每个名称后面都有一个冒号，分隔名称从值开始。单个逗号将值与以下名称。

阵列：

数组结构用方括号括起来零个或多个值（或元素）。元素用逗号分隔。

只有有效的JSON才能以这种方式构造

建造师

JS空
JSBool公司!布尔
JSRational公司布尔!理性
JSString（JSString） JSString（JSString）
JSArray公司[JSValue公司]
JS对象(JS对象 JSValue公司)

实例

等式 JSValue公司来源 #
实例详细信息定义于文本。JSON格式。类型方法 (==)::JSValue公司->JSValue公司->布尔 # (/=)::JSValue公司->JSValue公司->布尔 #
订单 JSValue公司来源 #
实例详细信息定义于文本。JSON格式。类型方法比较::JSValue公司->JSValue公司->订购 # (<)::JSValue公司->JSValue公司->布尔 # (<=)::JSValue公司->JSValue公司->布尔 # (>)::JSValue公司->JSValue公司->布尔 # (>=)::JSValue公司->JSValue公司->布尔 # 最大值::JSValue公司->JSValue公司->JSValue公司 # 最小值::JSValue公司->JSValue公司->JSValue公司 #
阅读 JSValue公司来源 #
实例详细信息定义于文本。JSON格式。类型方法读取Prec::国际->读取S JSValue公司 # readList（阅读列表）::读取S[JSValue公司]# 读预处理::ReadPrec（预读） JSValue公司 # readListPrec::ReadPrec（预读）[JSValue公司]#
显示 JSValue公司来源 #
实例详细信息定义于文本。JSON格式。类型方法显示Prec::国际->JSValue公司->显示S # 显示::JSValue公司->字符串 # showList（显示列表）:: [JSValue公司] ->显示S #
IsString（IsString） JSValue公司来源 #
实例详细信息定义于文本。JSON格式。类型方法来自字符串::字符串->JSValue公司 #
JSON格式 JSValue公司来源 #	为了确保生成有效的JSON，我们将Haskell类型映射到JSValue在内部，然后漂亮地打印出来。
实例详细信息定义于文本。JSON格式方法读取JSON::JSValue公司->结果 JSValue公司来源 # 显示JSON::JSValue公司->JSValue公司来源 # 读取JSON::JSValue公司->结果[JSValue公司]来源 # 显示JSON:: [JSValue公司] ->JSValue公司来源 #

包装器类型

新类型 JSString（JSString）来源 #

在JSON中可以更有效地表示字符串

建造师

JSONString
领域来自JSString::字符串

实例

等式 JSString（JSString）来源 #
实例详细信息定义于文本。JSON格式。类型方法 (==)::JSString（JSString）->JS字符串->布尔 # (/=)::JSString（JSString）->JSString（JSString）->布尔 #
订单 JSString（JSString）来源 #
实例详细信息定义于文本。JSON格式。类型方法比较::JSString（JSString）->JS字符串->订购 # (<)::JSString（JSString）->JSString（JSString）->布尔 # (<=)::JSString（JSString）->JSString（JSString）->布尔 # (>)::JS字符串->JSString（JSString）->布尔 # (>=)::JSString（JSString）->JSString（JSString）->布尔 # 最大值::JSString（JSString）->JSString（JSString）->JSString（JSString） # 最小值::JSString（JSString）->JSString（JSString）->JSString（JSString） #
阅读 JSString（JSString）来源 #
实例详细信息定义于文本。JSON格式。类型方法读取Prec::国际->读取S JSString（JSString） # readList（阅读列表）::读取S[JSString（JSString）]# 读预处理::ReadPrec（预读） JSString（JSString） # readListPrec::ReadPrec（预读）[JSString（JSString）]#
显示 JSString（JSString）来源 #
实例详细信息定义于文本。JSON格式。类型方法显示Prec::国际->JSString（JSString）->显示S # 显示::JSString（JSString）->字符串 # showList（显示列表）:: [JSString（JSString）] ->显示S #
IsString（IsString） JSString（JSString）来源 #
实例详细信息定义于文本。JSON格式。类型方法来自字符串::字符串->JSString（JSString） #
JS密钥 JS字符串来源 #
实例详细信息定义于文本。JSON格式方法 toJS键::JSString（JSString）->字符串来源 # 来自JSKey::字符串->也许吧 JSString（JSString）来源 #
JSON格式 JS字符串来源 #
实例详细信息定义于文本。JSON格式方法读取JSON::JSValue公司->结果 JSString（JSString）来源 # 显示JSON::JSString（JSString）->JSValue公司来源 # 读取JSON::JSValue公司->结果[JSString（JSString）]来源 # 显示JSON:: [JSString（JSString）] ->JSValue公司来源 #

toJS字符串::字符串->JSString（JSString）来源 #

将Haskell字符串转换为JSON字符串。

新类型 JS对象e（电子）来源 #

As-can关联列表

建造师

JSON对象
领域来自JS对象:: [(字符串，e）]

实例

等式e=>等式(JS对象e）来源 #
实例详细信息定义于文本。JSON格式。类型方法 (==)::JS对象电子->JS对象电子->布尔 # (/=)::JS对象电子->JS对象电子->布尔 #
订单e=>订单(JS对象e）来源 #
实例详细信息定义于文本。JSON格式。类型方法比较::JS对象电子->JS对象电子->订购 # (<)::JS对象电子->JS对象电子->布尔 # (<=)::JS对象电子->JS对象电子->布尔 # (>)::JS对象电子->JS对象电子->布尔 # (>=)::JS对象电子->JS对象电子->布尔 # 最大值::JS对象电子->JS对象电子->JS对象e（电子）# 最小值::JS对象电子->JS对象电子->JS对象e（电子）#
阅读e=>阅读(JS对象e）来源 #
实例详细信息定义于文本。JSON格式。类型方法读取Prec::国际->读取S(JS对象e）# readList（阅读列表）::读取S[JS对象电子]# 读预处理::ReadPrec（预读）(JS对象e）# readListPrec::ReadPrec（预读）[JS对象电子]#
显示e=>显示(JS对象e）来源 #
实例详细信息定义于文本。JSON格式。类型方法显示Prec::国际->JS对象电子->显示S # 显示::JS对象电子->字符串 # showList（显示列表）:: [JS对象e] ->显示S #
JSON格式a=>JSON格式(JS对象a）来源 #
实例详细信息定义于文本。JSON格式方法读取JSON::JSValue公司->结果(JS对象a）来源 # 显示JSON::JS对象a->JSValue公司来源 # 读取JSON::JSValue公司->结果[JS对象【a】来源 # 显示JSON:: [JS对象a] ->JSValue公司来源 #

toJS对象:: [(字符串，a）]->JS对象一来源 #

从关联列表中生成JSON对象。

获取字段::JS对象a->字符串->也许吧一来源 #

获取字段的值（如果存在）。

设置字段::JS对象a->字符串->a->JS对象一来源 #

设置字段的值。先前的值将被覆盖。