豫豫言文档API ATLAS
入口包说明.html
41 模块983 名称
← 全部模块

模块 / 30

测试/规范样本/标准/观诵与模块开放。豫

测试/规范样本/标准/观诵与模块开放。豫

229公开名称

子进程

公开
「模块」

暂无说明。

命令行参数

公开
「模块」

暂无说明。

文件系统

公开
「模块」

暂无说明。

进程

公开
「模块」

暂无说明。

时间

公开
「模块」

暂无说明。

路径

公开
「模块」

暂无说明。

系统名称

公开
「模块」

暂无说明。

环境变量

公开
「模块」

暂无说明。

惰性求值

公开
「模块」

暂无说明。

异步

公开
「模块」

暂无说明。

转换

公开
「模块」

暂无说明。

具体列

公开
「模块」

暂无说明。

随机

公开
「模块」

暂无说明。

大小

公开
「元类型」

暂无说明。

数组转换

公开
「模块」

暂无说明。

多态列

公开
「模块」

暂无说明。

多态列工具

公开
「模块」

暂无说明。

爻术

公开
「模块」

暂无说明。

字符串术

公开
「模块」

暂无说明。

字符流术

公开
「模块」

暂无说明。

整数操作

公开
「模块」

暂无说明。

特殊字符

公开
「模块」

暂无说明。

二对子取零

公开
承「甲」而承「乙」而化(「甲」合「乙」)而「甲」

因为v0.1版本对于对子类型的自动匹配不完全,这些函数可以帮助类型检查 TODO:在v0.2版本中应当可以移除这些函数 汉语:取二对子中索引零的分量。 文言:取二对子之首分。 赋曰:双玉并藏一匣中,先拈左玉照晴空。后珠仍在原来处,只取前光入掌红。

二对子取一

公开
承「甲」而承「乙」而化(「甲」合「乙」)而「乙」

汉语:取二对子中索引一的分量。 文言:取二对子之次分。 赋曰:两颗明珠列案前,独将右玉取来悬。不因首位光先到,误把旁辉作此篇。

解构二对子

公开
承「甲」而承「乙」而承「丙」而化(「甲」合「乙」)而化化「甲」而化「乙」而「丙」而「丙」

汉语:接收二对子和二元函数,将两个分量依次传给函数并返回结果。 文言:解对为二,依序授术而还其得。 赋曰:双封启后各传言,左先右后到君前。须按原行交两物,合成新意付云笺。

二对子操作

公开
承「甲」而承「乙」而承「丙」而承「丁」而化(「甲」合「乙」)而化化「甲」而「丙」而化化「乙」而「丁」而(「丙」合「丁」)

汉语:分别用两个函数处理对子左右分量,返回新对子。 文言:以二术各施左右,复合为对。 赋曰:两枝各受一方风,左绿新成右染红。琢罢依然双玉并,不同光彩共玲珑。

二对子操作零

公开
承「甲」而承「乙」而承「丙」而化(「甲」合「乙」)而化化「甲」而「丙」而(「丙」合「乙」)

汉语:只映射二对子的第零分量,保留第一分量。 文言:施术于首,次分不易,复合之。 赋曰:左玉重磨右玉存,一边新色一边温。双珠并置还成对,只改前光不改根。

二对子操作一

公开
承「甲」而承「乙」而承「丁」而化(「甲」合「乙」)而化化「乙」而「丁」而(「甲」合「丁」)

汉语:只映射二对子的第一分量,保留第零分量。 文言:首分不易,施术于次,复合之。 赋曰:右岸花开换旧妆,左堤依旧柳丝长。双行重结风光在,一半春新一半常。

二对子相等

公开
承「甲」而承「乙」而化化「甲」而化「甲」而「爻」而化化「乙」而化「乙」而「爻」而化(「甲」合「乙」)而化(「甲」合「乙」)而「爻」

汉语:接收左右比较函数及两个对子,只有两边对应分量都相等才为阳;两次比较都会求值。 文言:左右各以其术校二对,俱同乃阳,二校皆行。 赋曰:左右双关各验明,两边相契始同声。一方玉合非全合,还待双珠共此清。

二对子表示

公开
承「甲」而承「乙」而化化「甲」而「字符串」而化化「乙」而「字符串」而化(「甲」合「乙」)而「字符串」

汉语:分别表示左右分量,以“(左与右)”格式返回字符串。 文言:各书左右,以与联之,括其外。 赋曰:双珠各写一行词,中着连言合两枝。外括收来成一对,开笺便识共栖时。

三对子取零

公开
承「甲」而承「乙」而承「丙」而化(「甲」合「乙」合「丙」)而「甲」

汉语:取三对子中索引零的分量。 文言:取三对子之首分。 赋曰:三珠并列案头明,独取初光入手轻。不向后行移眼界,首颗分明自有名。

三对子取一

公开
承「甲」而承「乙」而承「丙」而化(「甲」合「乙」合「丙」)而「乙」

汉语:取三对子中索引一的分量。 文言:取三对子之中分。 赋曰:三点星光一字横,中间独照眼前明。两旁不是今番取,认准中珠便定名。

三对子取二

公开
承「甲」而承「乙」而承「丙」而化(「甲」合「乙」合「丙」)而「丙」

汉语:取三对子中索引二的分量。 文言:取三对子之末分。 赋曰:三玉排开照小楼,只将末颗掌中收。前光虽好无须取,所问分明在后头。

对子术

公开
「模块」

暂无说明。

字典术

公开
「模块」

暂无说明。

可选值

公开
「模块」

暂无说明。

小数操作

公开
「模块」

暂无说明。

列表搜索

公开
「模块」

暂无说明。

函数操作

公开
「模块」

暂无说明。

字节串

公开
「元类型」

暂无说明。

笔

公开
「模块」

暂无说明。

内建类型

公开
「模块」

暂无说明。

续延

公开
「模块」

暂无说明。

异常

公开
「模块」

暂无说明。

引用

公开
「模块」

暂无说明。

不安全

公开
「模块」

暂无说明。

传输控制协议

公开
「模块」

暂无说明。

异步传输控制协议

公开
「模块」

暂无说明。

超文本传输协议

公开
「模块」

暂无说明。

控制

公开
「模块」

暂无说明。

操作系统

公开
「模块」

暂无说明。

数学运算

公开
「模块」

暂无说明。

数据结构

公开
「模块」

暂无说明。

输入输出

公开
「模块」

暂无说明。

语言核心

公开
「模块」

暂无说明。

网络

公开
「模块」

暂无说明。

字符串

公开
「元类型」

暂无说明。

整数

公开
「元类型」

暂无说明。

小数

公开
「元类型」

暂无说明。

动态分类值

公开
「元类型」

暂无说明。

有

公开
「元类型」

暂无说明。

爻

公开
「元类型」

暂无说明。

元类型

公开
「元类型」

暂无说明。

类型

公开
「元类型」

暂无说明。

引用类

公开
化「元类型」而「元类型」

暂无说明。

数组引用类

公开
化「元类型」而「元类型」

暂无说明。

新引用

公开
承「甲」而化「甲」而(「引用类」于「甲」)

汉语:将初始值保存到一个新可变引用中,返回引用。 文言:藏初值于新引,得引而还。 赋曰:新匣藏珠有定方,凭签来取旧珍藏。从今值可随时换,一处安身待后章。

读引用

公开
承「甲」而化(「引用类」于「甲」)而「甲」

汉语:返回引用当前保存的值。 文言:读引中今值而还之。 赋曰:循签开匣取今珠,旧日光华未必如。只认此时所藏物,传来掌上照新书。

写引用

公开
承「甲」而化(「引用类」于「甲」)而化「甲」而「有」

