# \$ -parallel -base

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; if there is no overlap it "dovetails" the two
Above, with no overlapping. \$+\$ is associative, with identity empty.
Above, without dovetailing.
A variant of \$= which is strict in the value to be set.
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.
The expression f <\$\$> p creates a fresh permutation parser consisting of parser p. The the final result of the permutation parser is the function f applied to the return value of p. The parser p is not allowed to accept empty input - use the optional combinator (<\$?>) instead. If the function f takes more than one parameter, the type variable b is instantiated to a functional type which combines nicely with the adds parser p to the (<||>) combinator. This results in stylized code permutation parser starts with a combining function f followed by the parsers. The function f gets its parameters in the order in which the parsers are specified, but actual input can be in any order.
The expression f <\$?> (x,p) creates a fresh permutation parser consisting of parser p. The the final result of the permutation parser is the function f applied to the return value of p. The parser p is optional - if it can not be applied, the default value x will be used instead.
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.