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 processes用法及代码示例
- erlang processes()用法及代码示例
- erlang product(TupleOfSets)用法及代码示例
- erlang product(Set1, Set2)用法及代码示例
- erlang print(DataOrStats, Options)用法及代码示例
- erlang prefix(String :: unicode:chardata(), Prefix :: unicode:chardata())用法及代码示例
- erlang put用法及代码示例
- erlang ports用法及代码示例
- erlang pid_to_list用法及代码示例
- erlang pid_to_list(Pid)用法及代码示例
- erlang put(Key, Val)用法及代码示例
- erlang peek(Q :: queue(Item))用法及代码示例
- erlang peek_r(Q :: queue(Item))用法及代码示例
- erlang pseudo(Master, ServerList)用法及代码示例
- erlang perf_counter(Unit)用法及代码示例
- erlang parse_erl_exprs(Prompt)用法及代码示例
- erlang put(Key, Value, Map1)用法及代码示例
- erlang part(Subject, PosLen)用法及代码示例
- erlang pad(String, Length)用法及代码示例
- erlang partition(Pred, List)用法及代码示例
- erlang partition(SetOfSets)用法及代码示例
- erlang partition(SetFun, Set)用法及代码示例
- erlang partition(SetFun, Set1, Set2)用法及代码示例
- erlang partition_family(SetFun, Set)用法及代码示例
- erlang pkix_path_validation(Cert, CertChain, Options)用法及代码示例
注:本文由纯净天空筛选整理自erlang.org大神的英文原创作品 projection(SetFun, Set1) -> Set2。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。