汉语:依次接收引用和值,用新值替换引用内容,返回元。 文言:受引及值,以新易藏,归元。 赋曰:旧匣新珠换一回,来人仍向此门来。不移门址移中物,今后开函见别裁。

新数组引用

公开
承「甲」而化「甲」而化「整数」而(「数组引用类」于「甲」)

TODO:我们需要考虑加入边界检查! 汉语:接收初始值和非负长度,创建每个槽位都保存该值的数组引用;不会深复制该值。 文言:以初值充非负长之诸位,物本同一,不深抄之。 赋曰:一珠分影满长廊,格格同存最初光。莫把同源当别体,原身依旧在中藏。

新数组引用不初始化

公开
承「甲」而化「整数」而(「数组引用类」于「甲」)

!!读取一个未初始化的数组不是安全的 汉语:接收非负长度,分配未初始化的数组引用;每个槽位必须先写后读。 文言:依非负长造数组而不置初值;诸位须先写后读。 赋曰:空阁分间待客来,诸门未置案和杯。先将实物安其室,方可开门取所栽。

读数组引用

公开
承「甲」而化(「数组引用类」于「甲」)而化「整数」而「甲」

汉语:接收数组引用和从零开始的索引,读取对应值;调用者须保证索引有效且槽位已初始化。 文言:按零起序读数组之位;须在界内且已置值。 赋曰:按号开门取旧藏,从零起步莫逾疆。须知此室曾安物,空阁休凭想象量。

写数组引用

公开
承「甲」而化(「数组引用类」于「甲」)而化「整数」而化「甲」而「有」

汉语:接收数组引用、从零开始的索引和值,写入对应槽位,返回元;调用者须保证索引在界内。 文言:按零起序写数组之位,归元;须自守界。 赋曰:持珠按号入长廊,认准房门换旧藏。写罢归来无所带,后来人见此新光。

混合数组引用类

公开
「元类型」

暂无说明。

新混合数组引用

公开
化「整数」而「混合数组引用类」

汉语:按非负长度创建未初始化的混合数组,各槽位可存不同类型;须先写后读。 文言:造非负长之杂数组,诸位可异类,须先写而后读。 赋曰:多间空阁向阳开,各待珍奇异类来。未置一物休先取,先藏后读始无猜。

读混合数组引用

公开
承「甲」而化「混合数组引用类」而化「整数」而「甲」

汉语:按从零开始的索引读取混合数组槽位;类型参数须与写入值一致,且索引有效、槽位已初始化。 文言:按序读杂数组,所授类须合所藏,位须有值且在界内。 赋曰:异宝同楼各有门,持签须识物真身。莫将玉匣称金瓮,按位循名始得珍。

写混合数组引用

公开
承「甲」而化「混合数组引用类」而化「整数」而化「甲」而「有」

汉语:依次接收混合数组引用、索引和值,写入后返回元;索引须在界内,后续读取须使用对应类型。 文言:以值写杂数组之位而归元;序须在界,后读须同类。 赋曰:百样珍奇各入房,按号安置记其章。后来若问何名物,须与今时同一方。

抛出异常

公开
承「乙」而化「字符串」而「乙」

汉语:抛出字符串异常并转移控制,不正常返回值。 文言:以串告异而转其行,不循常返。 赋曰:忽闻警语断行舟,消息随声向外流。不向原途传旧果,须寻承者问缘由。

内建尝试运行

公开
承「乙」而化(化「有」而「乙」合化「字符串」而「乙」)而「乙」

汉语:接收“执行函数、异常处理函数”的对子;正常返回执行结果,字符串异常则交给处理函数。 文言:受行术与处异术之对,常则还果,异则授串于处异术。 赋曰:双门并列守归程,一路成时一路惊。顺水带回舟上物,逢波另唤掌灯声。

发生事故

公开
承「乙」而化「字符串」而「乙」

汉语:以给定字符串抛出异常,可用于任意预期返回类型的位置。 文言:以所授串告异,可居诸类之返处。 赋曰:一句惊言截远途,任凭前路作何图。行人自此须传警,不把空言作实珠。

尝试运行

公开
承「丙」而化化「有」而「丙」而化化「字符串」而「丙」而「丙」

汉语:依次接收执行函数和异常处理函数;传元执行,成功返回结果,字符串异常由处理函数转换为同类型结果。 文言:受行术及处异术,授元以行;成则还果,异则处之而还同类。 赋曰:行舟先试水中程,浪起还有应变声。平处收回原载物,险时别取一灯明。

默认异常处理

公开
化「字符串」而「有」

汉语:默认异常处理:没有被尝试运行捕捉的字符串异常,打印“未捕捉的豫言异常:”加消息到标准错误,并以退出码 1 结束进程(与原先的原生运行时一致)。本模块初始化时把它登记为当前异常处理器;尝试运行在其上叠加处理器,结束后恢复。WasmGC 的异常处理器全局初值为空,没有这一步时顶层异常会以“illegal cast”崩溃。 文言:默处异之术:异未为尝试运行所承者,书“未捕捉的豫言异常:”并其辞于标准误,以退出码一终其程,同旧原生运行时。此模初立之时登之为当前处异之术;尝试运行叠其上,毕则复之。WasmGC 处异之全局初为空,无此则顶层之异以“illegal cast”崩。

登记默认异常处理

公开
化「有」而「有」

暂无说明。

列

公开
化「元类型」而「元类型」

暂无说明。

罄

公开
承「甲」而(「列」于「甲」)

暂无说明。

缀

公开
承「甲」而化「甲」而化(「列」于「甲」)而(「列」于「甲」)

暂无说明。

态射

公开
承「甲」而承「乙」而化(「列」于「甲」)而化化「甲」而「乙」而(「列」于「乙」)

注 list map。 汉语:依次接收列表和映射函数,保持顺序返回逐项映射的列表。 文言:受列及射,循序施之,得新列。 赋曰:一行春树过东风,叶叶新妆次第同。不改来时前后序,千枝各自映晴空。

打表态射

公开
承「甲」而承「乙」而化(「列」于「甲」)而化化「甲」而「乙」而(「列」于「乙」)

打表态射是态射的兼容别名 汉语:态射的兼容接口,先传列表,再传映射函数。 文言:态射之兼名也,先列后射。 赋曰:旧径新题柳色浓,行行依次受春风。任他门额添名字,一脉清溪万树红。

从右折叠

公开
承「甲」而承「乙」而化化「甲」而化「乙」而「乙」而化「乙」而化(「列」于「甲」)而「乙」

注 list foldr。 汉语:接收组合函数、初值和列表;先折叠尾部,再将当前元素与尾部结果组合。 文言:受合术、初值及列;先合尾,乃以首合其得。 赋曰:归潮自远入沙洲,末水先归首水收。一线回环连万顷,源头终得众泉流。

从左折叠

公开
承「甲」而承「乙」而化化「甲」而化「乙」而「乙」而化「乙」而化(「列」于「甲」)而「乙」

注 list foldl。 汉语:接收组合函数、初值和列表;从左到右将当前元素和累积值传给组合函数。 文言:自首至尾,以当前物及积值授合术,递求其成。 赋曰:溪流自首过千湾,每到新湾带旧澜。一卷行程随水记,尽头收得万重山。

滤

公开
承「乙」而化化「乙」而「爻」而化(「列」于「乙」)而(「列」于「乙」)

注:list filter。 汉语:按谓词保留返回阳的元素,维持原顺序。 文言:验物以谓词,阳则留之,序不易。 赋曰:淘尽浮沙水自清,真珠依次露晶莹。去留但照心中尺,莫乱来时旧队行。

滤debug

公开
承「乙」而化化「乙」而「爻」而化(「列」于「乙」)而(「列」于「乙」)

