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 family_difference(Family1, Family2)用法及代码示例
- erlang family_domain(Family1)用法及代码示例
- erlang family_field(Family1)用法及代码示例
- erlang family_intersection(Family1)用法及代码示例
- erlang family_intersection(Family1, Family2)用法及代码示例
- erlang family_projection(SetFun, Family1)用法及代码示例
- erlang family_range(Family1)用法及代码示例
- erlang family_to_relation(Family)用法及代码示例
- erlang family_union(Family1)用法及代码示例
- erlang family_union(Family1, Family2)用法及代码示例
- erlang float用法及代码示例
- erlang file_read用法及代码示例
- erlang file_size用法及代码示例
- erlang from_list用法及代码示例
- erlang find用法及代码示例
- erlang fun2ms(LiteralFun)用法及代码示例
- erlang float(Number)用法及代码示例
- erlang float_to_binary(Float, Options)用法及代码示例
- erlang float_to_list(Float, Options)用法及代码示例
- erlang floor(Number)用法及代码示例
- erlang fun_to_list(Fun)用法及代码示例
- erlang filter(Fun, Q1 :: queue(Item))用法及代码示例
- erlang filtermap(Fun, Q1)用法及代码示例
- erlang fold(Fun, Acc0, Q :: queue(Item))用法及代码示例
- erlang fetch(Key, Orddict)用法及代码示例
注:本文由纯净天空筛选整理自erlang.org大神的英文原创作品 family_specification(Fun, Family1) -> Family2。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。