(a -> b) -> [a] -> [b] -base -parallel -html
the deep analogue of $!. In the expression f $!! x, x is fully evaluated before the function f is applied to it.
Apply a transformation everywhere in bottom-up manner
Apply a transformation everywhere in top-down manner
Extend a generic query by a type-specific case
Type extension of queries for type constructors
Type extension of queries for type constructors
Put something inside an HTML element.
Make a generic query; start from a type-specific case; return a constant otherwise
Extend a generic transformation by a type-specific case
censor f m is an action that executes the action m and applies the function f to its output, leaving the return value unchanged.
* f m = pass (liftM (\x ->
> (x,f))
Make a generic transformation; start from a type-specific case; preserve the term otherwise
Type extension of transformations for unary type constructors
Type extension of transformations for unary type constructors