Hoogle Search
Within LTS Haskell 24.25 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
pure :: Applicative f => a -> f aghc-lib-parser GHC.Utils.Monad Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f afoundation Foundation Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f aturtle Turtle Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f amixed-types-num Numeric.MixedTypes.PreludeHiding Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f aLambdaHack Game.LambdaHack.Core.Prelude Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f acabal-install-solver Distribution.Solver.Compat.Prelude Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f aihaskell IHaskellPrelude Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f aihaskell IHaskellPrelude Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]
pure :: Applicative f => a -> f aincipit-base Incipit.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"]
pure :: Applicative f => a -> f aoptional-args Data.Optional Lift a value into the Structure.
Examples
>>> pure 1 :: Maybe Int Just 1
>>> pure 'z' :: [Char] "z"
>>> pure (pure ":D") :: Maybe [String] Just [":D"]