lift

lift :: ReadP a -> ReadPrec a
base Text.ParserCombinators.ReadPrec
Lift a precedence-insensitive ReadP to a ReadPrec.
liftA :: Applicative f => (a -> b) -> f a -> f b
base Control.Applicative
Lift a function to actions. This function may be used as a value for fmap in a Functor instance.
liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
base Control.Applicative
Lift a binary function to actions.
liftA3 :: Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
base Control.Applicative
Lift a ternary function to actions.
liftM :: Monad m => (a1 -> r) -> m a1 -> m r
base Control.Monad
Promote a function to a monad.
liftM2 :: Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
base Control.Monad
Promote a function to a monad, scanning the monadic arguments from left to right. For example, > liftM2 (+) [0,1] [0,2] = [0,2,1,3] > liftM2 (+) (Just 1) Nothing = Nothing
liftM3 :: Monad m => (a1 -> a2 -> a3 -> r) -> m a1 -> m a2 -> m a3 -> m r
base Control.Monad
Promote a function to a monad, scanning the monadic arguments from left to right (cf. liftM2).
liftM4 :: Monad m => (a1 -> a2 -> a3 -> a4 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m r
base Control.Monad
Promote a function to a monad, scanning the monadic arguments from left to right (cf. liftM2).
liftM5 :: Monad m => (a1 -> a2 -> a3 -> a4 -> a5 -> r) -> m a1 -> m a2 -> m a3 -> m a4 -> m a5 -> m r
base Control.Monad
Promote a function to a monad, scanning the monadic arguments from left to right (cf. liftM2).
module Control.Applicative.Lift
transformers Control.Applicative.Lift
Adding a new kind of pure computation to an applicative functor.
class Lift t
template-haskell Language.Haskell.TH.Syntax
data Lift f a
transformers Control.Applicative.Lift
Applicative functor formed by adding pure computations to a given applicative functor.
lift :: (MonadTrans t, Monad m) => m a -> t m a
transformers Control.Monad.Trans.Class
lift :: Lift t => t -> Q Exp
template-haskell Language.Haskell.TH.Syntax
liftBool :: Bool -> Result
QuickCheck Test.QuickCheck.Property
liftCallCC :: ((((a, s) -> m (b, s)) -> m (a, s)) -> m (a, s)) -> ((a -> StateT s m b) -> StateT s m a) -> StateT s m a
transformers Control.Monad.Trans.State.Lazy, transformers Control.Monad.Trans.State.Strict
Uniform lifting of a callCC operation to the new monad. This version rolls back to the original state on entering the continuation.
liftCallCC :: (((Either e a -> m (Either e b)) -> m (Either e a)) -> m (Either e a)) -> ((a -> ErrorT e m b) -> ErrorT e m a) -> ErrorT e m a
transformers Control.Monad.Trans.Error
Lift a callCC operation to the new monad.
liftCallCC :: (((Maybe a -> m (Maybe b)) -> m (Maybe a)) -> m (Maybe a)) -> ((a -> MaybeT m b) -> MaybeT m a) -> MaybeT m a
transformers Control.Monad.Trans.Maybe
Lift a callCC operation to the new monad.
liftCallCC :: ((([a] -> m [b]) -> m [a]) -> m [a]) -> ((a -> ListT m b) -> ListT m a) -> ListT m a
transformers Control.Monad.Trans.List
Lift a callCC operation to the new monad.
liftCallCC :: (((a -> m b) -> m a) -> m a) -> ((a -> IdentityT m b) -> IdentityT m a) -> IdentityT m a
transformers Control.Monad.Trans.Identity
Lift a callCC operation to the new monad.

Show more results