&
& is a reverse application operator. This provides
notational convenience. Its precedence is one higher than that of the
forward application operator
$, which allows
& to be
nested in
$.
This is a version of
flip id, where
id
is specialized from
a -> a to
(a -> b) -> (a
-> b) which by the associativity of
(->) is
(a
-> b) -> a -> b. flipping this yields
a -> (a
-> b) -> b which is the type signature of
&
Examples
>>> 5 & (+1) & show
"6"
>>> sqrt $ [1 / n^2 | n <- [1..1000]] & sum & (*6)
3.1406380562059946
lens Control.Lens.Lens Control.Lens.Operators,
microlens Lens.Micro,
base-compat Data.Function.Compat,
protolude Protolude,
diagrams-lib Diagrams.Prelude,
rio RIO.Prelude,
base-prelude BasePrelude BasePrelude.Operators,
optics-core Optics.Optic,
turtle Turtle,
composition-prelude Control.Composition,
universum Universum.Function,
numhask NumHask.Prelude,
conferer Conferer.Config,
config-ini Data.Ini.Config.Bidir,
rebase Rebase.Prelude,
quaalude Essentials,
configuration-tools Configuration.Utils.Internal,
ansi-terminal-game Terminal.Game,
ap-normalize ApNormalize,
verset Verset,
termonad Termonad.Prelude,
indexed-transformers Control.Monad.Trans.Indexed & is a reverse application operator. This provides
notational convenience. Its precedence is one higher than that of the
forward application operator
$, which allows
& to be
nested in
$.
>>> 5 & (+1) & show
"6"
Merge the
Context into the
DynGraph.
Context adjacencies should only refer to either a Node already in a
graph or the node in the Context itself (for loops).
Behaviour is undefined if the specified
Node already exists in
the graph.
due to the hack for the kind of (,) in the current version of
GHC we can't actually make instances for (,) :: Constraint ->
Constraint -> Constraint, but we can define an equivalent
type, that converts back and forth to (,), and lets you hang
instances.
& is a reverse application operator. This provides
notational convenience. Its precedence is one higher than that of the
forward application operator
$, which allows
& to be
nested in
$.
This is a version of
flip id, where
id
is specialized from
a -> a to
(a -> b) -> (a
-> b) which by the associativity of
(->) is
(a
-> b) -> a -> b. flipping this yields
a -> (a
-> b) -> b which is the type signature of
&
Examples
>>> 5 & (+1) & show
"6"
>>> sqrt $ [1 / n^2 | n <- [1..1000]] & sum & (*6)
3.1406380562059946
@since base-4.8.0.0
Merge the
Context into the graph. Assumes that the specified
node is not in the graph but that all endpoints in the
successors and
predecessors (with the exception of
loops) are. If the cluster is not present in the graph, then it will
be added with no attributes with a parent of the root graph.
Note that
& and
decompose are
not
quite inverses, as this function will add in the cluster if it does
not yet exist in the graph, but
decompose will not delete it.
& is a reverse application operator
A flipped version of ($).
Reverse function application, argument first.
Example
>>> :kind! Eval ('(True, Nothing) & Fst)
Eval ('(True, Nothing) & Fst) :: Bool
= True
Assign a stylesheet to a filter selector. When the selector is nested
inside an outer scope it will be composed with the
with
selector.
& is a reverse application operator. This provides
notational convenience. Its precedence is one higher than that of the
forward application operator
$, which allows
& to be
nested in
$.
This is a version of
flip id, where
id
is specialized from
a -> a to
(a -> b) -> (a
-> b) which by the associativity of
(->) is
(a
-> b) -> a -> b. flipping this yields
a -> (a
-> b) -> b which is the type signature of
&
Examples
>>> 5 & (+1) & show
"6"
>>> sqrt $ [1 / n^2 | n <- [1..1000]] & sum & (*6)
3.1406380562059946
left-biased union of two mappings.
Concatenate two strings, for example "$FOO" & "$BAR" is
equivalent to "$FOO$BAR".
Boolean "and", lazy in the second argument
Fanout: send the input to both argument arrows and combine their
output.
The default definition may be overridden with a more efficient version
if desired.
╭───────╮ c
b │ ┌─ f ─┼───>
>───┼─┤ │
│ └─ g ─┼───>
╰───────╯ c'