Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F# |>;的含义;!(前管砰的一声)_F#_Piping_Websharper - Fatal编程技术网

F# |>;的含义;!(前管砰的一声)

F# |>;的含义;!(前管砰的一声),f#,piping,websharper,F#,Piping,Websharper,在阅读Websharper online示例时,我遇到了如下示例: Div [Attr.Style "padding: 5px;"] -< [ P [Text "Type a name in the input field below:"] Form [ label "First Name: " input |>! OnKeyUp (fun _ _ -> update ()) ] P [

在阅读Websharper online示例时,我遇到了如下示例:

Div [Attr.Style "padding: 5px;"] -< [
    P [Text "Type a name in the input field below:"]
    Form [
        label "First Name: "
        input
        |>! OnKeyUp (fun _ _ -> update ())
    ]
    P [
        label "Suggestions: "
        hint
    ]
]
Div[Attr.Style“padding:5px;”]-<[
P[Text“在下面的输入字段中键入名称:”]
形式[
标签“名字:”
输入
|>!OnKeyUp(乐趣->更新())
]
P[
标签“建议”:
暗示
]
]
我们似乎不在计算表达式中,出于某种原因,用谷歌搜索
|>的含义并不特别容易


会产生什么影响修饰符在这个上下文中有没有?它如何改变前进管道的结果?

谜团已解开。它不是本地的F#操作符;这是一个Websharper操作员

从源代码()中:

///实现带变异的管道。
[]
设(|>!)xf=fx;x

我也找到了它:-)这里有解释:仅供参考,Stack Exchange搜索适用于这种情况-只需将符号用双引号括起来即可。(例如)
/// Implements piping with mutation.
[<Inline "($f($x), $x)">]
let ( |>! ) x f = f x; x