Application operator. This operator is redundant, since ordinary application (f x) means the same as (f \$ x). However, \$ has low, right-associative binding precedence, so it sometimes allows parentheses to be omitted; for example: > f \$ g \$ h x = f (g (h x)) It is also useful in higher-order situations, such as map (\$ 0) xs, or Data.List.zipWith (\$) fs xs.
Strict (call-by-value) application, defined in terms of seq.
the deep analogue of \$!. In the expression f \$!! x, x is fully evaluated before the function f is applied to it.
Above, except that if the last line of the first argument stops at least one position before the first line of the second begins, these two lines are overlapped. For example: > text "hi" \$\$ nest 5 (text "there") lays out as > hi there rather than > hi > there \$\$ is associative, with identity empty, and also satisfies * (x \$\$ y) <> z = x \$\$ (y <> z), if y non-empty.
Above, with no overlapping. \$+\$ is associative, with identity empty.
A variant of \$= which is strict in the value to be set.
Sequential function application. The argument is evaluated using the given strategy before it is given to the function.
Parallel function application. The argument is evaluated using the given strategy, in parallel with the function application.
A modificator convenience function, transforming the contents of a state variable with a given funtion.
A variant of \$~ which is strict in the transformed value.
Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.
An infix synonym for fmap.
A fmap-like operator for builder primitives, both bounded and fixed size. Builder primitives are contravariant so it's like the normal fmap, but backwards (look at the type). (If it helps to remember, the operator symbol is like (\$) but backwards.) We can use it for example to prepend and/or append fixed values to an primitive. > showEncoding ((\x -> ('\'', (x, '\''))) >\$< fixed3) 'x' = "'x'" > > fixed3 = char7 >*< char7 >*< char7 Note that the rather verbose syntax for composition stems from the requirement to be able to compute the size / size bound at compile time.