豫豫言文档API ATLAS
入口软件/豫言/数据库连接/入口。豫
52 模块837 名称
← 全部模块

模块 / 45

软件/豫言/标准库/数据结构/多态列。豫

软件/豫言/标准库/数据结构/多态列。豫

24公开名称

列

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

暂无说明。

罄

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

暂无说明。

缀

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

暂无说明。

态射

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

注 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个

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

暂无说明。