:: IO_a_ -> _ IO_a package:base

pure :: Applicative f => a -> f a
base Prelude Control.Applicative GHC.Base
Lift a value into the Structure.

Examples

>>> pure 1 :: Maybe Int
Just 1

>>> pure 'z' :: [Char]
"z"

>>> pure (pure ":D") :: Maybe [String]
Just [":D"]
return :: Monad m => a -> m a
base Prelude Control.Monad Control.Monad.Instances GHC.Base
Inject a value into the monadic type. This function should not be different from its default implementation as pure. The justification for the existence of this function is merely historic.