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。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。