汉语:执行滤,打印“过滤完成,结果是”这一行,再返回过滤结果;不打印元素内容。 文言:滤列而书成事之言,乃还所得,不书其物。 赋曰:筛罢珠沙玉色明,临窗报得一声清。只言事毕留其果,未把珠玑逐个呈。

附加

公开
承「乙」而化(「列」于「乙」)而化(「列」于「乙」)而(「列」于「乙」)

注append。 汉语:将第二个列表接在第一个列表之后,保持各自顺序。 文言:续后列于前列之末,序如故。 赋曰:前舟后棹接长流,两队相衔共一游。旧序依然分首尾,并成雁阵向汀洲。

从左态射折叠

公开
承「甲」而承「乙」而承「丙」而化化「甲」而化「乙」而(「丙」合「乙」)而化「乙」而化(「列」于「甲」)而((「列」于「丙」)合「乙」)

注 list foldmap。 汉语:从左遍历,组合函数接收元素与状态,返回新元素与新状态;最终返回映射列表及最终状态。 文言:循列施合术,得新物与新积;终还新列及末积。 赋曰:一程收景一程行,景入长笺数渐成。走到溪山穷尽处,满囊风物共归程。

结尾多

公开
承「乙」而化(「列」于「乙」)而化「乙」而(「列」于「乙」)

注append。 汉语:将一个元素追加到列表末尾,返回新列表。 文言:以一物续列末,得新列。 赋曰:长行雁影过江天,又见孤鸿接后边。不向前群争首席,相随一字更绵延。

反转

公开
承「乙」而化(「列」于「乙」)而(「列」于「乙」)

注reverse。 汉语:返回元素顺序颠倒的列表。 文言:倒其列序,末为首,首为末。 赋曰:回舟倒看旧溪湾,后岭先来首岭还。一队归鸿翻次序,依然同过此江山。

串联

公开
承「乙」而化(「列」于(「列」于「乙」))而(「列」于「乙」)

注concat。建议改名:列联 汉语:按顺序连接列表中的各个子列表,展开一层。 文言:循序联诸子列,去其外层。 赋曰:卷卷云笺次第开,长篇接续不须裁。千溪仍守来时序,合向江头一处来。

长度

公开
承「乙」而化(「列」于「乙」)而「整数」

注length。 汉语:返回列表元素个数,空列表为零。 文言:数列中物,空则零。 赋曰:逐树巡堤记柳行,枝枝不问短和长。只将数目收入册,空岸无声也有章。

取

公开
承「乙」而化「整数」而化(「列」于「乙」)而(「列」于「乙」)

注takeN。 汉语:接收数量与列表,取前若干项;超过长度时返回全部。数量应非负,当前负数实现也会取完整列。 文言:受数及列,取前数物,数过则尽取;宜用非负数,今负亦尽取。 赋曰:采得前枝入小篮,行来有数便停骖。若逢树尽篮犹浅,也把全枝带下岚。

放

公开
承「乙」而化「整数」而化(「列」于「乙」)而(「列」于「乙」)

注dropN。 汉语:接收非负数量和列表,丢弃前若干项;数量超过长度或为负时抛出索引事故。 文言:弃列前数物,还其余;数负或过长则告事故。 赋曰:放过前山见后山,行程有数过重关。若将尽路还求越,便有钟声止客还。

结尾放

公开
承「乙」而化「整数」而化(「列」于「乙」)而(「列」于「乙」)

注dropN at the end。 汉语:丢弃列表末尾指定数量的元素;数量须在零与列表长度之间。 文言:弃列末数物;数须非负且不逾长。 赋曰:收起归帆末一行,前舟依旧映斜阳。若从尽处多裁剪,须报行程已越疆。

以起否

公开
承「乙」而化化「乙」而化「乙」而「爻」而化(「列」于「乙」)而化(「列」于「乙」)而「爻」

注beginswith。 汉语:接收比较函数、前缀列和目标列,判断目标是否以该前缀开头;空前缀为阳。 文言:以所授术校前缀与目标之首;空缀则阳。 赋曰:卷首题辞逐字寻,前章相契便知音。空笺未写无须比,留与长篇共此心。

以终否

公开
承「乙」而化化「乙」而化「乙」而「爻」而化(「列」于「乙」)而化(「列」于「乙」)而「爻」

注endswith。 汉语:接收比较函数、后缀列和目标列,判断目标是否以该后缀结尾;空后缀为阳。 文言:校后缀与目标之末;空缀则阳。 赋曰:读到篇终认落款,回看字字有余音。末章相合方称是,空尾无言亦契心。

存在吗

公开
承「乙」而化化「乙」而「爻」而化(「列」于「乙」)而「爻」

注exists。 汉语:判断列表中是否有元素满足谓词;空列表为阴。当前实现会检查所有元素。 文言:验全列,有合者则阳,空则阴;今不早止。 赋曰:满圃寻芳遍径行,一枝堪折便春生。虽逢好景犹巡尽,看罢群花始报晴。

全部符合

公开
承「乙」而化化「乙」而「爻」而化(「列」于「乙」)而「爻」

注all。 汉语:判断所有元素是否满足谓词;空列表为阳,当前实现会检查所有元素。 文言:遍验列物,皆合乃阳;空亦阳。 赋曰:一队征鸿逐个看,羽齐方许过重关。纵无来雁空天阔,也作齐心报平安。

打表

公开
承「乙」而化「整数」而化化「整数」而「乙」而(「列」于「乙」)

注tabulate。 汉语:接收非负长度和函数,将零至长度减一的索引依次映射成列表;负长度不会正常终止。 文言:受非负长及术,自零循数施之成列;长负则不止。 赋曰:从零落笔写长笺,一格新成一格连。数满停毫收卷去,空篇也可到君前。

第N个

公开
承「乙」而化「整数」而化(「列」于「乙」)而「乙」

汉语:按从零开始的索引取元素;负数或越界索引抛出事故。 文言:自零数而取物;负或越界则告事故。 赋曰:从零数雁过长汀,点到其名取一翎。若向空天寻队外,当闻警语莫前行。

一元素列

公开
承「甲」而化「甲」而(「列」于「甲」)

汉语:用一个元素构造单元素列表。 文言:以一物成列。 赋曰:独把明珠缀一行,未邀同伴亦成章。空匣添来初有物,从今数起一星光。

二元素列

公开
承「甲」而化「甲」而化「甲」而(「列」于「甲」)

汉语:按参数顺序构造含两个元素的列表。 文言:以二物依序成列。 赋曰:双珠依次缀丝长,前后分明各有光。莫把后来移首位,并排写就两文章。

三元素列

公开
承「甲」而化「甲」而化「甲」而化「甲」而(「列」于「甲」)

汉语:按参数顺序构造含三个元素的列表。 文言:以三物依序成列。 赋曰:三点星光缀一绳,先来后至各分明。排成小队初成列,一路相随到五更。

头一个

公开
承「乙」而化(「列」于「乙」)而「乙」

汉语:返回非空列表的首元素;空列表抛出索引事故。 文言:取列首物,空则告事故。 赋曰:群雁初来第一声,抬头认取领前翎。空天若问先锋在,须报无人莫妄称。

最后一个

公开
承「乙」而化(「列」于「乙」)而「乙」

汉语:返回列表末元素;空列表抛出索引事故。 文言:倒列而取首,是为末物;空则告事故。 赋曰:送尽前帆望后舟,末行犹在水边留。回看认取归人影,空渡无船莫强求。

更新第N个

公开
承「乙」而化「整数」而化化「乙」而「乙」而化(「列」于「乙」)而(「列」于「乙」)

