lift -package:arrows

lift :: ReadP a -> ReadPrec a
base Text.ParserCombinators.ReadPrec, ghc-internal GHC.Internal.Text.ParserCombinators.ReadPrec
Lift a precedence-insensitive ReadP to a ReadPrec.
lift :: (MonadTrans t, Monad m) => m a -> t m a
transformers Control.Monad.Trans.Class, conduit Conduit, pipes Pipes, yesod-core Yesod.Core, mmorph Control.Monad.Morph, protolude Protolude, relude Relude.Monad.Reexport, streaming Streaming, rio RIO.Prelude, classy-prelude ClassyPrelude, streamly Streamly.Data.Stream.MkType Streamly.Internal.Data.Stream.MkType, pipes-parse Pipes.Parse, pipes-group Pipes.Group, HaTeX Text.LaTeX.Base.Writer, Agda Agda.Utils.Monad, rebase Rebase.Prelude
Lift a computation from the argument monad to the constructed monad.
lift :: forall (m :: Type -> Type) (v :: Type -> Type) a . Monad m => Bundle Id v a -> Bundle m v a
vector Data.Vector.Fusion.Bundle Data.Vector.Fusion.Bundle.Monadic
Convert a pure stream to a monadic stream
lift :: (Lift t, Quote m) => t -> m Exp
template-haskell Language.Haskell.TH.Syntax, th-lift Language.Haskell.TH.Lift, ghc-lib-parser Language.Haskell.TH.Syntax, ghc-internal GHC.Internal.TH.Lift
Turn a value into a Template Haskell expression, suitable for use in a splice.
lift :: Applicative m => (a -> r) -> m a -> m r
utility-ht Control.Applicative.HT
lift :: Monad m => (a -> r) -> m a -> m r
utility-ht Control.Monad.HT
lift :: Monad m => T r s -> State s a -> StateT r m a
data-accessor Data.Accessor.MonadState, data-accessor-transformers Data.Accessor.Monad.Trans.State
lift :: Bytes# -> Bytes
byteslice Data.Bytes
lift :: Lift m n => m a -> n a
random-fu Data.Random.Lift
lift :: (v -> v) -> T a v -> T a v
numeric-prelude Number.OccasionallyScalarExpression
lift :: (a -> b) -> T i a -> T i b
numeric-prelude Number.Physical
apply a function to the numeric value while preserving the unit
lift :: (PValue v0 -> PValue v1) -> T a v0 -> T a v1
numeric-prelude Number.SI
lift :: MonadTrans t => forall (m :: * -> *) a . Monad m => m a -> t m a
basic-prelude CorePrelude
Lift a computation from the argument monad to the constructed monad.
lift :: ContiguousU arr => Unlifted arr b -> arr b
contiguous Data.Primitive.Contiguous Data.Primitive.Contiguous.Class
Lift an array (i.e. point to the data through an intervening thunk).
lift :: forall (m :: Nat) (n :: Nat) . (m :=:# n) -> m :=: n
natural-arithmetic Arithmetic.Equal
lift :: forall (n :: Nat) . Fin# n -> Fin n
natural-arithmetic Arithmetic.Fin
lift :: forall (a :: Nat) (b :: Nat) . (a <# b) -> a < b
natural-arithmetic Arithmetic.Lt
lift :: forall (a :: Nat) (b :: Nat) . (a <=# b) -> a <= b
natural-arithmetic Arithmetic.Lte
lift :: forall (n :: Nat) . Nat# n -> Nat n
natural-arithmetic Arithmetic.Nat
lift :: Lift t => t -> Q Exp
clash-prelude Clash.Explicit.Prelude Clash.Prelude
Turn a value into a Template Haskell expression, suitable for use in a splice.
lift :: (MonadTrans trans, Monad m) => m a -> trans m a
foundation Foundation.Monad
Lift a computation from an inner monad to the current transformer monad
lift :: (Packing pack, C sha, C shb, Floating a, Floating b) => (Array sha a -> Array shb b) -> FlexDiagonalP pack Arbitrary sha a -> FlexDiagonalP pack Arbitrary shb b
lapack Numeric.LAPACK.Matrix.Diagonal
lift :: (Monad m, Monoid w) => T s1 s0 -> RWS r w s0 a -> RWST r w s1 m a
data-accessor-transformers Data.Accessor.Monad.Trans.RWS
lift :: Bool -> Property
lazysmallcheck Test.LazySmallCheck
lift :: Process a -> GenProcess s a
distributed-process-client-server Control.Distributed.Process.ManagedProcess.Internal.Types
Lift an action in the Process monad to GenProcess.