Relude.Lifted

SPDX-License-Identifier : MIT Maintainer : Kowainik xrom.xkov@gmail.com Stability : Stable Portability : Portable

Lifted versions of base functions.

These functions are lifted in a sense that you can use them inside various monad transformers without adding Relude.liftIO calls explicitly. However, you still can use all these functions inside plain Relude.IO monad as usual.

Example

base

With the base function, you can easily work with these functions in the Relude.IO monad:

main :: Relude.IO ()
main = do
    x <- getLine
    print x

However, to work in Relude.MonadIO you already need to "lift" them:

main :: Relude.MonadIO m => m ()
main = do
    x <- Relude.liftIO getLine
    Relude.liftIO (print x)

relude

In the meantime, relude provides these function that can work in Relude.IO the same way:

main :: Relude.IO ()
main = do
    x <- getLine
    print x

But also allows you to work in the Relude.MonadIO monads more easily:

main :: Relude.MonadIO m => m ()
main = do
    x <- getLine
    print x