汉语:接收从零开始的索引、更新函数和列表,返回只替换对应元素的新列表;越界抛出事故。 文言:按序取物而施术,置还其位;越界则告事故。 赋曰:一行旧字换新题,只向当中认一枝。前后依然留本色,春风独到此花时。

移除重复

公开
承「乙」而化化「乙」而化「乙」而「爻」而化(「列」于「乙」)而(「列」于「乙」)

汉语:用比较函数去重,每类保留首次出现的元素及其顺序。 文言:校物去重,各存其先至者,序如故。 赋曰:重重花影照前阶,只取初枝入玉斋。后来同色随风去,留下春踪次第排。

找到重复

公开
承「乙」而化化「乙」而化「乙」而「爻」而化(「列」于「乙」)而(「列」于「乙」)

汉语:返回出现至少两次的元素,每类只返回首次出现的代表,顺序不变。 文言:择有重者,各留其先以成列。 赋曰:一花两见记春来,重影相逢始入怀。同色再多惟取一,依然先后上瑶台。

出现重复

公开
承「乙」而化化「乙」而化「乙」而「爻」而化(「列」于「乙」)而「爻」

汉语:用比较函数判断列表内是否存在重复元素。 文言:校列中物,有重则阳。 赋曰:巡过花丛问旧颜,曾经相见便相关。不须重复留名册,只报重逢在此间。

拉链合并

公开
承「甲」而承「乙」而化(「列」于「甲」)而化(「列」于「乙」)而(「列」于(「甲」合「乙」))

zip,长度必须一样 汉语:按位置把两个等长列表配成对子列表;长度不同抛出事故。 文言:二列齐步,各合为对;长异则告事故。 赋曰:两行灯火逐门连,一盏相迎一盏悬。若有孤灯无伴侣,便停双步告人前。

态射二

公开
承「甲」而承「乙」而承「丙」而化化「甲」而化「丙」而「乙」而化(「列」于「甲」)而化(「列」于「丙」)而(「列」于「乙」)

汉语:接收二元映射函数和两个等长列表,按对应位置映射;长度不同时抛出事故。 文言:以二元术施二列同位之物;长异则告事故。 赋曰:两岸春花对影生,一双化作一枝明。行来步步须齐足,错落先闻告警声。

全部符合二

公开
承「甲」而承「乙」而化化「甲」而化「乙」而「爻」而化(「列」于「甲」)而化(「列」于「乙」)而「爻」

注all。 汉语:逐对检查两个列表,遇阴立即返回阴;遍历到长度不一致时抛出事故,两空为阳。 文言:逐对验之,遇阴即止;行至长异则告事故,俱空则阳。 赋曰:双行并验到江滨,一处参差便问因。若尽同途皆合意,齐归空岸亦相亲。

列相等

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「列」于「甲」)而化(「列」于「甲」)而「爻」

汉语:先比较长度,再用给定函数逐项比较;长度不同返回阴。 文言:先校长,乃校物;长异则阴。 赋曰:两卷先量纸短长,齐篇再逐字成双。一毫有别皆分路,同尽方能共一章。

整数范围

公开
化「整数」而化「整数」而(「列」于「整数」)

汉语:返回从始到止之前的递增整数列,即左闭右开区间;始不小于止则为空。 文言:自始递增至止前;始不小于止则空。 赋曰:起处留名止处收,一级一级过沙洲。终标只作停舟界,不入行囊共远游。

态射序号

公开
承「甲」而承「乙」而化化「整数」而化「甲」而「乙」而化(「列」于「甲」)而(「列」于「乙」)

list map_i 汉语:将从零开始的索引及对应元素传给映射函数,顺序返回结果列表。 文言:自零授序与物于射,循次成列。 赋曰:每朵春花系小签,从零依次记窗前。名随物去同成画,不使芳踪失后先。

滤出可有

公开
承「甲」而化(「列」于(「或可有」于「甲」))而(「列」于「甲」)

汉语:跳过可无,按原顺序取出所有可有的内容。 文言:弃无取有,解裹存物,序不易。 赋曰:空匣随波逐个开,有珠方取入盘来。去衣存实排如旧,一串清光次第裁。

滤态射

公开
承「甲」而承「乙」而化化「甲」而(「或可有」于「乙」)而化(「列」于「甲」)而(「列」于「乙」)

注 list filter_map。 汉语:先映射为可选值,再丢弃可无并解包可有。 文言:先射为或有之值,乃弃无而取实。 赋曰:群花试染过春台,有色收成一束来。未得新芳随手放,留香依次入瓶开。

滤态射二

公开
承「甲」而承「乙」而承「丙」而化化「甲」而化「丙」而(「或可有」于「乙」)而化(「列」于「甲」)而化(「列」于「丙」)而(「列」于「乙」)

汉语:按对应位置映射两个等长列表,再取出可有结果;长度不同抛出事故。 文言:二列同位施射,弃无取有;长异则告事故。 赋曰:双枝试接向阳栽,结果方收入手来。步数须齐同赴约,空花落尽见莓苔。

滤态射序号

公开
承「甲」而承「乙」而化化「整数」而化「甲」而(「或可有」于「乙」)而化(「列」于「甲」)而(「列」于「乙」)

list filter_map i 汉语:将索引和元素传给映射函数,保留并解包可有结果;索引从零起。 文言:自零授序及物于射,留有取实。 赋曰:花名次第系枝头,按号寻芳逐处收。有实才堪装小篓,虚英不向篓中留。

是子集

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「列」于「甲」)而化(「列」于「甲」)而「爻」

List subset 汉语:判断子列表每个元素是否都能在父列表找到;忽略重复次数,遇缺项返回阴。 文言:子列之物皆见于父乃阳,不计重数,缺则止。 赋曰:小圃花容大圃寻,枝枝有据始同心。重开几遍无须数,缺却一枝便断音。

互为子集

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「列」于「甲」)而化(「列」于「甲」)而「爻」

List equal modulo reordering 汉语:判断两个列表是否互为子集;忽略顺序及重复次数,并非多重集合相等。 文言:二列互容乃阳,不论次序与重数。 赋曰:两园花色各相容,多少先后不问同。只要芳名无缺处,便将双圃共春风。

数出现次数

公开
承「甲」而化化「甲」而「爻」而化(「列」于「甲」)而「整数」

汉语:返回谓词为阳的元素个数。 文言:数合谓词之物而还其数。 赋曰:花开满径逐枝量,合意才添一笔章。数尽不收枝上色,只将多寡付行囊。

元素分隔

公开
承「甲」而化化「甲」而「爻」而化(「列」于「甲」)而(「列」于(「列」于「甲」))

用元素分隔,返回的列是原列的子列,且子列之间会间隔一个分隔符 例:按一分隔二、三、一、二,得到二三段和二段。 例:若输入首尾都是分隔符,结果首尾会含空段。 汉语:将谓词为阳的元素当作分隔符并移除,返回各段;首尾及连续分隔符产生空段,空输入返回空列表。 文言:以合谓词者为界而去之,存诸段;首尾连界可有空段,空入则空列。 赋曰:小径逢溪断又连,分花作圃各成边。连溪两道留空地,不向空庭强种莲。

列减

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「列」于「甲」)而化(「列」于「甲」)而(「列」于「甲」)

列减 A B = A \ B = {x ∈ A | x ∉ B} 汉语:接收比较函数、被减列和排除列,保留被减列中不在排除列的元素,维持顺序和剩余重复项。 文言:去前列中凡见于后列者,余物及其序皆存。 赋曰:前园有色后园寻,彼处同芳不入襟。剩得原枝连旧序,不删余影入新林。

查找元素序数

公开
承「甲」而化化「甲」而化「甲」而「爻」而化「甲」而化(「列」于「甲」)而(「或可有」于「整数」)

