Language.Haskell.TH.Lift
- deriveLift :: Name -> Q [Dec]
- deriveLiftMany :: [Name] -> Q [Dec]
- deriveLift' :: Info -> Q [Dec]
- deriveLiftMany' :: [Info] -> Q [Dec]
- class Lift t where
Documentation
deriveLift :: Name -> Q [Dec]
Derive Lift instances for the given datatype.
deriveLiftMany :: [Name] -> Q [Dec]
Derive Lift instances for many datatypes.
deriveLift' :: 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' :: [Info] -> Q [Dec]
class Lift t where
Instances
| Lift Bool | |
| Lift Char | |
| Lift Int | |
| Lift Integer | |
| Lift Rational | |
| Lift Name | |
| Lift () | |
| Lift NameFlavour | |
| Lift NameSpace | |
| Lift ModName | |
| Lift PkgName | |
| Lift OccName | |
| Lift a => Lift [a] | |
| Lift a => Lift (Maybe a) | |
| (Lift a, Lift b) => Lift (Either a b) | |
| (Lift a, Lift b) => Lift (a, b) | |
| (Lift a, Lift b, Lift c) => Lift (a, b, c) | |
| (Lift a, Lift b, Lift c, Lift d) => Lift (a, b, c, d) | |
| (Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (a, b, c, d, e) | |
| (Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (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) |