當前位置: 首頁>>編程示例 >>用法及示例精選 >>正文


erlang family_specification(Fun, Family1)用法及代碼示例

family_specification(Fun, Family1) -> Family2
類型:
Fun = spec_fun()
Family1 = Family2 = family()

如果Family1是一個家庭, 然後Family2是個限製Family1到索引集中的那些元素 iFun應用於Family1[i] 返回true.如果Fun是一個元組{external, Fun2}, 然後Fun2被應用到外部設置Family1[i],否則Fun應用於Family1[我]。

1> F1 = sofs:family([{a,[1,2,3]},{b,[1,2]},{c,[1]}]),
SpecFun = fun(S) -> sofs:no_elements(S) =:= 2 end,
F2 = sofs:family_specification(SpecFun, F1),
sofs:to_external(F2).
[{b,[1,2]}]

相關用法


注:本文由純淨天空篩選整理自erlang.org大神的英文原創作品 family_specification(Fun, Family1) -> Family2。非經特殊聲明,原始代碼版權歸原作者所有,本譯文未經允許或授權,請勿轉載或複製。