汉语:用比较函数查找首个相等元素,返回从零开始的可选索引;未找到返回可无。 文言:校物寻首同者,自零记序;不得则无。 赋曰:自首寻珠逐格行,从零记下所逢名。一逢同色收其号,未见归来报杳冥。

查找元素序数条件

公开
承「甲」而化化「甲」而「爻」而化(「列」于「甲」)而(「或可有」于「整数」)

汉语:返回第一个满足条件的元素索引,从零开始;不存在时返回可无。 文言:循列求首合条件者,记其零起之序;无则可无。 赋曰:沿堤问柳觅青枝,初见相宜便记时。路号从零存一处,寻空亦有报君词。

找到元素序数

公开
承「甲」而化「字符串」而化化「甲」而化「甲」而「爻」而化「甲」而化(「列」于「甲」)而「整数」

汉语:按给定比较函数查找首项索引;找不到时抛出传入的报错信息。 文言:求首同物之序,不得则以所授言告事故。 赋曰:持名遍访旧林泉,寻得先将路号传。若到山穷人未见,还凭来语报君前。

列查找替换

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「列」于「甲」)而化(「列」于「甲」)而化(「列」于「甲」)而(「列」于「甲」)

汉语:接收比较函数、原列、查找列和替换列,从左到右替换不重叠的匹配;查找列必须非空,否则非空输入不终止。 文言:自左易相合之段,不重叠;所寻列毋空,否则遇非空原列不止。 赋曰:逐段寻章换旧篇,新辞接在旧辞前。空题莫向长文觅,免使回环岁月迁。

条件分类

公开
承「甲」而化(「列」于「甲」)而化化「甲」而「爻」而((「列」于「甲」)合(「列」于「甲」))

TODO 汉语:接收列表和条件,返回满足条件的列表与不满足条件的列表,两边都保持原顺序。 文言:以条件分列为二,合者在先,不合在后,各守其序。 赋曰:一水逢堤向两边,去来各自守行船。合心一岸余居彼,分道依然记后先。

列引用前衔

公开
承「甲」而化(「引用类」于(「列」于「甲」))而化「甲」而「有」

汉语:读取列表引用,将新元素加到头部并写回,返回元。 文言:读列之引,以新物冠首而写还,归元。 赋曰:新枝插在旧枝前,一卷重书首字鲜。匣里原行随笔换,后来读者见新篇。

以分隔符合并列

公开
承「甲」而化「甲」而化(「列」于「甲」)而(「列」于「甲」)

汉语:在相邻元素之间插入给定分隔元素;首尾不添加,空列表仍为空。 文言:邻物之间置所授隔物,首末不加,空仍空。 赋曰:花间置石作微桥,只向相邻接小条。首尾不添闲路径,空园依旧任风摇。

从右折叠带序数

公开
承「甲」而承「乙」而化「整数」而化化「整数」而化「甲」而化「乙」而「乙」而化「乙」而化(「列」于「甲」)而「乙」

汉语:接收起始序数、组合函数、初值和列表;索引向右递增,组合从右返回,参数为索引、元素、累积值。 文言:自授序右增,先合尾再合首;授合术以序、物、积。 赋曰:向右题签向左收,后波先合入前流。每逢一物携原号,直到源头满一舟。

从左折叠带序数

公开
承「甲」而承「乙」而化「整数」而化化「整数」而化「甲」而化「乙」而「乙」而化「乙」而化(「列」于「甲」)而「乙」

汉语:接收起始序数、组合函数、初值和列表,从左向右递增索引并累积;组合参数为索引、元素、累积值。 文言:自授序循列递增,以序、物、积施合术,至末而还。 赋曰:起号随舟一路行,前波合后数新程。每湾都带来时记,走尽长川一册成。

串转通字符

公开
化「字符串」而(「列」于「字符串」)

汉语:按运行时的通字符切分规则将字符串转成字符字符串列表,保持顺序。 文言:循通字符之法分串为列,序不易。 赋曰:长笺拆作字成行,一字一珠各有光。次第分明留旧序,千言依旧在囊藏。

获取字符

公开
化「字符串」而(「列」于「字符串」)

汉语:串转通字符的别名,将字符串拆成通字符列表。 文言:串转通字符之异名也。 赋曰:拆开长卷认珠玑,一字分来一字齐。别号仍循同一道,千言次第有归依。

通字符转串

公开
化(「列」于「字符串」)而「字符串」

汉语:顺序拼接字符串列表的各项,空列表得到空字符串。 文言:循序联诸串,空列得空串。 赋曰:散落珠玑聚一绳,前珠后玉次相承。空盘未有丝头起,也守无言一盏灯。

合并

公开
化(「列」于「字符串」)而「字符串」

汉语:通字符转串的别名,顺序拼接字符串列表。 文言:通字符转串之异名也,循列联文。 赋曰:断简重连墨尚新,千言次第复相亲。同源别号传文意,合得长笺寄远人。

串组合并

公开
化(「列」于「字符串」)而「字符串」

汉语:通字符转串的别名,将字符串列表连接为一个字符串。 文言:亦名通字符转串,联众文为一。 赋曰:诸篇合卷到书楼,旧字依然次第留。不向行间添一笔,连成文脉共长流。

字符串拼接

公开
化「字符串」而化「字符串」而「字符串」

汉语:返回左字符串后接右字符串的结果。 文言:续右文于左文之后。 赋曰:左岸歌声右岸风,两行接作一笺通。先言未改后来续,共写长情到卷终。

间合

公开
化「字符串」而化(「列」于「字符串」)而「字符串」

汉语:接收分隔符和字符串列表,只在相邻字符串之间插入分隔符并拼接;空列表返回空串。 文言:受隔文及列,邻串之间置隔而联之,空则空串。 赋曰:句间留白字相连,不向篇头尾后连。一线穿珠分远近,空笺依旧待新篇。

字符串相等吗

公开
化「字符串」而化「字符串」而「爻」

汉语:比较两个字符串的完整内容,相等返回阳。 文言:校二串全体,同则阳。 赋曰:两纸临窗细校文,字同还要始终真。莫凭相似轻言合,尽处无差始可亲。

串相等

公开
化「字符串」而化「字符串」而「爻」

汉语:字符串相等吗的别名,比较完整字符串内容。 文言:字符串相等吗之异名也。 赋曰:旧尺新名验两笺,从头到尾不容偏。同文尽合方称是,莫认微差作并肩。

字符串相等

公开
化「字符串」而化「字符串」而「爻」

汉语:字符串相等吗的别名,返回两个字符串是否相等。 文言:校二串之同,与字符串相等吗同术。 赋曰:双笺逐字照晴窗,首尾无差始作双。换得题名衡未改,旧规依然守此章。

串组相等

公开
化(「列」于「字符串」)而化(「列」于「字符串」)而「爻」

汉语:判断两个字符串列表长度及每个对应字符串是否相等,顺序参与比较。 文言:校串列之长与同位之文,序亦在校。 赋曰:两队珠光照夜深,逐行逐位验文真。长短先后皆须合,莫把相逢误作亲。

是子字符串吗

公开
化「字符串」而化「字符串」而「爻」

汉语:判断第一个字符串是否出现在第二个字符串中,匹配连续内容。 文言:以前串求于后串,文须相连。 赋曰:短句长篇细细寻,连文相接始知音。散珠纵在千行内,未作同篇一寸心。

字节是后续

公开
化「整数」而「爻」

文言:验首尾,唯比所需之字节,勿尽拆长串。汉语:前后缀判断不构造字符链表;另验 UTF-8 后续字节边界,保持原拆字比较语义。

串结尾是它吗

公开
化「字符串」而化「字符串」而「爻」

