Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.Lift

Contents

Orphan instances

Synopsis

deriveLift :: Name -> Q [Dec]
deriveLiftMany :: [Name] -> Q [Dec]
deriveLift' :: [Role] -> Info -> Q [Dec]
deriveLiftMany' :: [([Role], Info)] -> Q [Dec]
makeLift :: Name -> Q Exp
makeLift' :: Info -> Q Exp
class Lift (t :: TYPE r) where
- lift :: t -> Q Exp
- liftTyped :: t -> Q (TExp t)

Documentation

deriveLift :: Name -> Q [Dec] #

deriveLiftMany :: [Name] -> Q [Dec] #

Derive Lift instances for many datatypes.

deriveLift' :: [Role] -> Info -> Q [Dec] #

Obtain Info values through a custom reification function. This is useful when generating instances for datatypes that have not yet been declared.

deriveLiftMany' :: [([Role], Info)] -> Q [Dec] #

makeLift :: Name -> Q Exp #

Generates a lambda expresson which behaves like lift (without requiring a Lift instance). Example:

newtype Fix f = In { out :: f (Fix f) }

instance Lift (f (Fix f)) => Lift (Fix f) where
  lift = $(makeLift ''Fix)

This can be useful when deriveLift is not clever enough to infer the correct instance context, such as in the example above.

makeLift' :: Info -> Q Exp #

Like makeLift, but using a custom reification function.

class Lift (t :: TYPE r) where #

Minimal complete definition

liftTyped

Methods

lift :: t -> Q Exp #

liftTyped :: t -> Q (TExp t) #

Instances

Instances details

