Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

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

A strict version of `lift`

`>>>`

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

`>>>`

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

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

Alias for `apply'`

, for readability (especially when teaching)

`>>>`

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