注:串结尾是它吗 1 2 测试1是否为2的结尾。 汉语:判断第二个字符串是否以第一个字符串结尾,空后缀返回阳。 文言:验后串末是否前串;前空则阳。 赋曰:末笔回看旧落款,相连字里有余香。空题也许依长卷,同到篇终认此章。

串开头是它吗

公开
化「字符串」而化「字符串」而「爻」

汉语:判断第二个字符串是否以第一个字符串开头,空前缀返回阳。 文言:验后串首是否前串;前空则阳。 赋曰:开卷先寻首一行,题辞契合见文章。空文无字皆堪接,不待篇终已可量。

去除串结尾

公开
化「字符串」而化「字符串」而「字符串」

从第二个参数结尾删除长度为第一个长度的字符串 汉语:按第一个字符串的字符数删除第二个字符串的末尾,不比较内容;删除长度超过目标时抛出事故。 文言:按前串之长裁后串之末,不校其文;过长则告事故。 赋曰:量得前笺几字长,便裁后卷末文章。不须落款同颜色,越界先闻警语扬。

去除串开头

公开
化「字符串」而化「字符串」而「字符串」

从第二个参数开头删除长度为第一个长度的字符串 汉语:按第一个字符串的字符数删除第二个字符串的开头,不检查前缀内容;长度超过目标时抛出事故。 文言:按前串长裁后串首,不校前缀;过长则告事故。 赋曰:借来短尺量篇头,裁去前行后字留。只问长宽非字样,逾涯莫向卷中求。

表示串

公开
化「字符串」而「字符串」

汉语:生成带豫言字符串引号的表示,并转义换行、制表和会影响字符串语法的符号。 文言:裹文以串引,遇换行制表及乱语法者则转书之。 赋曰:文字装成引号衣,换行藏作墨中机。重书不使原形乱,读者循章识所归。

获取子字符串

公开
化「整数」而化「整数」而化「字符串」而「字符串」

汉语:接收始、止、字符串,按通字符取左闭右开片段;应满足零不大于始、始不大于止,始不得越界,止超过长度会截至串尾。 文言:以始止裁通字符,含始不含止;始须在界内且不负,止毋先始,过末则取至末。 赋曰:始字登舟止字停,中间风物入新屏。终标不载随行去,越远惟收岸上青。

串长度

公开
化「字符串」而「整数」

汉语:返回通字符数量,不是字节数。 文言:数通字符之多寡,非数字节。 赋曰:一字临风各占行,不因笔画计多长。通文自有分明界,逐个收来入数囊。

搜索单个

公开
化「爻」而化「字符串」而化「字符串」而(「或可有」于「整数」)

第一个爻为从左或从右 汉语:接收方向爻、搜索串和目标串;阳从左、阴从右,返回首个命中的可选字符索引。只检查零至目标长度减一的起点,空目标返回可无。 文言:阳自左而阴自右,求所授文于目标,得首中之零起序;不验末外之位,空目标则无。 赋曰:左右寻章各有程,初逢便记此中名。从零起步循文界,寻尽无踪报一声。

串从左搜索单个

公开
化「字符串」而化「字符串」而(「或可有」于「整数」)

汉语:从左查找搜索串在目标串中的第一次出现,返回可选字符索引,规则同搜索单个。 文言:自左求文,首中则记序,其法同搜索单个。 赋曰:开卷循行向后寻,初逢旧句便知音。留将路号传来者,不再追踪到远林。

串从右搜索单个

公开
化「字符串」而化「字符串」而(「或可有」于「整数」)

汉语:从右查找搜索串在目标串中的最后一次出现,返回可选字符索引,规则同搜索单个。 文言:自右求文,首中则记序,其法同搜索单个。 赋曰:回首长篇倒步寻,末逢旧句报知音。原来位置依然记,不把归途另作吟。

字节长度

公开
化「字符串」而「整数」

汉语:返回字符串显式存储的字节数,不按通字符计数。 文言:计串所存字节之数,非通字符数。 赋曰:不数花名数细纹,一丝一缕各分明。长文自有藏身量,字外还须按粒衡。

字符转整数

公开
化「字符串」而化「整数」而「整数」

字符转整数于串于序数 将返回串的第序数个byte的整数值,使用C字符串的表示方式。 序数必须小于等于字节长度,如果序数等于字节长度,将返回零 汉语:按从零开始的字节索引取零至二百五十五的值;索引等于字节长度时返回零。索引须非负,过长会抛出事故。 文言:自零按字节取数,至末界则零;序毋负,过长则告事故。 赋曰:拆字寻微按位量,末端零记守边疆。若将一步行过界,便有警声止远航。

字节转字符串

公开
化「整数」而「字符串」

汉语:将一至二百五十五之间的整数构造成单字节字符串,零或越界值会报错中止;不保证构成完整通字符。 文言:以一字节成串,值限一至二百五十五,零及越界则止,未必成通字符。 赋曰:一粒微光入字囊,单凭一点未成章。须知字节非全字,留待同群共发扬。

字符串转无调拼音

公开
化「字符串」而「字符串」

汉语:调用原生拼音转换,将文本转换为不带声调的拼音形式。 文言:以原生之术转文为无调拼音。 赋曰:汉字移声入短笺,高低声调暂搁边。只留音骨供寻读,一线相通到耳前。

字符串转拼音首字母

公开
化「字符串」而「字符串」

汉语:调用原生转换,取得文本拼音的首字母形式。 文言:转文为拼音而取其首母,循原生之法。 赋曰:音长取首记行踪,缩作微符也可通。不载全声千万转,留将眉目待相逢。

串是模糊子序列吗

公开
化「字符串」而化「字符串」而「爻」

汉语:判断查询字符能否按原顺序在目标中找到,允许间隔但不忽略大小写;空查询为阳。 文言:循目标求查询诸字,许间而不许倒序,校字仍从相等之法;空问则阳。 赋曰:隔柳寻花一路行,前芳过后后芳迎。虽容空隙穿针去,不许回头乱次生。

串含非阿斯基字符吗

公开
化「字符串」而「爻」

汉语:判断文本是否含首字节大于一百二十七的通字符,空串为阴。 文言:验通字符首字节,过一百二十七则阳,空则阴。 赋曰:细检文中第一痕,高于旧界便开门。一篇若尽平常字,还报无他守本根。

串查找替换

公开
化「字符串」而化「字符串」而化「字符串」而「字符串」

汉语:依次接收原串、寻找串和替换串,按通字符替换所有不重叠匹配;寻找串必须非空。 文言:循原文以新文易所寻段,不重叠;所寻毋空。 赋曰:旧句逢时换新篇,循行不复踏前边。空文莫作追寻物,免使回环岁月迁。

多态列表示

公开
承「甲」而化化「甲」而「字符串」而化(「列」于「甲」)而「字符串」

汉语:接收元素表示函数和列表,以方头括号包围并用中文逗号分隔各项。 文言:以所授术书诸物,逗而间之,方括其外。 赋曰:诸物随形各写章,逗分次第括成行。一函收尽千般色,开卷还知各所藏。

串列表示

公开
化(「列」于「字符串」)而「字符串」

汉语:把字符串列表表示为括号内以中文逗号分隔的文本;元素直接使用原文,不添加字符串引号。 文言:括串列而以逗间之,物用原文,不加串引。 赋曰:原文列坐一堂中,逗号分席各相通。不向单篇添外衣,只将总卷束来风。

可选值表示

公开
承「甲」而化化「甲」而「字符串」而化(「或可有」于「甲」)而「字符串」

汉语:可无表示为“可无”;可有则用元素表示函数生成“可有(内容)”。 文言:无则书可无,有则书可有而括物文。 赋曰:空匣题空有玉题,先明有无后珠玑。若藏珍物开微括,内外分明不自迷。

非

