erlang projection(SetFun, Set1)用法及代碼示例

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.org大神的英文原創作品 projection(SetFun, Set1) -> Set2。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。