Lift Bool
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Bool -> Q Exp # liftTyped :: Bool -> Q (TExp Bool) #
Lift Char
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Char -> Q Exp # liftTyped :: Char -> Q (TExp Char) #
Lift Double
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Double -> Q Exp # liftTyped :: Double -> Q (TExp Double) #
Lift Float
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Float -> Q Exp # liftTyped :: Float -> Q (TExp Float) #
Lift Int
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int -> Q Exp # liftTyped :: Int -> Q (TExp Int) #
Lift Int8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int8 -> Q Exp # liftTyped :: Int8 -> Q (TExp Int8) #
Lift Int16
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int16 -> Q Exp # liftTyped :: Int16 -> Q (TExp Int16) #
Lift Int32
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int32 -> Q Exp # liftTyped :: Int32 -> Q (TExp Int32) #
Lift Int64
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int64 -> Q Exp # liftTyped :: Int64 -> Q (TExp Int64) #
Lift Integer
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Integer -> Q Exp # liftTyped :: Integer -> Q (TExp Integer) #
Lift Natural
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Natural -> Q Exp # liftTyped :: Natural -> Q (TExp Natural) #
Lift Word
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word -> Q Exp # liftTyped :: Word -> Q (TExp Word) #
Lift Word8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word8 -> Q Exp # liftTyped :: Word8 -> Q (TExp Word8) #
Lift Word16
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word16 -> Q Exp # liftTyped :: Word16 -> Q (TExp Word16) #
Lift Word32
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word32 -> Q Exp # liftTyped :: Word32 -> Q (TExp Word32) #
Lift Word64
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word64 -> Q Exp # liftTyped :: Word64 -> Q (TExp Word64) #
Lift Name #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: Name -> Q Exp # liftTyped :: Name -> Q (TExp Name) #
Lift ()
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: () -> Q Exp # liftTyped :: () -> Q (TExp ()) #
Lift NameSpace #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: NameSpace -> Q Exp # liftTyped :: NameSpace -> Q (TExp NameSpace) #
Lift OccName #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: OccName -> Q Exp # liftTyped :: OccName -> Q (TExp OccName) #
Lift NameFlavour #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: NameFlavour -> Q Exp # liftTyped :: NameFlavour -> Q (TExp NameFlavour) #
Lift ModName #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: ModName -> Q Exp # liftTyped :: ModName -> Q (TExp ModName) #
Lift PkgName #
Instance details Defined in Language.Haskell.TH.Lift Methods lift :: PkgName -> Q Exp # liftTyped :: PkgName -> Q (TExp PkgName) #
Lift Void
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Void -> Q Exp # liftTyped :: Void -> Q (TExp Void) #
Lift Int#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Int# -> Q Exp # liftTyped :: Int# -> Q (TExp Int#) #
Lift Char#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Char# -> Q Exp # liftTyped :: Char# -> Q (TExp Char#) #
Lift Word#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word# -> Q Exp # liftTyped :: Word# -> Q (TExp Word#) #
Lift Addr#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Addr# -> Q Exp # liftTyped :: Addr# -> Q (TExp Addr#) #
Lift Float#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Float# -> Q Exp # liftTyped :: Float# -> Q (TExp Float#) #
Lift Double#
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Double# -> Q Exp # liftTyped :: Double# -> Q (TExp Double#) #
Lift a => Lift ([a] :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: [a] -> Q Exp # liftTyped :: [a] -> Q (TExp [a]) #
Lift a => Lift (Maybe a :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Maybe a -> Q Exp # liftTyped :: Maybe a -> Q (TExp (Maybe a)) #
Integral a => Lift (Ratio a :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Ratio a -> Q Exp # liftTyped :: Ratio a -> Q (TExp (Ratio a)) #
Lift a => Lift (NonEmpty a :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: NonEmpty a -> Q Exp # liftTyped :: NonEmpty a -> Q (TExp (NonEmpty a)) #
(Lift a, Lift b) => Lift (Either a b :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Either a b -> Q Exp # liftTyped :: Either a b -> Q (TExp (Either a b)) #
(Lift a, Lift b) => Lift ((a, b) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b) -> Q Exp # liftTyped :: (a, b) -> Q (TExp (a, b)) #
(Lift a, Lift b, Lift c) => Lift ((a, b, c) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b, c) -> Q Exp # liftTyped :: (a, b, c) -> Q (TExp (a, b, c)) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((a, b, c, d) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b, c, d) -> Q Exp # liftTyped :: (a, b, c, d) -> Q (TExp (a, b, c, d)) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((a, b, c, d, e) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b, c, d, e) -> Q Exp # liftTyped :: (a, b, c, d, e) -> Q (TExp (a, b, c, d, e)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((a, b, c, d, e, f) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b, c, d, e, f) -> Q Exp # liftTyped :: (a, b, c, d, e, f) -> Q (TExp (a, b, c, d, e, f)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((a, b, c, d, e, f, g) :: Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (a, b, c, d, e, f, g) -> Q Exp # liftTyped :: (a, b, c, d, e, f, g) -> Q (TExp (a, b, c, d, e, f, g)) #
Lift (# #)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# #) -> Q Exp # liftTyped :: (# #) -> Q (TExp (# #)) #
Lift a => Lift ((# a #) :: TYPE ('TupleRep '['LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a #) -> Q Exp # liftTyped :: (# a #) -> Q (TExp (# a #)) #
(Lift a, Lift b) => Lift ((# a, b #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b #) -> Q Exp # liftTyped :: (# a, b #) -> Q (TExp (# a, b #)) #
(Lift a, Lift b) => Lift ((# a \| b #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b #) -> Q Exp # liftTyped :: (# a \| b #) -> Q (TExp (# a \| b #)) #
(Lift a, Lift b, Lift c) => Lift ((# a, b, c #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b, c #) -> Q Exp # liftTyped :: (# a, b, c #) -> Q (TExp (# a, b, c #)) #
(Lift a, Lift b, Lift c) => Lift ((# a \| b \| c #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b \| c #) -> Q Exp # liftTyped :: (# a \| b \| c #) -> Q (TExp (# a \| b \| c #)) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((# a, b, c, d #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b, c, d #) -> Q Exp # liftTyped :: (# a, b, c, d #) -> Q (TExp (# a, b, c, d #)) #
(Lift a, Lift b, Lift c, Lift d) => Lift ((# a \| b \| c \| d #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b \| c \| d #) -> Q Exp # liftTyped :: (# a \| b \| c \| d #) -> Q (TExp (# a \| b \| c \| d #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((# a, b, c, d, e #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b, c, d, e #) -> Q Exp # liftTyped :: (# a, b, c, d, e #) -> Q (TExp (# a, b, c, d, e #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift ((# a \| b \| c \| d \| e #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b \| c \| d \| e #) -> Q Exp # liftTyped :: (# a \| b \| c \| d \| e #) -> Q (TExp (# a \| b \| c \| d \| e #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((# a, b, c, d, e, f #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b, c, d, e, f #) -> Q Exp # liftTyped :: (# a, b, c, d, e, f #) -> Q (TExp (# a, b, c, d, e, f #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift ((# a \| b \| c \| d \| e \| f #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b \| c \| d \| e \| f #) -> Q Exp # liftTyped :: (# a \| b \| c \| d \| e \| f #) -> Q (TExp (# a \| b \| c \| d \| e \| f #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((# a, b, c, d, e, f, g #) :: TYPE ('TupleRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a, b, c, d, e, f, g #) -> Q Exp # liftTyped :: (# a, b, c, d, e, f, g #) -> Q (TExp (# a, b, c, d, e, f, g #)) #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift ((# a \| b \| c \| d \| e \| f \| g #) :: TYPE ('SumRep '['LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep, 'LiftedRep]))
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: (# a \| b \| c \| d \| e \| f \| g #) -> Q Exp # liftTyped :: (# a \| b \| c \| d \| e \| f \| g #) -> Q (TExp (# a \| b \| c \| d \| e \| f \| g #)) #

Orphan instances

Lift Name #
Instance details Methods lift :: Name -> Q Exp # liftTyped :: Name -> Q (TExp Name) #
Lift NameSpace #
Instance details Methods lift :: NameSpace -> Q Exp # liftTyped :: NameSpace -> Q (TExp NameSpace) #
Lift OccName #
Instance details Methods lift :: OccName -> Q Exp # liftTyped :: OccName -> Q (TExp OccName) #
Lift NameFlavour #
Instance details Methods lift :: NameFlavour -> Q Exp # liftTyped :: NameFlavour -> Q (TExp NameFlavour) #
Lift ModName #
Instance details Methods lift :: ModName -> Q Exp # liftTyped :: ModName -> Q (TExp ModName) #
Lift PkgName #
Instance details Methods lift :: PkgName -> Q Exp # liftTyped :: PkgName -> Q (TExp PkgName) #