公开
化「爻」而「爻」

注 not。 汉语:将阳变为阴,将阴变为阳。 文言:阳则反阴,阴则反阳。 赋曰:阴阳翻覆一须臾,昼尽星生夜色舒。只把原爻轻一转,两端相换见盈虚。

且

公开
化「爻」而化「爻」而「爻」

注 and。 汉语:两个爻都为阳才返回阳;参数在调用前求值,不提供短路求值。 文言:二爻皆阳乃阳;入参先求,不以首阴止次参。 赋曰:两扇重门待客开,双灯齐照始能来。一灯若暗关犹闭,须得同明上玉台。

或者

公开
化「爻」而化「爻」而「爻」

注 or。 汉语:任意一个爻为阳就返回阳;两个参数都会先求值。 文言:二爻有阳则阳;二参皆先求之。 赋曰:两岸灯明可渡津,一星犹足引归心。惟当两处俱无火,方见长江夜色深。

爻表示

公开
化「爻」而「字符串」

汉语:将阳表示为“阳”,阴表示为“阴”。 文言:阳书为阳,阴书为阴。 赋曰:两仪藏意本无言,借得双名落素笺。明暗从今皆可读,一爻写尽此中天。

爻相等

公开
化「爻」而化「爻」而「爻」

汉语:比较两个爻,同为阳或同为阴时返回阳。 文言:同阴同阳皆阳,异则阴。 赋曰:双灯齐灭亦相同,两火俱明也自通。莫只凭光论契合,阴阳同处便和融。

等

公开
化「整数」而化「整数」而「爻」

汉语:比较两个整数,相等返回阳,否则返回阴。 文言:校二整数,同则阳,异则阴。 赋曰:两岸青山照水明,分毫不差始同声。莫因形近轻相许,须到衡平一处生。

整数相等

公开
化「整数」而化「整数」而「爻」

汉语:等的别名,比较两个整数是否相等。 文言:等之异名也,以辨二数之同。 赋曰:双珠并置玉盘清,一一相参辨重轻。借得新名传旧意,分毫无异始同声。

等于

公开
化「整数」而化「整数」而「爻」

汉语:等的别名,相等为阳,不等为阴。 文言:亦谓之等,同则阳,否则阴。 赋曰:两行筹算列阶前,细校毫厘不许偏。名字虽殊衡准在,同归一数两相连。

大于

公开
化「整数」而化「整数」而「爻」

汉语:判断第一个整数是否严格大于第二个。 文言:前数过后数则阳,否则阴。 赋曰:两峰相对入云端,欲辨高低望远山。只许前峰超后岭,齐头犹未过重关。

不等于

公开
化「整数」而化「整数」而「爻」

汉语:判断两个整数是否不同。 文言:二数异则阳,同则阴。 赋曰:双影临溪各自明,毫厘有别便分程。纵然只隔纤尘远,也向岐途报一声。

小于

公开
化「整数」而化「整数」而「爻」

汉语:判断第一个整数是否严格小于第二个。 文言:前数少于后数则阳,同亦阴。 赋曰:前峰低处草芊芊,后岭高悬一线天。若是两山齐并立,此门犹闭不相延。

加

公开
化「整数」而化「整数」而「整数」

汉语:返回两个整数之和。 文言:合二整数而得其总。 赋曰:两涧涓涓入一川,千波汇处水相连。不分来路山南北,共载轻舟到远天。

乘

公开
化「整数」而化「整数」而「整数」

汉语:返回两个整数之积。 文言:以一数乘一数,得其积。 赋曰:纵横阡陌接平原,一垄春苗接远阡。莫道单行收获少,相乘便是满仓田。

除以

公开
化「整数」而化「整数」而「整数」

汉语:返回第一个整数除以第二个的整数商,向零截断;除数不得为零,商须在整数可表示范围内。 文言:以前数除以后数,向零取整商;后数毋零,商毋越域。 赋曰:一仓新粟按人分,整斗量来各有均。莫向空名求份数,须凭实数细耕耘。

表示

公开
化「整数」而「字符串」

汉语:将整数转换为字符串。 文言:以文写整数,使其形可见。 赋曰:算罢银筹字里藏,一行墨迹见毫芒。无声数目今能读,写上云笺寄远方。

整数表示

公开
化「整数」而「字符串」

汉语:表示的别名,将整数转换为字符串。 文言:表示之异名也,书整数为文。 赋曰:数在筹中未有章,移来纸上墨生香。新题旧法皆通读,一字分明寄远方。

减

公开
化「整数」而化「整数」而「整数」

汉语:返回第一个整数减去第二个的差。 文言:以前数减后数,得其差。 赋曰:旧仓减粟见余粮,多少分明记一行。纵使取多成负数,还将亏欠付筹量。

等零

公开
化「整数」而「爻」

汉语:判断整数是否等于零。 文言:验数为零否,是则阳。 赋曰:万籁收声夜气清,空盘无子月孤明。一毫尚在皆非尽,尽处方知此数平。

理解整数

公开
化「字符串」而「整数」

汉语:按十进制解析字符串开头的整数,允许前导空白和正负号;不严格检查尾部,无可转换数字时返回零,范围遵循原生转换。 文言:以十进制读文首整数,许前空与正负号,不尽验尾;无数可读则零,域从原生之法。 赋曰:字里寻筹逐墨痕,千般形迹认其根。读成整数归心算,从此书笺可论存。

整数最大值

公开
化「整数」而化「整数」而「整数」

汉语:返回两个整数中较大的值,相等时返回左数。 文言:择二数之大者,同则取左。 赋曰:两峰争向碧云齐,高处凭栏望更低。若使双峰同一线,先留左岭入新题。

或可有

公开
化「元类型」而「元类型」

暂无说明。

可有

公开
承「甲」而化「甲」而(「或可有」于「甲」)

暂无说明。

可无

公开
承「甲」而(「或可有」于「甲」)

暂无说明。

获取可有内容

公开
承「甲」而化(「或可有」于「甲」)而「甲」

汉语:取出可有中的值;传入可无时抛出事故。 文言:有则取其物,无则告事故。 赋曰:探匣寻珠启玉扉,珠存掌上照清辉。空箱莫作珍藏取,一声相告止人归。

可有态射

公开
承「甲」而承「乙」而化(「或可有」于「甲」)而化化「甲」而「乙」而(「或可有」于「乙」)

汉语:对可有中的值应用函数并重新包装,可无保持可无。 文言:有则施射于物而裹之,无则仍无。 赋曰:匣中有玉琢成章,空匣依然守旧藏。莫向无中强生物,只随所有换新光。

有吗

公开
承「甲」而化(「或可有」于「甲」)而「爻」

汉语:判断可选值是否为可有,不取出内容。 文言:辨其有无,不取其物。 赋曰:但问匣中有物无,无须探取匣中珠。一开名目知虚实,不改其中旧画图。

可选值相等

公开
承「甲」而化化「甲」而化「甲」而「爻」而化(「或可有」于「甲」)而化(「或可有」于「甲」)而「爻」

汉语:用给定比较函数比较两个可有的内容;两个可无相等,一有一无不等。 文言:皆有则以所授法校物,皆无则同,一有一无则异。 赋曰:双匣藏珠按玉衡,俱空亦可许同声。一边有物一边寂,纵未开箱已两程。

串典

公开
化「元类型」而「元类型」

暂无说明。

构造串典

公开
承「甲」而化(「列」于(「字符串」合「甲」))而(「串典」于「甲」)

暂无说明。

空串典

公开
承「甲」而(「串典」于「甲」)

汉语:构造没有键值项的多态字符串字典。 文言:作空串典,无键无物。 赋曰:空阁初成未有书,一函静待百家居。莫嫌此刻无名姓,留得新藏万卷余。

