Control.Lens.Combinators

Documentation

(|>) :: a -> (a -> b) -> b

Passes the result of the left side to the function on the right side (forward pipe operator).

This is the flipped version of ($), which is more common in languages like F# where it is needed for inference. Here it is supplied for notational convenience and given a precedence that allows it to be nested inside uses of ($).

>>> "hello" |> length |> succ
6

(<$!>) :: Monad m => (a -> b) -> m a -> m b

A strict version of (<$>) for monads.

>>> (+1) <$!> [1,2,3,4]
[2,3,4,5]

(<$!) :: Monad m => b -> m a -> m b

A strict version of (<$) for monads.

>>> () <$! [1,2,3,4]
[(),(),(),()]