Piping operator <| not documented?

I am using Julia 1.6.1 and in help mode can not find <| documentation but can find .<| documentation and also can find <| in .<| documentaion.
The details as following:


➜ julia
_
_ _ ()_ | Documentation: https://docs.julialang.org
() | () () |
_ _ | | __ _ | Type “?” for help, “]?” for Pkg help.
| | | | | | |/ ` | |
| | |
| | | | (
| | | Version 1.6.1 (2021-04-23)
/ |_|||_’_| |
|__/ |

help?> <|
search:

No documentation found.

Binding <| does not exist.

help?> .<|
search:

x .<| y is akin to broadcast(<|, x, y). See broadcast.


can_not_find_documentation_20210802

2 Likes

|> is documented

1 Like

What is <|? I get

julia> <|
ERROR: UndefVarError: <| not defined

and, as you show, when searching the help it does say the binding doesn’t exist (because apparently it doesn’t in a fresh Julia session)

What you’re showing in regards to .<| is just some auto-generated documentation for a generic infix operator, e.g. picking some other random undefined operator:

help?> .⟑
".⟑" can be typed by .\wedgedot<tab>

search:

  x .⟑ y is akin to broadcast(⟑, x, y). See broadcast.

julia> ∧
ERROR: UndefVarError: ∧ not defined
5 Likes

The docs for broadcasting via a dot are generated - they’re the same for all dotted operators (or rather, anything with a leading dot leads to those docs). The text of the docs are generated based on what follows the dot.

<| is not an operator exported by julia.

3 Likes

<|
not |>

<| is not a thing in Julia (it gets parsed as an operator, like , but Julia’s base doesn’t define it to do anything at all)

2 Likes