f# - 是否有用于将操作传递到最内部结构的操作员的 FP 名称？（类似于 fsharp 中的 |> 运算符）

Question

我必须编写 2 个运算符：

let inline (|/>) (seqinit:seq<'a*'T>) f = seqinit |> Seq.map  (fun (key1 ,seq1) -> (key1, seq1 |> f ))
let inline (||>) (seqinit:seq<'a * seq<'b>>) (f2:seq<'b>->seq<'c*seq<'d>>) = seqinit |>  Seq.map  (fun (key1 ,seq1) -> (key1, seq1 |> f2 ))

为了进行以下操作，第一组将 Seq 转换为 Map，第二组将键添加到集合

let toMap  (seqinit:seq<'a*'T>)                 =  seqinit |/> id     |> Map.ofSeq  
let toMap2 (seqinit:seq<'a*seq<'b*'T>>)         =  seqinit |/> toMap  |> toMap
let toMap3 (seqinit:seq<'a*seq<'b*seq<'c*'T>>>) =  seqinit |/> toMap2 |> toMap


let groupBy2 f1 f2 (seqinit:seq<'a>) = 
  seqinit |> Seq.groupBy f1  ||> (Seq.groupBy f2)

let groupBy3 f1 f2 f3 (seqinit:seq<'a>) =
  seqinit |> Seq.groupBy f1  ||> (Seq.groupBy f2) ||> (Seq.groupBy f3)

这两个运算符 |/> 和 ||> 有什么特殊名称吗？

这将帮助我找到其他这样的运营商，而不是重新发明轮子

编辑

它对于取消分组也很有用

let ungroup  (seqinit:seq<'a*seq<'b>>)                 = seqinit |> Seq.fold(fun state (key, keyseq) -> Seq.append state keyseq) Seq.empty
let ungroup2 (seqinit:seq<'a*seq<'b*seq<'c>>>)         = seqinit |/> ungroup |> ungroup
let ungroup3 (seqinit:seq<'a*seq<'b*seq<'c*seq<'d>>>>) = seqinit |/> ungroup |/> ungroup |> ungroup

Answer 1

||>在 FSharp.Core 中已经定义为'T1 * 'T2 -> ('T1 -> 'T2 -> 'U) -> 'U. 用法：(arg1, arg2) ||> func。它的编译名称是op_PipeRight2.

您的定义|/>似乎过于定制而无法通用，所以我猜它没有预定义的名称。