串典态射

公开
承「甲」而承「乙」而化化「字符串」而化「甲」而「乙」而化(「串典」于「甲」)而(「列」于「乙」)

汉语:接收映射函数和字典,将每项的键、值传给函数,按存储顺序返回结果列表。 文言:以术施典中各键及值,依藏序成列而还。 赋曰:开典循行见姓名,名携其物共新成。归来列作长篇读,不再封为旧典形。

串典插入

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而化「甲」而(「串典」于「甲」)

汉语:在字典头部插入键值项,保留已有同名键;后续查找会先找到新项。 文言:冠新键值于典首,旧同键仍存,求则先得新。 赋曰:新签插在旧书前,同姓原来未尽迁。来者先开头一卷,便从新页得相传。

串典查找

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而(「或可有」于「甲」)

汉语:按字符串键返回首个匹配值的可选包装,不存在时返回可无。 文言:循典求首同键,裹值而还;无则可无。 赋曰:按姓翻开旧典章,先逢其名取所藏。有无各自归封里,不教空手误成香。

串典所有键

公开
承「甲」而化(「串典」于「甲」)而(「列」于「字符串」)

汉语:按字典内部顺序返回所有字符串键,保留重复键。 文言:依藏序取诸键,重名亦存。 赋曰:开籍惟抄户上名,重门同姓也同行。不将箱内珍藏取,满纸题签次第明。

串典读取

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而「甲」

汉语:读取首个同名键的值;键不存在时抛出事故,并附带字典键名。 文言:求首同键之值,无则告事故并书典键。 赋曰:持名索玉到书堂,首见开函取所藏。若是全无相应处,连同键籍报行方。

串典删除

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而(「串典」于「甲」)

汉语:删除首个匹配键并返回新字典,保留其余同名项;键不存在时抛出事故。 文言:删首同键,后重仍留;无键则告事故。 赋曰:循名只去首行签,同字后来尚在篇。若遍全函无此键,便将事故报君前。

存在键

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而「爻」

汉语:判断字典中是否存在给定字符串键。 文言:验典有此键否,有则阳。 赋曰:但问门前此姓名,有家便报一声迎。不须搬出堂中玉,也识空庭与满庭。

串典删除如果存在

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而(「串典」于「甲」)

汉语:键存在时删除首个匹配项,不存在时原样返回字典。 文言:有则删首同键,无则还原典。 赋曰:有名删去首张签,无字依然守旧篇。不向空门催警语,平平收卷到灯前。

串典操作

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而化化「甲」而「甲」而(「串典」于「甲」)

TODO:要做:操作将报错如果键未找到 汉语:对所有同名键的值应用操作并返回新字典;键不存在时原样保留,不抛出缺键事故。 文言:凡同键之值皆施术,余存;无此键亦不告事故。 赋曰:同名诸卷一齐翻,各换新文旧位安。遍籍若无相应字,依然合典照常还。

串典引用操作

公开
承「甲」而化(「引用类」于(「串典」于「甲」))而化「字符串」而化化「甲」而「甲」而「有」

汉语:读取字典引用,对所有匹配键的值应用操作,再将新字典写回,返回元。 文言:读所引典,遍改同键之值,写还而归元。 赋曰:开匣循名改旧章,同签诸页换新光。重藏一典原来处,再读便知墨尚香。

串典更新

公开
承「甲」而化(「串典」于「甲」)而化「字符串」而化「甲」而(「串典」于「甲」)

如存在则更新,不存在则插入 汉语:键存在时更新所有同名项的值;不存在时在头部插入新项,返回新字典。 文言:有键则尽易同键之值,无则冠新项于首。 赋曰:旧名有处换新笺,未见题名置最前。一本收成兼两法,有无皆可续新篇。

串典引用更新

公开
承「甲」而化(「引用类」于(「串典」于「甲」))而化「字符串」而化「甲」而「有」

汉语:读取字典引用,执行串典更新后写回,返回元。 文言:读典之引,更新而写还,归元。 赋曰:旧典开来按姓名,有则重书缺则生。更将新卷还原匣,后来取阅见新成。

行

公开
承「甲」而化化「有」而「甲」而「甲」

汉语:将元传给所给函数并返回调用结果,方便执行无实际参数的操作。 文言:授元于所受术,而还其得。 赋曰:一声启事动停舟,无物相传也可求。只把元名交掌事,带回成果到汀洲。

打印

公开
化「字符串」而「有」

汉语:将字符串写到标准输出,不自动追加换行,返回元。 文言:书串于常出,不续新行,归元。 赋曰:一行未尽墨相连,落字无须另起篇。后笔还从今处续,轻声写到案灯前。

打印行

公开
化「字符串」而「有」

汉语:将字符串写到标准输出并追加换行,返回元。 文言:书串于常出,续以新行,归元。 赋曰:写罢今行另起行,后来文字有新章。一声落定留空位,待得新言次第扬。

标准错误打印行

公开
化「字符串」而「有」

汉语:将字符串写到标准错误并追加换行,返回元。 文言:书串于误出,续以新行,归元。 赋曰:警语分流到别门,不随常笔混成文。一行报罢添新界,留与来人辨所闻。

尝试读取标准输入行

公开
化「有」而(「爻」合「字符串」)

汉语:尝试读取标准输入的一行,移除末尾换行及可选回车,返回阳与内容;输入结束或读取失败时返回阴及空串。 文言:试读常入一行,去尾新行及回车,得则阳与文;尽或败则阴与空文。 赋曰:窗前静候一行音,有字传来便入襟。若到声穷无可读,空笺也报此时心。

标准输入是终端

公开
化「有」而「爻」

汉语:判断标准输入是否连接终端。 文言:验常入是否终端。 赋曰:来声先问自何门,是否人前键上闻。认得源头方定法,不将管水作溪云。

标准输出是终端

公开
化「有」而「爻」

汉语:判断标准输出是否连接终端。 文言:验常出是否终端。 赋曰:落笔先知去处明,是屏是管辨行程。若逢眼下人相对,自有临窗报字声。

进入终端原始输入模式

公开
化「有」而「爻」

汉语:尝试进入原始输入模式,返回是否成功;成功后应配对调用退出终端原始输入模式。 文言:试入终端原始输入之制,成则阳;既入须复其故。 赋曰:暂开直路接微声,一键才来便可听。借得新门须记返,终将旧制复安宁。

退出终端原始输入模式

公开
化「有」而「有」

汉语:恢复此前保存的终端输入设置,返回元。 文言:复所存终端旧制,归元。 赋曰:直路行完掩小扉,前时规制此时归。借来方便归还后,依旧安然待晓晖。

读取终端按键

公开
化「有」而(「爻」合「字符串」)

汉语:读取终端按键,返回成功爻及按键字符串;失败或无可读输入时按运行时约定返回阴。 文言:读终端之键,得则阳与串,不得从运行时之约。 赋曰:指落轻弦传一声,收来短札辨分明。若无音信须知寂,莫把空弦误作鸣。

写

公开
化「字符串」而「有」

汉语:把字符串写入标准输出并换行,与打印行使用相同原生函数。 文言:与打印行同术,书常出而续新行。 赋曰:写成一字接成行,行尽移毫另作章。别号仍循同笔法,清音次第出书堂。

调试打印

公开
承「乙」而化「字符串」而化「乙」而「有」

汉语:依次接收标签和任意类型的值,调用原生通用值打印函数输出调试信息,返回元。 文言:受名与任类之物,以原生术书调试之讯,归元。 赋曰:万象随名到案前,借灯一照到窗前。何须各物同衣色,都付寻踪一纸笺。

通过开放并再导出的模块比较整数

公开
化「整数」而「爻」

暂无说明。