当前位置: 首页>>代码示例 >>用法及示例精选 >>正文


erlang projection(SetFun, Set1)用法及代码示例


projection(SetFun, Set1) -> Set2
类型:
SetFun = set_fun()
Set1 = Set2 = a_set()

返回通过将 SetFun 应用于元素的结果替换 Set1 的每个元素而创建的集合。

如果SetFun是一个数字 i >= 1 并且Set1是一个关系,那么返回的集合就是投影Set1到坐标 i。

1> S1 = sofs:from_term([{1,a},{2,b},{3,a}]),
S2 = sofs:projection(2, S1),
sofs:to_external(S2).
[a,b]

相关用法


注:本文由纯净天空筛选整理自erlang.org大神的英文原创作品 projection(SetFun, Set1) -> Set2。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。