specification(Fun, Set1) -> Set2
类型：
Fun = spec_fun()Set1 = Set2 = a_set()返回包含每个元素的集合Set1为此Fun返回true.如果Fun是一个元组{external, Fun2},Fun2被应用到外部设置每个元素，否则Fun应用于每个元素。
1> R1 = sofs:relation([{a,1},{b,2}]),
R2 = sofs:relation([{x,1},{x,2},{y,3}]),
S1 = sofs:from_sets([R1,R2]),
S2 = sofs:specification(fun sofs:is_a_function/1, S1),
sofs:to_external(S2).
[[{a,1},{b,2}]]相关用法
- erlang split_binary用法及代码示例
- erlang spawn用法及代码示例
- erlang spawn on Node用法及代码示例
- erlang spawnlink用法及代码示例
- erlang split(Filename)用法及代码示例
- erlang spawn(Module, Function, Args)用法及代码示例
- erlang split_binary(Bin, Pos)用法及代码示例
- erlang split(Subject, Pattern, Options)用法及代码示例
- erlang split(String, SearchPattern)用法及代码示例
- erlang span(String, Chars)用法及代码示例
- erlang splitwith(Pred, List)用法及代码示例
- erlang split(Subject, RE, Options)用法及代码示例
- erlang split(List, Keys)用法及代码示例
- erlang sin用法及代码示例
- erlang str用法及代码示例
- erlang substr用法及代码示例
- erlang sort用法及代码示例
- erlang sublist用法及代码示例
- erlang sum用法及代码示例
- erlang self用法及代码示例
- erlang safe_fixtable(Table, Fix)用法及代码示例
- erlang select(Table, MatchSpec)用法及代码示例
- erlang select_replace(Table, MatchSpec)用法及代码示例
- erlang select_reverse(Continuation)用法及代码示例
注：本文由纯净天空筛选整理自erlang.org大神的英文原创作品 specification(Fun, Set1) -> Set2。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。