Left-to-right Kleisli composition of monads.
Postcomposition with a pure function.
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.
A pairing/concatenation operator for builder primitives, both bounded and fixed size.
> toLazyByteString (primFixed (char7 >*< char7) ('x','y')) = "xy"
We can combine multiple primitives using >*< multiple times.
> toLazyByteString (primFixed (char7 >*< char7 >*< char7) ('x',('y','z'))) = "xyz"
Combine two generator perturbing functions, for example the results of calls to variant or coarbitrary.
O(log(min(n1,n2))). Concatenate two sequences.
DEPRECATED: Use pseq or $| instead
DEPRECATED: Use par or $|| instead
An infix synonym for fmap.
A variant of <*> with the arguments reversed.
Show more results