Control.Flower.Functor.Strict

Documentation

lift' :: Monad m => (a -> b) -> m a -> m b

A strict version of lift

>>> lift' (+1) <| Just 0
Just 1

>>> lift' (lift' (+1)) [[1,2,3],[4,5,6]]
[[2,3,4],[5,6,7]]

over' :: (a -> b) -> a -> b

Alias for apply', for readability (especially when teaching)

>>> lift' (+1) `over'` Just 0
Just 1

(<!$) :: Monad f => (a -> b) -> f a -> f b infixr 4

Operator for lift' highlighting the direction of data flow

>>> (+1) <!$ Just 0
Just 1

($!>) :: Monad f => f a -> (a -> b) -> f b infixl 4

Operator for lift' highlighting the reversed direction of data flow

>>> Just 0 $!> (+1)
Just 1